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: ugyanezt egy pici gondolkodással is megkaphattuk volna és akkor nem kellett volna ennyit számolni: Mivel az első karakter után a fordító nem ír ki semmit, az összes többi karakter után pedig egy szimbólumot ír ki, könnyű meggondolni, hogy a fordított nyelv épp a páros hosszú szavakat fogja tartalmazni. Az világos, hogy minden fordított szó páros sok karakterből áll és az is világos, hogy minden páros hosszú szó megkapható valami páratlan szó fordítottjaként. Tanulság: érdemes gondolkodni.