TheGI 1 (StuPO90)
Inhaltsverzeichnis
Theoretische Grundlagen der Informatik 1
Pflichtveranstaltung im Grundstudium für Studierende der Informatik.
Inhalt
Formale Grammatiken und Automaten (reguläre Grammatiken und Sprachen, deterministische und nichtdeterministische Automaten), Erzeugen und Akzeptieren formaler Sprachen (endliche Automaten, reguläre und kontexfreie Grammatiken und Sprachen), Nichtdeterminismus, Turingmaschinen (deterministische, sowie nichtdeterministische), Halteproblem, Komplexität, P-NP-Problem
Tipps und nützliche Infos
Für den Anfang des Semsters ist das Buch: "Theoretische Informatik - kurzgefasst" sehr hilfreich. Es ist von Uwe Schöning, Spektrum Akademischen Verlag (4.Auflage, 2003). ISBN: 3-8274-1099-1
Zusätzlich ist für Automatentheorien, Turingmaschinen usw. zu empfehlen: "Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie" von J.E.Hopcroft und J.D. Ullmann. Das Buch stammt vom Verlag: Addison-Wesley Publishing Company (1.Nachdruck 1992), ISBN: 3-89319-181-X
Man kann die Bücher für die Unterstützung von Beweisen als Quelle angeben. (Nur nicht übertreiben :)! )