Formale Sprachen und Berechenbarkeit (Info... |
Aktionen |
||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
Eberhard-Karls-Universität Tübingen
Fakultät für Philosophie und Geschichte
Formale Sprachen und Berechenbarkeit (Informatik III)
Formale Sprachen und Berechenbarkeit (Informatik III) Skript [Peter Schroeder-Heister]
27.01.10, 16:31 Uhr
Inhalt
alles lesen
Teil I: Formale Sprachen 1 Grundlagen 2 Endliche Automaten 3 Reguläre Sprachen und reguläre Ausdrücke 4 Reguläre Grammatiken 5 Kontextfreie Sprachen 6 Kellerautomaten 7 Eigenschaften kontextfreier Sprachen 8 Spezielle Entscheidungsalgorithmen für kontextfreie Sprachen 9 Die Chomsky-Hierarchie Teil II: Berechenbarkeit 10 Turing-Maschinen 11 Turing-Aufzählbarkeit, -Akzeptierbarkeit, -Berechenbarkeit, -Entscheidbarkeit 12 Primitiv rekursive und partiell rekursive Funktionen 13 Turing Maschinen und partiell rekursive Funktionen 14 LOOP- und WHILE-Programme 15 Aufzählbarkeit 16 Unentscheidbarkeit Literatur Formale Sprachen und Berechenbarkeit (Informatik III) Skript [Peter Schroeder-Heister] .pdf
0,82 MB
17
1,33 bei 6 Bewertungen
|
ZUM DOWNLOAD
|
Bewertung |
||
|---|---|---|
|
1 | 1 super :) |
|
2 | |
|
|
1 | Schönes übersichtliches Skript. |
|
|
1 | |
|
|
2 | zwar sehr mathematisch ,aber gut. |
| 1, 2 Nächste Seite | ||
5 VERWANDTE FÄCHER |
Titel der Unterlage |
|
|
hochgeladen |
|---|---|---|---|---|
Formale Sprachen und Berechenbarkeit ...
Eberhard-Karls-Universität Tübingen »
Fakultät für Philosophie und Geschichte |
Formale Sprachen und Berechenbarkeit ... | 1.33 | 17 |
von
max3000
Mi, 27.01.10 16:31 |
Logik II
Eberhard-Karls-Universität Tübingen »
Fakultät für Philosophie und Geschichte |
Logik II Skript [Peter Schroeder-Heis... | 1.00 | 7 |
von
max3000
Mi, 27.01.10 16:05 |
Lambda-Kalkül und Kombinatorische Logik
Eberhard-Karls-Universität Tübingen »
Fakultät für Philosophie und Geschichte |
Lambda-Kalkül und Kombinatorische Log... | 0.00 | 3 |
von
max3000
Mi, 27.01.10 16:27 |
Mathematische Logik
Eberhard-Karls-Universität Tübingen »
Fakultät für Philosophie und Geschichte |
Skript Prädikatenlogik | 1.00 | 9 |
von
max3000
Mi, 27.01.10 16:18 |
Einführung in die Logik
Eberhard-Karls-Universität Tübingen »
Fakultät für Philosophie und Geschichte |
Einfuhrung in die Logik Skript [Tors... | 1.09 | 16 |
von
max3000
Mi, 27.01.10 15:46 |
 - kopie.jpg)
