Synthesis of Mealy machines using derivatives

zbMATH Open1276.68111MaRDI QIDQ2863892FDOQ2863892

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

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

zbMATH Keywords

synthesiscoalgebraderivativesstreamsMealy machine

Mathematics Subject Classification ID

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

Cited In (9)

• Coalgebraising subsequential transducers
• Coalgebraic Logic and Synthesis of Mealy Machines
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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

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)