(04) Endliche Automaten und reguläre Sprachen 3/3 / Kellerautomaten und kontextfreie Sprachen Jürgen Branke. Yovisto Academic Video Search. Automaten Menge Sprachen endlicher regulären nEA Definition Gegeben d.h. Beispiel akzeptiert äquivalenten Zuständen Wort Idee Universität Karlsruhe detea nea wort bestimmt text mustererkenn beispiel definition einfach automat nichtdeterminist vorteil eingabeband kellerzeich kellerspeich slk kopf zustand intern lesekopf kontrollein sprach speich gross unbeschrankt automat endlich erweiter nahelieg kellerautomat link oberst zeich eingabezeich lesekopf kellerautomat arbeitsweis endlich bemerk automat letzt kell eingabeband beding position kellerzeich neu partiell kellerstartzeich anfangszustand kelleralphabet zustandsmeng eingabealphabet kellerautomat determinist definition pop schreib kellerzeich oberst kell operation oberst eingab aktuell zustand aktuell zustandsubergang gdinfoii nea aquivalent gegeb fragestell definition sprachdefinition art gunstig anwend ausdrucksfah klass sprach existenz operation gegenub abgeschloss klass sprachklass aussag samtlich bemerk nea alphabet folger beweis grammat rechtslinear determinist satz seit verfahr automat determinist bemerk gdinfoii end each for begin output automat endlich abbruch endzustand ermog form regeln anwend moglich terminalsymbol zustandsmeng nonterminalsymbol meng ide automat endlich determinist algorithmus gdinfoii zustandswechsel verbund regel aaaba aaas aas anschliess wort beispiel rechtslinear nam nonterminalsymbol sukzessiv wort ableit gdinfoii form grammat rechtslinear produktion meng tupel chomsky-grammat definition wiederhol sprach regular typ--sprach sprach nea meng folger geschult praxis bemerk ausdruck regular automat endlich satz gdinfoii moglich kellerinhalt restwort verarbeit zustand aktuell konfiguration definition endzustand wort konfigurationsubergang hervorrufbar beispiel l-automat konstruktion seit automat entsprech ausdruck basisautomat basisausdruck allgemein automat endlich klass abschnitt letzt end bemerk satz gdinfoii regular ausdruck sprach akzeptor konstruktion folger produkt verein sprach erkannt beispiel vorrangregeln ausdruck regular operator sprach regular ausdruck regular interpretation funktionssymbolmeng variablenmeng term wohlgeformt ausdruck regular hull wort meng direkt alphabet folgend meng seien ausdruck regular definition iteration produkt verein einelement leer alphabet regular beispiel einfach theori form allgemein term operation erlaubt meng basismeng meng ide anwend sprach ausdruck regular aufwand anfangszustand nachfolg alt gleich endzustand neu anfangszustand endzustand endzustand zustandsmeng verein disjunkt ide gdinfoii nea wortlang neu gemeinsam ide automat endlich nichtdeterminist defini abschlusseigenschaft nachweis beweis konstruktion einfach gdinfoii folger seit ansatz verifikation beweis nea satz fuhr fehlend enthalt endzustand meng einfuhr hinweis gdinfoii zustandsmeng erreichbar beobacht ansatz aquivalent nea umwandl verfahr nea aquivalent gegeb fragestell definition folgezustand meng folgezustand beobacht determinist ausgab nea automat endlich nichtdeterminist definition frag automat endlich nichtdeterminist ergebnis stopp repeat-schleif durchlauf schritt fuhr zustandspaar markiert eingabesymbol endzustand zustand paar aquivalent heiss eingabealphabet definition derart bestimm verfahr abbrech effektiv minimalautomat anzahl minimal zustand sprach frag off analog ausgab endlich folgend vereinfach automat endlich minimier wort ea-sprach pumping-lemma xyyyz xyyz xyz automat zeich wort abarbeit wort vorgeschicht zustand meng endlich automat vermut gdinfoii