-
Grenzen der Automatisierbarkeit
Schon Alan Turing hat sich darüber Gedanken gemacht, welche Problem sich automatisiert lösen lassen, und ob man für jedes Problem eine Maschine bauen könnte.
-
Turingmaschine
Die Turingmaschine ist der nächste Schritt in unserer Reise durch die Automaten. Mit einer Turingmaschine kann man schon sehr vortgeschrittene Probleme lösen, deren Grenzen eigentlich nur an die Grenzen unserer modernen Computer stoßen.
-
Kellerautomat
Ein Kellerautomat ist eine Erweiterung des endlichen Automatens, welcher über einen Speicher verfügt.
-
Grammatiken und formale Sprachen
Jede Sprache ist nach bestimmten Regeln aufgebaut. Grammatiken beschreiben diese.
-
Automaten
Ein endlicher deterministischer Automat(DEA) hat eine endliche Anzahl an Zuständen, von welchen er einen immer als aktuellen Zustand hat.