sequential and combinational state machines


There's a correspondence between the notions of "combinational" and "sequential" in digital circuit engineering and some structure in state machines (and therefore monoids)  that seems interesting. In digital logic, a "combinational" circuit like a logic gate has can be associated with a time T so that the output depends only…

Recursion and state


Despite some deep results, algebraic automata theory has fallen out of favor in theoretical computer science. Reasons include the disciplines failings such as a love of over-generality, weak mathematical background of people working on "formal methods", and gap between theoreticians and engineers. But perhaps the key reason is that traditional…