- Burkert / Griesel / Postel
Informatik heute: Band 2, Algorithmen und Datenstrukturen Band 1: Grundlagen und funktionales Programmieren.
Schroedel-Schöningh 1988, ISBN 3-507-83091-4 (Schroedel)Älteres Schulbuch u.a. mit den Gebieten C Theoretische Informatik (Endliche Automaten, Formale Sprachen, Algorithmen und Berechenbarkeit, S. 82-116), viele Aufgaben, Schülerbuch
- Lehmann, Eberhard
Konzeptionelle Überlegungen zur Einbeziehung informatischer Inhalte und Methoden beim Computereinsatz im Mathematikunterricht der Sekundarstufe 2 Verlag Franzbecker 2003Kapitel 3.3 (S. 100-141): Zustandsgraphen in Informatik und Mathematik (Endliche Automaten und Markow-Ketten, das Busy-Beaver-Problem, Turingmaschinen, Versandproblem, Crapspiel)
- Brecht, Werner
Theoretische Informatik Vieweg-Verlag, Braunschweig 1995Grundlagen und praktische Anwendungen (u.a. Turing-Maschinen, Berechen- und Entscheidbarkeit, Komplexität, Nebenläufigkeit)
- Dewdney, A.K.
Der Turing-Omnibus - eine Reise durch die Informatik mit 66 Stationen Springer-Verlag, Berlin-Heidelberg, 1995Zahlreiche "Reiseerlebnisse" zur Technischen Informatik
- Gasper, Leiß, Spengler, Stimm
Technische und theoretische Informatik Bayerischer Schulbuch-Verlag, München 1992u.a. Endliche Automaten, Formale Sprachen, Turingmaschinen, Busy-Beaver, Unentscheidbarkeit, Halteproblem, Komplexität
- Lehmann, Eberhard
Die Turingmaschine im Anfangsunterricht LOGIN 1999, Heft 6, S.44-52Ein Bericht von den ersten Stunden eines Informatikkurses in Klasse 11
- Werner u.a.
Taschenbuch der Informatik Fachbuchverlag Leipzig 1995
- Lehmann, Eberhard
Wahrscheinlichkeitsrechnung, problemorientierte Unterrichtseinheiten Verlag Volk und Wissen, Berlin 1997u.a. Beispiele für Markow-Ketten und Zustandsgraphen
- Baumann, Rüdeger
Didaktik der Informatik 2.Auflage, Klett-Verlag 1996u.a. in Kapitel 21 Abriss über Theoretische Informatik aus didaktischer Sicht
- Engelmann, Lutz
Informatik bis zum Abitur Paetec, Berlin, 2002 (ISBN 3-89818-600-8)Das Unterrichtsbuch enthält eine ausführliche Darstellung der theoretischen Informatik mit einigen Beispielaufgaben. Neben formalen Sprachen und Automaten werden die Berechenbarkeitstheorie behandelt und effiziente Algorithmen mit Komplexitätsbetrachtungen vorgestellt.
- Baumann, Rüdeger
Informatik mit Pascal Klett-Verlag, Stuttgart 1981 (ISBN 3-12-717740-2)Trotz der antiquierten Programmiersprache bietet dieses Buch eine grundlegende Einführung in die Automatentheorie, formale Sprachen, Turingmaschinen. Anhand von Beispielen, die in Pascal implementiert werden, werden die grundlegenden Aspekte klar herausgearbeitet.
- Schöning, Uwe
Theoretische Informatik – kurzgefasst. Spektrum, Heidelberg, Berlin, 2001. 198 Seiten. (ISBN 3-8274-1099-1)Es handelt sich ein überarbeitetes Vorlesungsskript des Autors an der Universität Ulm und reflektiert die Aspekte aus eher theoretischer Sicht. Für Vertiefungen und besondere Aspekte des Themas geeignet. Für Anfänger weniger geeignet.
Redaktionell verantwortlich: Frank Oppermann
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.