Dentro de los transductores de estados finitos tenemos: