Minimization and Synthesis of the Tail in Sequential Compositions of Mealy Machines

Alberto Larrauri, Roderick Bloem

We consider a system consisting of a sequential composition of Mealy machines, called head and tail. We study two problems related to these systems. In the first problem, models of…