Synthesis of Mealy machines using derivatives

MaRDI QIDQ2863892zbMATH OpenFDO

Authors Helle Hvid Hansen, David G. Costa, Jan J. M. M. Rutten

Publication date 4 December 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106004683?np=y

zbMATH Keywords

synthesiscoalgebraderivativesstreamsMealy machine

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65)

Recommendations

• Symbolic synthesis of Mealy machines from arithmetic bitstream functions
• Coalgebraic Logic and Synthesis of Mealy Machines
• scientific article; zbMATH DE number 2104638
• Effective reductions of Mealy machines
• scientific article; zbMATH DE number 3915632

Cited in

(9)

• Coalgebraising subsequential transducers
• Coalgebraic Logic and Synthesis of Mealy Machines
• scientific article; zbMATH DE number 4037906 (Why is no real title available?)
• scientific article; zbMATH DE number 2104638 (Why is no real title available?)
• A formal abstract framework for modelling and testing complex software systems
• Finite automata and numbers
• Symbolic synthesis of Mealy machines from arithmetic bitstream functions
• Monoidal computer. III: A coalgebraic view of computability and complexity (extended abstract)
• Effective reductions of Mealy machines

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: Synthesis of Mealy machines using derivatives

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2863892)