Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more ➡
Download
Standard view
Full view
of .
Add note
Save to My Library
Sync to mobile
Look up keyword or section
Like this
1Activity
×

Table Of Contents

1.1 Definition der Turing-Maschine
1.2 Church’sche These
1.3. REGISTERMASCHINEN
1.3 Registermaschinen
1.4 Formale Sprachen
1.4.1 Multiplikation von W¨ortern
1.4.2 Multiplikation von Sprachen
1.4.3 Potenz von W¨ortern und von Sprachen
1.5 Konfiguration (Momentaufnahme einer Turingmaschine)
1.6. TURINGMASCHINE MIT MEHREREN B¨ANDERN
1.6 Turingmaschine mit mehreren B¨andern
1.7 Die universelle Turingmaschine
1.8 Unentscheidbarkeit
1.8.1 Universelle Sprache und Diagonalsprache
1.8.2 Das Halteproblem
1.8.3 Reduzierbarkeit von Problemen
1.8.4 Das Post’sche Korrespondenzproblem (PKP)
1.8.5 Andere unentscheidbare Probleme
1.8.6 Satz von RICE (1953)
2 Regul¨are Sprachen und endliche Automaten
2.1 Deterministische endliche Automaten
• regul¨are Ausdr¨ucke
2.2 Regul¨are Ausdr¨ucke
2.3 Nichtdeterministische endliche Automaten
2.4 NEA mit ε-¨Uberg¨angen
Elimination von ε-¨Uberg¨angen
2.4.1 Elimination von ε-¨Uberg¨angen
2.5 Minimierung deterministischer endlicher Automaten
2.5.1 Algorithmus zur Bestimmung des Minimalautomaten:
2.5.2 Satz von Nerode
2.6. DAS PUMPING-LEMMA F¨UR REGUL¨ARE SPRACHEN
2.6 Das Pumping-Lemma f¨ur regul¨are Sprachen
2.7. ABSCHLUSSEIGENSCHAFTEN REGUL¨ARER SPRACHEN
2.7 Abschlusseigenschaften regul¨arer Sprachen
2.8 Zusammenfassung: regul¨are Sprachen
3 Grammatiken
3.1 Definition von Grammatiken
3.2 Die Chomsky-Hierarchie
3.3 Typ-0-Sprachen (rekursiv aufz¨ahlbare Sprachen)
3.4. TYP-3-SPRACHEN (REGUL¨ARE SPRACHEN)
3.4 Typ-3-Sprachen (regul¨are Sprachen)
3.5 Typ-1-Sprachen (kontextsensitive Sprachen)
4 Kontextfreie Sprachen (Typ-2-Sprachen)
4.1 Tiefenstruktur von Sprachen
4.2 Dyck-Sprache
4.3 Kontextfreie Grammtiken als Gleichungssysteme
4.4. EINDEUTIGKEIT
4.4 Eindeutigkeit
4.5 Chomsky-Normalform
4.7. (ERWEITERTE) BACKUS-NAUR-FORM (E)BNF
4.7 (Erweiterte) Backus-Naur-Form (E)BNF
4.8 Pumping-Lemma f¨ur kontextfreie Sprachen
4.9. ABSCHLUSSEIGENSCHAFTEN KONTEXTFREIER SPRACHEN
4.9 Abschlusseigenschaften kontextfreier Sprachen
4.10 Entscheidungsprobleme kontextfreier Sprachen
4.11 Kellerautomaten
4.12 Abschlusseigenschaften kontextfreier Sprachen gegen¨uber regul¨aren
4.13 Deterministische kontextfreie Sprachen
4.14 Deterministische Zweiwege-Kellerautomaten
4.14.1 Teilwortproblem
0 of .
Results for:
No results containing your search query
P. 1
GTI Mitschrift

GTI Mitschrift

Ratings: (0)|Views: 3,202|Likes:
Published by benpicco

More info:

Published by: benpicco on Oct 21, 2010
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See More
See less

11/04/2011

pdf

text

original

You're Reading a Free Preview
Pages 6 to 50 are not shown in this preview.

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->