Rozdíl dvou konečných automatů
Ahoj, mám zadání, kdy má automat generovat řetězec obsahující bab, ale nesmí se tam vyskytovat abba (z abecedy a a b). Tak jsem si řekl, že si to zkusím udělat přes rozdíl dvou automatů. Nějak jsem ale nenašel postup, jak se takový automat tvoří. Jde to?
Vím že by tenhle příklad šel asi vyřešit i jinak. O to mi teď ale nejde.