Teilmengenproblem auf regulären Sprachen und Automatenmorphismus
-
Hallo Leute,
ich habe folgendes Problem, das ich für meinen Editor lösen muss.
Seien r und s reguläre Ausdrücke.
L(r) Teilmenge von L(s) <=> es gibt Automatenmorphismus h:Aut(r) -> Aut(s)hierbei sollen Aut(r) und Aut(s) die zu den regulären Ausdrücken minimierten DFAs sein.
Die Richtung "<=" kann man ja recht einfach zeigen.
Allerdings weiß ich nicht, wie ich die andere Richtung zeigen soll...
Weiß jemand eine Lösung oder kann mir einen Literaturtipp geben?
Danke!
-
die rückrichtung gilt ja garnicht (habe ein gegenbeispiel gefunden). so ein misst....
