Equations and coequations for deterministic automata

In this talk we will define the notion of equations and coequations for deterministic automata and, with the aid of some examples, we define what it means for a deterministic automaton to satisfy a set of equations or coequations. We will show a correspondence between sets of equations and coequations and show how this corresponce characterize the same classes of deterministic automata.  

hosted by

social