Algebraic Specification and Coalgebraic Synthesis of Mealy Automata

  title={Algebraic Specification and Coalgebraic Synthesis of Mealy Automata},
  author={Jan J. M. M. Rutten},
  journal={Electr. Notes Theor. Comput. Sci.},
We introduce the notion of functional stream derivative, generalising the notion of input derivative of rational expressions (Brzozowski 1964) to the case of stream functions over arbitrary input and output alphabets. We show how to construct Mealy automata from algebraically specified stream functions by the symbolic computation of functional stream derivatives. We illustrate this construction in full detail for various bitstream functions specified in the algebraic calculus of the 2-adic… CONTINUE READING


Publications citing this paper.

64 Citations

Citations per Year
Semantic Scholar estimates that this publication has 64 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…