appunti/Automi e Linguaggi/2020-11-24_2 CFG - Propriet...