Za razliku od akceptora koja proverava validnost ulazne sekvence, pretvarač validnu sekvencu ulaznih simbola pretvara u odgovarajuću izlaznu sekvencu.
Na slici je prikazan pretvarač sa jednim početnim stanjem (0) i dva krajnja stanja (2 i 4). Primer dozvoljene ulazne sekvence a d d generiše izlaznu sekvencu x w q.