minimaler DFA < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 03:45 Mi 06.04.2011 | | Autor: | pfanne |
| Aufgabe | gebe in graphischer darstellung einen mdfa an, der die sprache
[mm] $L=\{uabv|u,v\in\{a,b\}^\*\}\cup\{ubav|u,v\in\{a,b\}^\*\}$
[/mm]
über [mm] $\{a,b\}$ [/mm] erkennt |
hallo
lerne grad für eine klausur. habe nun gelesen, dass ein minimaler dfa eindeutig ist, bis auf isomorphie. nun sind diese beiden nicht isomorph und tun trotzdem das selbe soweit ich das sehe?
http://img24.imageshack.us/i/jpegd.jpg/
wo hab ich was falsch gemacht?
versteh ich das richtig: der dfa muss alle wörter erkennen die mit beliebig vielen a und b anfangen und aufhören und irgendwo muss entweder ab oder ba auftauchen
danke im voraus
grüße, pfanne
edit: hab grad gesehen, dass der untere nicht deterministisch ist. ist mir gar nicht aufgefallen...
hat sich also erledigt
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 06:45 Mi 06.04.2011 | | Autor: | felixf |
Moin,
> gebe in graphischer darstellung einen mdfa an, der die
> sprache
> [mm]L=\{uabv|u,v\in\{a,b\}^\*\}\cup\{ubav|u,v\in\{a,b\}^\*\}[/mm]
> über [mm]\{a,b\}[/mm] erkennt
>
>
> edit: hab grad gesehen, dass der untere nicht
> deterministisch ist. ist mir gar nicht aufgefallen...
genau das wollte ich gerade auch schreiben 
LG Felix
|
|
|
|
