A fordítandó nyelv automatája: A fordító átalakított automatája: A fordított nyelv automatája: Az $\epsilon$-átmeneteket kiküszöbölve: Minimalizálva: Megjegyzés: Most is jobban megérte volna gondolkodni. A fenti automatát kitalálhattuk volna a követekező módon: Q1 feleljen meg annak az állapotnak, amikor a fordítandó szóban a-t olvastunk utoljára és eddig páros sok páros hosszú b-sorozat volt. Q3 annak felel meg, hogy utoljára b-t olvastunk és eddig páros sok páros hosszú b-sorozat volt. Q4 azt jelenti, hogy utoljára b-t olvastunk és eddig páratlan sok páros hosszú b-sorozat volt. Q5 annak felel meg, hogy utoljára a-t olvastunk és eddig páros sok páros hosszú b-sorozat volt. Tanulság ismét: érdemes gondolkodni.