von 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.