Ausgehend von der Beschreibung endlicher Automaten und erkennender Automaten (Scanner und Parser für Zeichenketten) werden formale und 2 nichtformale Sprachen besprochen. Diese beiden Sprachen LCAD und LIPA werden zur Programmierung endlicher Automaten benutzt.
Downloadbereich Automatentheorie
| Nummer | Material oder Programm | Version/Datum | DownLoad |
| 1 | Endlicher Automat und formale Sprachen (M) | Februar 2005 | endlicherautomat.zip [227 KB] |
| 2 | CAD-Simulationsprogramm (LCAD) | Februar 2005 | lcadsetup2005.exe [1.888 KB] |
| 3 | IPA-Simulationsprogramm | Februar 2005 | lipasetup2005.exe [2.298 KB] |
| 4 | Intern Programmgesteuerter Automat (IPA) - JGS 11 (M) | Februar 2005 | lipa.zip [179 KB] |
| 5 | LIPA2000 Programmalternative von Stephan Haun und Hannes Köberle | Februar 2005 | ipa2000.zip [575 KB] |