Sprachen und Automaten < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Status: |
(Frage) für Interessierte  | | Datum: | 12:20 Do 15.12.2011 | | Autor: | emulb |
| Aufgabe | 1)Zeichnen Sie ein Zustandsdiagramm für den endlichen Automaten
$ M = [mm] (\{z_0,z_1,z_2\},\{0,1\},\delta [/mm] , [mm] z_0, \{z_1,z_2\}) [/mm] $
mit der Zustandübergangsfunktion:
$ [mm] \delta (z_0,0)=z_2 [/mm] $
$ [mm] \delta (z_0,1)=z_1 [/mm] $
$ [mm] \delta (z_1,0)=z_0 [/mm] $
$ [mm] \delta (z_1,1)=z_1 [/mm] $
$ [mm] \delta (z_2,0)=z_2 [/mm] $
$ [mm] \delta (z_2,1)=z_1 [/mm] $
L sei die Sprache, die dieser Automat akzeptiert.
2) Geben Sie für jedes der folgenden 5 Wörter an, ob es von dem Automaten akzeptiert
wird oder nicht: 01100; 11110; 001100; 010101; 01010. |
zu 1)
also
z0 mit 1 auf z1
z1 mit 1 auf z1
z1 mit 0 auf z0
z0 mit 0 auf z2
z2 mit 0 auf z2
z2 mit 1 auf z1
zu 2) sagen wir start ist bei z0:
01100 geht
11110 geht nicht
001100 geht
010101 geht nicht
01010 geht nicht
spielt es dann eine rolle dass ich bei z0 anfange und bei z2 fertig bin kann ich mir den endpunkt aussuchen??
|
|
|
