🧿 FMod Modellierung Logik Aussagenlogik Prädikatenlogik Formale Sprachen Reguläre Sprachen Kontextfreie Grammatiken Endliche Automaten Petri-Netze Aufgabenblätter mit Musterlösung https://vowi.fsinf.at/wiki/TU_Wien:Formale_Modellierung_VU_(Salzer) 📎 Meine Abgaben