Symbolic synthesis of Mealy machines from arithmetic bitstream functions

H.H. Hansen, J.J.M.M. Rutten

Onderzoeksoutput: Boek/rapportRapportAcademic

7 Citaten (Scopus)
1 Downloads (Pure)

Samenvatting

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.
Originele taal-2Engels
Plaats van productieAmsterdam
UitgeverijCentrum voor Wiskunde en Informatica
Aantal pagina's24
StatusGepubliceerd - 2010

Publicatie series

NaamCWI Report
VolumeSEN-1006

Vingerafdruk Duik in de onderzoeksthema's van 'Symbolic synthesis of Mealy machines from arithmetic bitstream functions'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Hansen, H. H., & Rutten, J. J. M. M. (2010). Symbolic synthesis of Mealy machines from arithmetic bitstream functions. (CWI Report; Vol. SEN-1006). Centrum voor Wiskunde en Informatica.