DEA Beispiel....

[Feierteifl]

Also.... wir rechnen hier schon länger an DEAs herum und kommen einfach auf keinen grünen Zweig....

Wir rechnen das Beispiel 1 von der Prüfung am 15.Okt.01.

Gesucht: minimal deterministischer Automat

Gegeben: Egrep Ausdruck (ac?)*[ab]+?[bc]?

und hier sind unsere Fragen:

1.) Ist das +? praktisch nicht gleichbedeutend mit *

2.) Wir haben 4 Zustände (nicht minimiert), ist es richtig, wenn
der 3. und 4. Zustand Endzustände sind?

3.) Wie sieht die Unterscheidbarkeitstabelle aus?

Ich hoffe jemand kann uns weiterhelfen....
:confused:

[patricasso]

zu 1.)
stimmt:

+? = *

*? = +

+* = ?

wurde angeblich auch in der Vorlesung mal gemacht.

[qmp]

Original geschrieben von patricasso

*? = +

+* = ?


kann mir echt nicht vorstellen dass das stimmt!

[Petzi]

das hat der Salzer aber irgendwann im Juni an die Tafel gemalt

hab das nämlich in meine Unterlagen stehen

[qmp]

> *? = +
> +* = ?

a*? würde auch das Leerwort zulassen a+ aber nicht.

a+* würde auch aaaa erlauben a? aber nicht.

also entweder hab ich jetzt eine vollkommen falsche egrep Definition im Kopf, oder eben nicht :)

[nexxyz]

kann mir auch nur vorstellen, dass die beiden ausdrücke gleich * sind...

[Petzi]

ja stimmt das jetzt, dass +?=* und +*=? ????

nicht dass wir bei der Prüfung dann was falsches hinschreiben

[Neutrino]

stimmen wir demokratisch ueber die loesung ab. :-)

ich stimme fuer +?=* und +*=*

nu

[MAZi]

ich kann qmp nur zustimmen:
*?=+ stimmt nicht!
das + lässt KEIN vorkommnis nicht zu!
? und * aber schon!!!

+*= ? stimmt auch nicht!
+ und * lassen mehrere vorkommnisse vor, das ? aber max. 1 !!


nur +?=* ist richtig.