Implementação das transições Mealy-Moore, funcionando parcialmente.