Eine Einführung in die theoretische Informatik

Endliche Automaten mit Ausgabe

Erkennende Automaten

Formale Sprachen/ Grammatiken

Reguläre Sprachen

Kontextfreie Sprachen

Kellerautomaten

Turingmaschinen/ unlösbare Probleme

Zusammenfassung

                                                                                                                                     Theoretische Informatik bedient sich der Methoden und Modelle aus der Mathematik zur Formulierung von Algorithmen und zur Rechnerkonstruktion. Sie befasst sich mit der Theorie der Formalen Sprachen, mit der Automatentheorie, der Theorie der Datentypen, der Berechenbarkeit, der Komplexität und der Semantik.

Wir haben uns im Rahmen des vierten Informatiksemesters mit Automaten, Formalen Sprachen und Turingmaschinen beschäftigt. Etliche Beispiel-Automaten sowie eine Simulation einer Universellen Turingmaschine sind als Turbo-Pascal-Programm implementiert und liegen zum Herunterladen  bereit.

[Projektbericht]

[Homepage des OSZ Recht]