4.2. Derivations and Parse Trees Notes | Theory of Computation BSC-CSIT | TU | TABFlux