- Endliche Automaten am OSZ-Handel (Link)
Es werden endliche Automaten an Beispielen vorgestellt und die Begriffe erläutert. Das Automatenmodell der ETH-Zürich (KaraToJava) wird u.a. an Beispielen und mit Übungen vorgestellt.
- Kara - Lernumgebungen rund ums Programmieren
Mit dem Kara-Modell können Automaten und auch Turingmaschinen direkt simuliert werden. Zusätzlich enthalten diese Seiten viele Unterrichtsmaterialien zum Thema.
- Sprachen und Automaten als Teil der Theoretische Informatik (Link zur Seite von Timo Hempel)
Tino Hempel beschreibt seine Unterrichtserfahrungen im Grund- und Leistungskurs zum Thema. Die Seiten enthalten gut dokumentierte Beispiele, weitere Anregungen und Hinweise. Beispiele sind teilweise in Prolog implementiert.
- Theoretische Informatik (Link zur Seite)
Startseite von H. Gierhardt zur theoretischen Informatik. Zahlreiche Verweise zu weiterführenden Seiten und Software.
- Theoretische Informatik auf dem Bildungsserver Hessen (Link zur Seite)
Ein Autorenteam aus Hessen hat für den hessischen Rahmenplan eine mögliche Behandlung des Themas im Unterricht zusammengestellt. Neben einer Stundenplanung werden einige Beispiele ausführlich vorgestellt. Diese Darstellung bietet in aller Kürze einen guten Überblick über viele Aspekte der theoretischen Informatik.
- Automaten bei inf-schule.de
Eine Einführung in die zustandsorientierte Modellierung mit Hilfe von endlichen Automaten
Der Bildungsserver Berlin-Brandenburg ist ein Service des Landesinstituts für Schule und Medien Berlin-Brandenburg im Auftrag der Senatsverwaltung für Bildung, Jugend und Familie (Berlin) und des Ministeriums für Bildung, Jugend und Sport Land Brandenburg.