[Demo] Info-Q1/Q2-12/13-GY: Endliche Automaten und Grammatiken regulärer Sprachen insb. ɛ-Übergänge, nichtdeterministische Automaten