[FoSAP] Präsenzübung A3

[FoSAP] Formale Systeme, Automaten, Prozesse
[BuK] Berechenbarkeit und Komplexität
[MaLo] Mathematische Logik

Präsenzübung A3

Beitragvon Patrick » 06.08.07 12:46

Irgentwie bekomm ich die a) nicht hin (ac+ba)* hab ich aber bei c*(b + a*c) scheiterts irgentwie kann man bei meinem 2. immer "ab" ableiten was ja nicht geht...?! :roll: :?:
Benutzeravatar
Patrick
 
Beiträge: 105
Registriert: 10.01.07 17:13
Wohnort: Aachen
Studiengang: Informatik (Dipl.)
Studiert seit: SS 06
Anwendungsfach: Psycho

Beitragvon Fighter_MV » 06.08.07 13:07

Meiner sah am Ende so aus:

Denke der ist richtig, weiß aber nicht 100 Prozent

Edit: Jetzt auch mit Anfangs - und Endzuständen

Bild
Zuletzt geändert von Fighter_MV am 06.08.07 13:38, insgesamt 1-mal geändert.
Fighter_MV
 
Beiträge: 400
Registriert: 25.09.06 14:51
Wohnort: Eschweiler
Studiengang: Informatik (M.Sc.)
Studiert seit: WS 07/08
Anwendungsfach: BWL

Beitragvon Pillenfresser » 06.08.07 13:14

Ich garantiere dir, dass der nicht die Sprache erkennt, die vom regulären Ausdruck beschrieben wird. :P
I don't care, I'm still free. You can't take the sky from me.
Benutzeravatar
Pillenfresser
Moderator
 
Beiträge: 983
Registriert: 16.09.05 18:46
Studiengang: Informatik (Dipl.)
Studiert seit: WS 06/07
Anwendungsfach: Psycho

Beitragvon CrazyPumuckl » 06.08.07 13:24

Das Teil hat weder Start- noch Endzustände.
\frac{0}{0}
Benutzeravatar
CrazyPumuckl
 
Beiträge: 557
Registriert: 17.11.06 11:31

Beitragvon fw » 06.08.07 13:26

Pillenfresser hat geschrieben:Ich garantiere dir, dass der nicht die Sprache erkennt, die vom regulären Ausdruck beschrieben wird. :P


unter anderem weil sein Automat keine Endzustände hat :P
Benutzeravatar
fw
 
Beiträge: 1356
Registriert: 17.05.06 19:37
Studiengang: Informatik (Dipl.)
Studiert seit: fertig
Anwendungsfach: Mathe

Beitragvon Pillenfresser » 06.08.07 13:26

Das könnte ein Grund sein. ;)
I don't care, I'm still free. You can't take the sky from me.
Benutzeravatar
Pillenfresser
Moderator
 
Beiträge: 983
Registriert: 16.09.05 18:46
Studiengang: Informatik (Dipl.)
Studiert seit: WS 06/07
Anwendungsfach: Psycho

Beitragvon Patrick » 06.08.07 13:31

thx so hab ichs nun auch :) aber mit start und endzuständen sonst der aufbau stimmt oder?

achso bei b) hab ich mal so 18 Zustände überflogen kommt das hin?
Benutzeravatar
Patrick
 
Beiträge: 105
Registriert: 10.01.07 17:13
Wohnort: Aachen
Studiengang: Informatik (Dipl.)
Studiert seit: SS 06
Anwendungsfach: Psycho

Beitragvon Fighter_MV » 06.08.07 13:34

Mensch Mensch nicht so kleinlich :P

Werds sofort ändern.
Fighter_MV
 
Beiträge: 400
Registriert: 25.09.06 14:51
Wohnort: Eschweiler
Studiengang: Informatik (M.Sc.)
Studiert seit: WS 07/08
Anwendungsfach: BWL

Beitragvon Pillenfresser » 06.08.07 13:37

Jo, ansonsten sieht meiner prinzipiell genau so aus.
I don't care, I'm still free. You can't take the sky from me.
Benutzeravatar
Pillenfresser
Moderator
 
Beiträge: 983
Registriert: 16.09.05 18:46
Studiengang: Informatik (Dipl.)
Studiert seit: WS 06/07
Anwendungsfach: Psycho

Beitragvon $veno » 06.08.07 13:52

Patrick hat geschrieben:achso bei b) hab ich mal so 18 Zustände überflogen kommt das hin?


Nee, 26 müsstens sein

Gruss Sven
Benutzeravatar
$veno
 
Beiträge: 324
Registriert: 24.12.06 19:46
Wohnort: Aachen

Beitragvon Martin » 06.08.07 14:38

$veno hat geschrieben:Nee, 26 müsstens sein


Nein, 28 sind's. Haben wir an anderer Stelle schonmal diskutiert.
Martin
10100111001
 
Beiträge: 1932
Registriert: 09.09.05 17:47
Studiengang: Informatik (Dipl.)
Studiert seit: fertig
Anwendungsfach: BWL

Beitragvon Max » 06.08.07 14:57

Wird das epsilon nicht auch akzeptiert?
Max
 
Beiträge: 36
Registriert: 31.10.06 13:34

Beitragvon Patrick » 06.08.07 15:15

Max hat geschrieben:Wird das epsilon nicht auch akzeptiert?


ja
Benutzeravatar
Patrick
 
Beiträge: 105
Registriert: 10.01.07 17:13
Wohnort: Aachen
Studiengang: Informatik (Dipl.)
Studiert seit: SS 06
Anwendungsfach: Psycho

Beitragvon heipei » 06.08.07 15:18

Dein Automat erkennt aber kein epsilon, was er meiner Meinung nach aber sollte, da ja (ac+ab)* auch auf epsilon zutrifft. also sollte dein startzustand zumindest ein finalzustand sein, ob sonst noch was verkehrt ist weiss ich nicht. du machst ja ein + ueber die beiden grossen terme, und dabei wird nach glushkov die beiden startzustände zusammengefasst, von denen einer ja ein finalzustand ist (naemlich der vom ersten term). so seh ich das
Zuletzt geändert von heipei am 06.08.07 15:34, insgesamt 1-mal geändert.
Benutzeravatar
heipei
Moderator
 
Beiträge: 769
Registriert: 02.11.06 21:55
Wohnort: Aachen
Studiengang: Informatik (Dipl.)
Studiert seit: fertig
Anwendungsfach: Medizin

Beitragvon Neo » 06.08.07 15:33

Ich schließe mich mal an außer dem Startzustand = Endzustand kann ich auch keine Fehler mehr entdecken.
"Mess with the best and you'll die like the rest."
Crash Override
Benutzeravatar
Neo
 
Beiträge: 57
Registriert: 18.09.06 17:59
Wohnort: Aachen/Mechernich

Nächste

Zurück zu Theoretische Informatik