TheGI 1 (StuPO90): Unterschied zwischen den Versionen
(Format TheGI1) |
(TheGI Tipps) |
||
| Zeile 5: | Zeile 5: | ||
== Inhalt == | == 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 == | == Tipps und nützliche Infos == | ||
| Zeile 25: | Zeile 24: | ||
Man kann die Bücher für die Unterstützung von Beweisen als Quelle angeben. (Nur nicht übertreiben :)! ) | Man kann die Bücher für die Unterstützung von Beweisen als Quelle angeben. (Nur nicht übertreiben :)! ) | ||
| + | Es lassen sich per Google-Suchdienst einige Lösungen für die Projektaufgaben finden. Es ist aber nicht unbedingt ratsam, diese vollständig zu übernehmen. Schließlich googeln auch unsere Tutoren ab und zu :) . Wenn ein fleissiger Kopierer erwischt wird, gibts Ärger. | ||
== Weblinks == | == Weblinks == | ||
Version vom 12. Dezember 2004, 18:04 Uhr
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 :)! )
Es lassen sich per Google-Suchdienst einige Lösungen für die Projektaufgaben finden. Es ist aber nicht unbedingt ratsam, diese vollständig zu übernehmen. Schließlich googeln auch unsere Tutoren ab und zu :) . Wenn ein fleissiger Kopierer erwischt wird, gibts Ärger.
