Die Präsentation wird geladen. Bitte warten

Die Präsentation wird geladen. Bitte warten

Eine Präsentation von Lena Sauter & Corinna Nawatzky.

Ähnliche Präsentationen


Präsentation zum Thema: "Eine Präsentation von Lena Sauter & Corinna Nawatzky."—  Präsentation transkript:

1 Eine Präsentation von Lena Sauter & Corinna Nawatzky

2 Gliederung Endlicher Automat mit Ausgabe (Mealy) Funktionsweise Grundbegriffe Akzeptoren: Endliche Automaten ohne Ausgabe Funktionsweise Grundbegriffe Eingabealphabet Zustandsmenge Überführungsfunktion Anfangszustand Endzustand Arbeitsweise Arbeitsweise am Beispiel des Vierertesters Sprache des Akzeptors Quellen

3

4

5 Grundbegriffe EA=(X,Y,Z, λ,δ,Z 0 )

6

7 Funktionsweise

8 Grundbegriffe

9 Eingabealphabet (X) Nichtleere, endliche Menge Menge aller Terminalsymbole Beispiel X= {!; -;.; a; b; …;z; 0; 1; …; 9}

10 Zustandsmenge (Z) Nichtleere, endliche Menge Menge der vorhandenen Zustände z 0 Z wird mitgezählt!!! Beispiel Z= { z1;z2;z3;…;z10} Symbol für einen Zustand: z1

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

12 Startzustand (z 0 ; S) z 0 Z Start bei Zustandsdiagramm Beispiel S=z1 Start z1

13 Endzustand (z E ; E) z E Z ( Teilmenge) Doppelte Umrandung Beispiel E={z8;z9,z10} z9

14 Arbeitsweise Zustandsangabe nach Bearbeitung des Eingabewortes Endzustand = True (Signallampe) Anderer Zustand = False

15 Arbeitsweise am Beispiel des Vierertesters (durch 4 teilbare Dualzahlen) Ergebnis: …00 Richtig: Falsch:

16 Menge aller akzeptierten Wörter über Eingabealphabet X L(A)={w| w X* und δ*(w, z 0 ) z E } L(A) - Language/Sprache des Automaten A {} - Menge w: Eingabewort/ Wörter δ*: Folge von Zustandsübergängen (Beginn z 0 mit w Überführung in z E ) Sprache des Akzeptors L(A)

17 Quellen Gasper, Leiß, Spengler, Stimm: Technische und Theoretische Informatik. Bayerischer Schulbuch-Verlag. München, 1992 Kapitel 8.5 – 8.7 ohne Seite 137 und 8.8/ 11,12, 13c-g [ , 13:01 Uhr] Brichzin, Freiberger, Reinold, Wiedemann: Informatik Oberstufe 2 Maschinenkommunikation- Theoretische Informatik. Oldenbourg-Verlag, München, 2010 Kapitel 3 Seite oben, Übungen S. 41ff. 1-4, 6, 12 [ , 13:01 Uhr] Hempel, T. (2008): Akzeptoren. URL: [ , 13:01 Uhr]http://www.tinohempel.de/info/info/ti/akzeptor.htm Hielscher, M. (2008). AToCC- AutoEdit. URL: [ , 13:01 Uhr] [ , 16:33 Uhr]


Herunterladen ppt "Eine Präsentation von Lena Sauter & Corinna Nawatzky."

Ähnliche Präsentationen


Google-Anzeigen