5.1.5. Instantaneous Description for PDA Verbal Notes | Theory of Computation BSC-CSIT | TU | TABFlux