2010-03-01
Symbolic Synthesis of Mealy Machines from Arithmetic Bitstream Functions
Publication
Publication
In this paper, we describe a symbolic synthesis method which
given an algebraic expression that specifies a bitstream function f, constructs a (minimal) Mealy machine that realises f. The synthesis algorithm can be seen as an analogue of Brzozowski's construction of a finite deterministic automaton from a regular expression. It is based on a coinductive characterisation of the operators of 2-adic arithmetic in terms of stream differential equations.
Additional Metadata | |
---|---|
, , , , | |
CWI | |
Software Engineering [SEN] | |
Organisation | Computer Security |
Hansen, H., & Rutten, J. (2010). Symbolic Synthesis of Mealy Machines from Arithmetic Bitstream Functions. Software Engineering [SEN]. CWI. |
See Also |
---|