Llevo tiempo investigando las máquinas Mealy y Moore pero me parece que faltan buenos libros/artículos sobre el tema. Toda la investigación en este campo parece centrarse principalmente en dos aspectos: el modelado de circuitos secuenciales y el entrenamiento de transductores probabilísticos. Veo que casi no hay investigaciones que profundicen en las propiedades computacionales y algebraicas. ¿Existe una jerarquía de Chomsky para las máquinas de Mealy? ¿Existe un lema de bombeo o un teorema de Myhill-Nerode para las máquinas de Mealy? ¿Sigue siendo aplicable el álgebra de Kleene (y si es así, quizá tenga algunas características nuevas especiales)? ¿Existe algo parecido a las "relaciones racionales", que serían la contrapartida de los lenguajes racionales?
Cualquier material será muy apreciado.
