Die Aufgaben:


[img]http://mokrates.de/cgi-bin/texstring?$1.$%20%5C,%20$L=%20%5C%7B%200,11,0010%20%5C%7D$%20%5C%5C%0D%0A$2.$%20%5C,%20$L=%20%5C%7B%20w%20%5Cin%20%5CSigma%5E%7B*%7D%20%5C,%20%7C%20%5C,%20w%20%5C,%20enthaelt%20%5C,%2010%20%5C%7D$%20%5C%5C%0D%0A$3.$%20%5C,%20$L=%20%5C%7B%20w%20%5Cin%20%5CSigma%5E%7B*%7D%20%5C,%20%7C%20%5C,%20w%20%5C,%20enthaelt%20%5C,%20weder%20%5C,%2000%20%5C,%20noch%20%5C,%2011%20%5C%7D$%5C%5C%0D%0A$4.$%20%5C,%20$L=%20%5C%7B%20w%20%5Cin%20%5CSigma%5E%7B*%7D%20%5C,%20%7C%20%5C,%20%7Cw%7C%20%5C,%20=%202%20%5C%7D$%20%5C%5C%0D%0A$5.$%20%5C,%20$L=%20%5C%7B%20w%20%5Cin%20%5CSigma%5E%7B*%7D%20%5C,%20%7C%20%5C,%20%7Cw%7C%20%5C,%20ist%20%5C,%20ungerade%20%5C%7D$%20%5C%5C%0D%0A[/img]

Die Lösungen:
(bitte vergleichen, gegebenfalls korrigieren!)

Zu 1. :
[img]http://img215.imageshack.us/img215/185/lnea2ab.jpg[/img]

Zu 2. :


[img]http://img215.imageshack.us/img215/2276/nea3kc.jpg[/img]

Zu 3. :

[img]http://img215.imageshack.us/img215/9523/wenthltweder00noch11nea3oy.jpg[/img]

4:

[img]http://img216.imageshack.us/img216/7444/w2nea9pi.jpg[/img]

5. :

[img]http://img216.imageshack.us/img216/7117/wungerade9kk.jpg[/img]

Kann jemand die Automaten verifizieren/falsefizieren.

Sieht alles richtig aus.

ach ja es ist natürlich:
[img]http://mokrates.de/cgi-bin/texstring?$%20%5CSigma=%20%5C%7B%200,1%20%5C%7D%20$[/img]

Bei einer Aufgabenstellung wie:
[img]http://mokrates.de/cgi-bin/texstring?$L=%5C%7B%20awa%20%5C%7C%20a%20%5Cin%20%5CSigma%20,%20w%20%5Cin%20%5CSigma%5E*%20%5C%7D[/img]

Wie geht man da vor?

Kann das richtig sein:

[img]http://img146.imageshack.us/img146/3118/awaneae4bc.jpg[/img] ?

Nein, Du musst ja sicherstellen, dass die beiden a's gleich sind. Ich versuch mich mal…

0,1 ++ v| [] /| \ 1/ \1 / \ / \| []start []end \ /| \ / 0\ /0 \| / [] |^ ++ 0,1
<edit>da fehlten die Pfeilspitzen…

0,1 ++ v| [] / \ 1/ \1 / \ / \ []start []end \ / \ / 0\ /0 \ / [] |^ ++ 0,1

Wo ist denn da ein lambda-Übergang -> wie stellst du sicher das
[img]http://mokrates.de/cgi-bin/texstring?$w%20%5Cin%20%5CSigma%5E%7B*%7D$[/img] ist ?

und der a - Part -> ist das so gemeint, dass nur ein Symbol aus Sigma genommen werden darf?

Wo ist denn da ein lambda-Übergang -> wie stellst du sicher das
[img]http://mokrates.de/cgi-bin/texstring?%24w%20%5Cin%20%5CSigma%5E%7B*%7D%24[/img] ist ?

In UncleOwen`s Zeichnung ist w durch eine Schleife dargestellt
-> die Schleife muss nicht durchlaufen werden, damit der Automat akzeptiert -> w kann auch nur aus dem leeren Wort bestehen.