de Souza, R. 2016 jul 4. Sobre a minimização de transdutores sequenciais. Anais do Encontro de Teoria da Computação (ETC). [Online] :