Symbolic synthesis of Mealy machines from arithmetic bitstream functions

MaRDI QIDQ4621141zbMATH OpenFDO

Authors Helle Hvid Hansen, Jan J. M. M. Rutten

Publication date 8 February 2019

zbMATH Keywords

automatonMealy machinebitstream functionsymbolic synthesis method

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Synthesis of Mealy machines using derivatives
• Coalgebraic Logic and Synthesis of Mealy Machines
• scientific article; zbMATH DE number 2104638
• scientific article; zbMATH DE number 3915632
• scientific article; zbMATH DE number 14487

Cited in

(3)

• scientific article; zbMATH DE number 4037906 (Why is no real title available?)
• Synthesis of Mealy machines using derivatives
• Coalgebraic Logic and Synthesis of Mealy Machines

This page was built for publication: Symbolic synthesis of Mealy machines from arithmetic bitstream functions

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