5.1.2. Representation of PDA Verbal Notes | Theory of Computation BSC-CSIT | TU | TABFlux