(03) Endliche Automaten und reguläre Sprachen 2/3 Jürgen Branke. Yovisto Academic Video Search. Automaten endlicher ... Ausgabe Sprache Definition Beispiel Zustände Zustand Gegeben äquivalenten nEA Maschine gilt akzeptiert Universität Karlsruhe gdinfoii folger sprach endlich automat beispiel alphabet aaaa aaaaaaaaa aaaaaaaaaaaaaaaa endlich automat beweis gdinfoii beispiel fortsetz seit annahm zustand pumping-lemma xyz k-j n-k n-j widerspruch endlich automat definition fragestell gegeb aquivalent nea definition konfiguration nea reflexiv-transitiv hull beispiel fortsetz moglich konfigurationsfolg eingabewort bab endzustand neu zustand ausgabezeich eingabealphabet darstell ausgabefunktion zustandstafel zustandsdiagramm endlich gerichtet graph beispiel nichtdeterminist automat nea zustandstafel zustandsdiagramm uxvx sprach nichtdeterminist endlich automat frag definition nichtdeterminist endlich automat nea ausgab determinist beobacht folgezustand meng folgezustand fazit aquivalent minimal minimal automat automat schritt gdinfoii definition gegeb vereinfacht automat ausgab gehor reduziert reduktion induziert beispiel fortsetz paar zustand endzustand eingabesymbol markiert zustandspaar fuhr schritt durchlauf repeat-schleif stopp ergebnis algorithmus automat ausgab input output begin for each then end repeat aquivalent zustand bestimm sxs unmarkiert automat entfern erreichbar bestimm klass aquivalent ersetz induziert satz beweis korollar definition moore-maschin tupel eingabealphabet zustandsmeng ausgabefunktion ausgabealphabet anfangszustand ausgab hangt aktuell zustand initialisier darstell separat tabell zustandsdiagramm satz mealy-maschin aquivalent eingab leer wort notwend anzahl zustand beispiel hinweis moore-maschin fruhest nach takt modellier pipeline-struktur hintereinandergeschaltet zweit erzeugt ausgab eingab resultier beschreib arbeitsweis mausefallen-automat zustandsdiagramm zustandstafel zeil zustand automat eingabezeich spalt eintrag erst zeich neu folger definition zerleg zustandsmeng analog bemerk zustand gdinfoii satz endlich automat gehor vereinfacht beweis erreichbar zustand akzepti wort definition endlich heiss k-aquivalent aquivalent gdinfoii bemerk definition endlich automat gehor vereinfacht minimier endlich automat vereinfach folgend endlich ausgab analog off frag sprach zustand minimal anzahl minimalautomat effektiv abbrech verfahr bestimm derart definition eingabealphabet heiss aquivalent gdinfoii beispiel fortsetz seit ubb wort zustandsfolg pumping-lemma zerleg xyz beding beweis folger sprach endlich gdinfoii vermut automat endlich meng zustand vorgeschicht wort abarbeit wort zeich automat xyz xyyz xyyyz pumping-lemma ea-sprach wort gdinfoii frag meng sprach geeignet endlich automat struktur endlich beispiel erford zustandsdiagramm darstell gerichtet graph zustandsubergang mehrfachubergang endzustand zustandsubergang anfangszustand anfangszustand meng endzustand endlich automat ausgab veranschaulich zustand definition endlich automat tupel eingabealphabet zustandsmeng mealy-maschin arbeitsweis begin zustand setz link zeich whil schreib sxe ausgabeband geh folgezustand beweg feld end bemerk definition tupel eingabealphabet zustandsmeng ausgabefunktion ausgabealphabet anfangszustand veranschaulich grundsatz art ausgab endlich automat zustandsubergang mealy-maschin zustand moore-maschin intern zustand kontrollein lesekopf eingabeband schreibkopf ausgabeband ausfuhr aktion eingab zustand meng alphabet bezeichn maschin allgemein prinzip intern zustand endlich automat ausgab maschin beispiel taglich leb automat prinzipiell gemeinsam definiert ablauf handlung selbsttat