Einführung in die Automatentheorie/3. Stunde

Aus ZUM-Unterrichten

Lösungen zu den beiden letzten Aufgaben aus der 2. Stunde

Aufgabe 2.5

Hier eine mögliche Lösung:

Zeichnungen 9.jpeg

Aufgabe 2.6

Hier eine mögliche Lösung:

Zeichnungen 10.jpeg





Bei beiden Aufgaben darf der Startzustand nicht gleich dem Endzustand sein.
Zeichnungen 12.jpegZeichnungen 11.jpeg
Überlege dir warum?

Ansonsten könnten wir auch nichts eingeben und wären am Ziel.

Akzeptanzverhalten

Die Aufgabe eines Automaten besteht oft darin, eine Eingabe auf Korrektheit zu überprüfen.
Eine Eingabe, bestehend aus einer Folge von Zeichen aus dem Eingabealphabet, wird genau dann von dem Automaten akzeptiert, wenn der Automat einen Endzustand erreicht.

So wird zum Beispiel bei Aufgabe 2.5 die Eingabe haha akzeptiert, aber hah nicht.

Die Automaten aus Aufgabe 2.5 und 2.6 gehören zu den endlich erkennenden Automaten.


Definition

Ein endlich erkennender Automat (Akzeptor) besteht aus den folgenden Bestandteilen:

  • das Eingabealphabet E
  • die endliche Menge der Zustände Z
  • ein Startzustand
  • mindestens einen Endzustand
  • eine Übergangsfunktion f, die den Zeichen E und Zustand Z genau einen neuen Zustand zuordnet





Sprache des Automaten

Gelangt der Automat in den Akzeptierzustand, so bezeichnen wir die dazu notwendige Eingabefolge als ein Wort des Automaten. Die Menge aller akzeptierten Eingabefolgen, die man Wörter nennt, bezeichnen wir als Sprache des Automaten L.


Definition

Die Sprache eines Automaten L ist die Menge aller von ihm akzeptierten Wörter über dem Eingabealphabet E.




Schauen wir uns dazu nochmal die Aufgabe 2.5 an, bei der wir einen Automaten konstruieren sollten, der die Wörter ha, haha, hahaha usw. akzeptiert.

Die Aufgabe hätte auch so lauten können:
Konstruiere einen Automaten, der die Sprache L={(ha)n|n>0} akzeptiert.
Der Exponent n (also die Hochzahl) gibt die Anzahl der Folgen des Wortes ha an. Da in diesem Beispiel n>0 ist, muss das Wort ha mindestens einmal vorkommen.

Vorlage:Arbeiten
Zeichnungen 13.jpeg


Vorlage:Arbeiten
Zeichnungen 14.jpeg

Übungsaufgaben zu endlichen Automaten (Akzeptoren)

Hinweise:


  • Ein Automat kann auch mehrere Endzustände besitzen.
  • Auf einer Übergangsfunktion können auch mehrere Zeichen vorhanden sein.
 Zeichnungen 15.jpeg
Der Zustand von z1 nach z2 erfolgt, wenn a oder b gelesen wird.


Vorlage:Arbeiten
Zeichnungen 16.jpeg
Vorlage:Arbeiten
Zeichnungen 17.jpeg
Vorlage:Arbeiten
Zeichnungen 18.jpeg
Vorlage:Arbeiten
Zeichnungen 19.jpeg
Vorlage:Arbeiten
Zeichnungen 20.jpeg