hallo,
die folgende sprache ist ja regular: 0*01
wie sieht es mit der Sprache o* aus? Woher weiß ein DFA hier wie viele 0en er lesen muss?
hallo,
die folgende sprache ist ja regular: 0*01
wie sieht es mit der Sprache o* aus? Woher weiß ein DFA hier wie viele 0en er lesen muss?
hallo,
die folgende sprache ist ja regular: 0*01
wie sieht es mit der Sprache o* aus? Woher weiß ein DFA hier
wie viele 0en er lesen muss?
Muss er das wissen? Für mich hat er zwei Zustände (Start- und Endzustand), wobei er quasi nach jeder o in einem gültigen Endzustand gelangt.
o
Start ----\> End
| ^
|-|
o
lg
JL
Hallo,
die folgende sprache ist ja regular: 0*01
wie sieht es mit der Sprache o* aus? Woher weiß ein DFA hier
wie viele 0en er lesen muss?Muss er das wissen? Für mich hat er zwei Zustände (Start- und
Endzustand), wobei er quasi nach jeder o in einem gültigen
Endzustand gelangt.o
Start ----> End
^ o
Dieser Automat würde o+ und nicht o* akzeptieren.
Um ihm o* beizubringen muss der End-Zustand auch gleichzeitig Startzustand sein.
Grüße,
Moritz
die folgende sprache ist ja regular: 0*01
wie sieht es mit der Sprache o* aus? Woher weiß ein DFA hier
wie viele 0en er lesen muss?
Hallo Nadine,
ein DFA läuft solange, wie Daten vorhanden sind.
Nachdem diese gelesen wurden, wird das Ergebnis abgefragt,
ob ein aktzeptierender Zustand angenommen wurde.
Hier könnte man sich auch vorstellen, dass nach den Daten
ein spezielles Ende-Zeichen kommt und der DFA dann weiss,
dass er ein Ergebnis ausgeben muss, hab ich aber noch nirgens gesehen.
Evt. hilft es weiter, sich zu Überlegen, das ein DFA eine
Turing-Maschine mit gewissen Einschränkungen ist.
Grüße
Thorsten
Dieser Automat würde o+ und nicht o* akzeptieren.
Um ihm o* beizubringen muss der End-Zustand auch gleichzeitig
Startzustand sein.
Stimmt, hast recht. Sorry. Ändert aber nichts am Problem, oder? Oder darf der Startzustand kein gültiger Endzustand sein?
lg
JL
sorry, dass ich jetzt erst schreibe, danke für die antworten.
die antwort ist einleuchtend, ein zustand reicht, der gleichzeitig auch akzetierend ist.
wenn ich jetzt folgende sprache habe:
L={0^n|n>=1} das ist doch quasi das gleiche oder? oder doch nicht regulär?
und L2={00+11}…die sieht sehr regulär aus, aber wie mach ich den passenden dfa?
lieben gruß…