(06) Kellerautomaten und kontextfreie Sprachen 3/3 / Kontextsensitive Sprachen, allgemeine Sprachen und Turingmaschinen 1/2 Jürgen Branke. Yovisto Academic Video Search. Sprachen Grammatik kontextfreie Wort Typ Regeln gilt monotonen Chomsky Pumping Normalform kontextsensitive Definition d.h. Beweis Universität Karlsruhe regel abc abab regeln seit recht form produktion erinner beispiel grammat sprach kontextsensitiv gdinfoii korollar kurz zeichenkett erzeugt wort ableit bemerk phasenstrukturgrammat typ- grammat chomsky-grammat erinner sprach allgemein typ--sprach vervollstand alternier folg ersetz hinzunahm ausdruck zeichenkett generi beispiel sprach regelsystem monoton herleit lang kontextsensitiv wort aufwand bemerk qed seit beispiel sprach resultier fug nonterminalsymbol neu regeln typ--grammat grammat kontextfrei beweis satz gdinfoii beweis kontextsensitiv aquivalent monoton satz regel anwend wort form regeln chomsky-grammat definition grammat monoton regel abc abab regeln seit recht form produktion erinner beispiel grammat typ--grammat sprach typ--sprach kontextsensitiv gdinfoii turingmaschin allgemein sprach kontextsensitiv kapitel weg definition derivation ightmost parsing right eft berucksicht folgend rechtsableit wort pars rechtsableit betracht ide kellerautomat determinist zeit linear kontextfrei syntaxanalys anwend worterkenn first grammat polynomiell sprach kontextfrei wort syntax laufzeit algorithmus element zerleg zeit konstant regel wert regeln berechn komplexitatsbetracht infoii beispiel sprach kontextfrei verschied hochst vwx betracht lemma annahm widerspruch beweis lemmas pumping anwend feld leerzeich nach beispiel halt turing-maschin startzustand band feld erst anfang link band bemerk endzustand anfangszustand funktion partiell zustandsmeng bandalphabet eingabealphabet meng tupel sequentiell arbeitsband unend automat endlich turing-maschin definition typ- typ--grammat passend sprach existenz beweis kapitel frag typ grammat angegeb sprach bemerk ide pumpstell kontextfrei wort lang pumping-lemma regular charakterisier nach sprach kontextfrei struktur kell eingabesymbol schritt analogi beweis grammat kontextfrei satz vergleich konstant bemerk regeln kontextfrei definition greibach-normalform beispiel konstruktion hopcroft beweis grammat kontextfrei satz form regeln kontextfrei definition chomsky-normalform endzustand eingabeband konstant regel variabl kellersymbol oberst kell anfang begin output input kontextfrei grammat kontextfrei konstruktion algorithmus algorithmus nichtdeterminist beweis satz grammat kontextfrei kellerautomat konstruktion aaasbbb aasbb folg aaabbb asb kontextfrei ableit moglich regel wort beispiel teil wort rest kontext symbol bemerk form produktion typ--grammat grammat wiederhol definition sprach typ- kontextfrei aaabbfbfc aaabbffbc aaabfbfbc aaebfbc regel nichtkontextsensitiv einzig abf abc aebc grammat monoton beispiel seit kapitel sprach zugehor aaabbbfcc aaabbbffc beweis kontextsensitiv aquivalent monoton satz regel anwend wort form regeln chomsky-grammat definition grammat monoton zerleg moglich wort umkehr vwx uvwxy sprach lemma sprach kontextfrei pumping-lemma blatt form struktur grammat sprach wahl wort eigenschaft regeln baum struktur wort variabl lang ableitungsbaum frag