AUTOMATEN & SPRACHE

Eine Präsentation von Lena Sauter & Corinna Nawatzky

Gliederung Endlicher Automat mit Ausgabe (Mealy)

FunktionsweiseGrundbegriffe

Akzeptoren: Endliche Automaten ohne AusgabeFunktionsweiseGrundbegriffe

○ Eingabealphabet○ Zustandsmenge○ Überführungsfunktion○ Anfangszustand○ Endzustand

Arbeitsweise○ Arbeitsweise am Beispiel des Vierertesters

Sprache des Akzeptors Quellen

Endlicher Automat mit Ausgabe(Mealy)

Funktionsweise

Grundbegriffe

TransduktorEingabealphabet

Ausgabealphabet

Zustandsmenge Ausgabefunktion

Überführungsfunktion

Startzustand

EA=(X,Y,Z,λ,δ,Z0)

Akzeptoren:Endliche Automaten ohne Ausgabe

Funktionsweise

Grundbegriffe

AkzeptorEingabealphabet

Zustandsmenge

Überführungs-funktion

Anfangszustand

Endzustand

Eingabealphabet (X) Nichtleere, endliche Menge Menge aller Terminalsymbole

BeispielX= {!; -; .; _; @; a; b; …;z; 0; 1; …; 9}

Zustandsmenge (Z) Nichtleere, endliche Menge Menge der vorhandenen Zustände z0 ∈ Z wird mitgezählt!!!

BeispielZ= { z1;z2;z3;…;z10}

Symbol für einen Zustand: z1

Übergangsfunktion (δ) Zustand Eingabe Überführung Neuzustand

Beispiel

z2 z3@

Startzustand (z0; S) z0 ∈ Z Start bei Zustandsdiagramm

Beispiel S=z1

Start z1 z1

Endzustand (zE; E) zE ⊆ Z ( ⊆ Teilmenge) Doppelte Umrandung

BeispielE={z8;z9,z10}

z9

Arbeitsweise Zustandsangabe nach Bearbeitung des

Eingabewortes

Endzustand = True (Signallampe) Anderer Zustand = False

Arbeitsweise am Beispiel des Vierertesters(durch 4 teilbare Dualzahlen)

Ergebnis: …00

Richtig:101100100011000

Falsch:0101111001

○ Menge aller akzeptierten Wörter über Eingabealphabet X

L(A)={w| w X* und ∈ δ*(w, z0)   z∈ E}

L(A) - Language/Sprache des Automaten A{} - Menge

w: Eingabewort/ Wörterδ*: Folge von Zustandsübergängen

(Beginn z0 mit w Überführung in zE )

Sprache des Akzeptors L(A)

Quellen Gasper, Leiß, Spengler, Stimm: Technische und Theoretische Informatik.

Bayerischer Schulbuch-Verlag. München, 1992Kapitel 8.5 – 8.7 ohne Seite 137 und 8.8/ 11,12, 13c-g [31.01.2012, 13:01 Uhr]

Brichzin, Freiberger, Reinold, Wiedemann: Informatik Oberstufe 2Maschinenkommunikation- Theoretische Informatik. Oldenbourg-Verlag, München, 2010Kapitel 3 Seite 33-37 oben, Übungen S. 41ff. 1-4, 6, 12 [31.01.2012, 13:01 Uhr]

Hempel, T. (2008): Akzeptoren. URL: http://www.tinohempel.de/info/info/ti/akzeptor.htm [31.01.2012, 13:01 Uhr]

Hielscher, M. (2008). AToCC- AutoEdit. URL: http://www.atocc.de [31.01.2012, 13:01 Uhr]

http://www.colourbox.de/preview/1980238-663930-.jpg [26.02.2014, 16:33 Uhr]