Benutzer:Cloehner und Einführung in die Automatentheorie/3. Stunde: Unterschied zwischen den Seiten
Keine Bearbeitungszusammenfassung |
K (8 Versionen importiert) |
||
Zeile 1: | Zeile 1: | ||
{{ | {{Einführung in die Automatentheorie}} | ||
==Lösungen zu den beiden letzten Aufgaben aus der 2. Stunde== | |||
Aufgabe 2.5 | |||
{{Lösung versteckt|1= | |||
Hier eine mögliche Lösung:<br> | |||
[[Datei:Zeichnungen_9.jpeg|600px]]<br> | |||
}} | |||
Aufgabe 2.6 | |||
{{Lösung versteckt|1= | |||
Hier eine mögliche Lösung:<br> | |||
[[Datei:Zeichnungen_10.jpeg|600px]]<br> | |||
}} | |||
<br><br><br><br> | |||
Bei beiden Aufgaben darf der Startzustand nicht gleich dem Endzustand sein.<br> | |||
[[Datei:Zeichnungen_12.jpeg|250px]][[Datei:Zeichnungen_11.jpeg|450px]]<br> | |||
Überlege dir warum? | |||
{{Lösung versteckt|1= | |||
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. <br> | |||
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 }} | |||
<br><br> | |||
==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. <br><br> | |||
Die Aufgabe hätte auch so lauten können:<br> | |||
Konstruiere einen Automaten, der die Sprache L={(ha)<sup>n</sup>|n>0} akzeptiert. | |||
<br> | |||
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. | |||
{{Aufgaben|1=3.1|2= | |||
Stelle die Aufgabe 2.6 ('''aaab''', '''aaabaaab''', '''aaabaaabaaab''' usw.) mit der Sprache eines Automaten dar. }} | |||
{{Lösung versteckt|1= | |||
[[Datei:Zeichnungen_13.jpeg|200px]]<br> | |||
}} | |||
== | {{Aufgaben|1=3.2|2= | ||
Stelle die Aufgabe 2.5 und 2.6 mit der Sprache eines Automaten dar, wenn der Startzustand auch gleich der Endzustand sein darf. }} | |||
= | {{Lösung versteckt|1= | ||
[[Datei:Zeichnungen_14.jpeg|300px]]<br>}} | |||
==Übungsaufgaben zu endlichen Automaten (Akzeptoren)== | |||
Hinweise: | |||
* Ein Automat kann auch mehrere Endzustände besitzen. | |||
* Auf einer Übergangsfunktion können auch mehrere Zeichen vorhanden sein.<br> | |||
[[Datei:Zeichnungen_15.jpeg|300px]]<br> | |||
Der Zustand von z<sub>1</sub> nach z<sub>2</sub> erfolgt, wenn a '''oder''' b gelesen wird.<br><br> | |||
{{Aufgaben|1=3.3|2= | |||
Konstruiere einen Akzeptor, der nur die folgende Sprache akzeptiert: | |||
L={(a<sup>n</sup>b<sup>2</sup>)<math>\| n>0</math>} }} | |||
{{Lösung versteckt|1= | |||
[[Datei:Zeichnungen_16.jpeg|500px]]<br>}} | |||
{{Aufgaben|1=3.4|2= | |||
Konstruiere einen Akzeptor, der nur die folgende Sprache akzeptiert: | |||
L={(a<sup>n</sup>b<sup>2</sup>)<math>\| n\geq0</math>} }} | |||
[[ | {{Lösung versteckt|1= | ||
[[Datei:Zeichnungen_17.jpeg|500px]]<br>}} | |||
{{Aufgaben|1=3.5|2= | |||
Konstruiere einen Akzeptor, der nur die folgende Sprache akzeptiert: | |||
L={(ab)<sup>n</sup><math>\| n>0</math>} <math>\cup</math> L={(ba)<sup>n</sup><math>\| n>0</math>} | |||
<br> | |||
Hinweis: Die Vereinigungsmenge wird hier als '''oder''' interpretiert.}} | |||
[[ | {{Lösung versteckt|1= | ||
[[Datei:Zeichnungen_18.jpeg|500px]]<br>}} | |||
== | {{Aufgaben|1=3.6|2= | ||
Konstruiere einen Akzeptor, der nur die folgenden Email-Adressen erkennt:<br> | |||
{min. ein Zeichen}@{mind. 3 Zeichen}.de <br> | |||
wobei ein Zeichen ein Element aus der Menge {a,...,z,A,...,Z,0,...9,+,-,_} sein soll. | |||
<br>Du kannst das Zeichen mit z bezeichnen, also z <math>\in </math> {a,...,z,A,...,Z,0,...9,+,-,_ } | |||
}} | |||
{{Lösung versteckt|1= | |||
[[Datei:Zeichnungen_19.jpeg|500px]]<br>}} | |||
{{Aufgaben|1=3.7|2= | |||
Konstruiere einen Akzeptor, der nur die Wörter akzeptiert, die eine gerade Anzahl von a's enthalten (die Zahl 0 wird hier als gerade interpretiert). Das Eingabealphabet ist dabei die Menge {a,b,c}. Der Automat soll zum Beispiel das Wort abacbaa akzeptieren, aber das Wort abacba verwerfen. | |||
}} | }} | ||
{{Lösung versteckt|1= | |||
[[Datei:Zeichnungen_20.jpeg|500px]]<br>}} | |||
[[Kategorie:Einführung in die Automatentheorie]] |
Version vom 10. August 2019, 12:37 Uhr
Lösungen zu den beiden letzten Aufgaben aus der 2. Stunde
Aufgabe 2.5
Aufgabe 2.6
Bei beiden Aufgaben darf der Startzustand nicht gleich dem Endzustand sein.
Überlege dir warum?
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.
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.
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.
Übungsaufgaben zu endlichen Automaten (Akzeptoren)
Hinweise:
- Ein Automat kann auch mehrere Endzustände besitzen.
- Auf einer Übergangsfunktion können auch mehrere Zeichen vorhanden sein.
Der Zustand von z1 nach z2 erfolgt, wenn a oder b gelesen wird.
Konstruiere einen Akzeptor, der nur die folgende Sprache akzeptiert:
L={(anb2)}
Konstruiere einen Akzeptor, der nur die folgende Sprache akzeptiert:
L={(anb2)}
Konstruiere einen Akzeptor, der nur die folgende Sprache akzeptiert:
L={(ab)n} L={(ba)n}
Konstruiere einen Akzeptor, der nur die folgenden Email-Adressen erkennt:
{min. ein Zeichen}@{mind. 3 Zeichen}.de
wobei ein Zeichen ein Element aus der Menge {a,...,z,A,...,Z,0,...9,+,-,_} sein soll.
Du kannst das Zeichen mit z bezeichnen, also z {a,...,z,A,...,Z,0,...9,+,-,_ }