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.