Symbolic synthesis of Mealy machines from arithmetic bitstream functions

zbMATH Open1424.68086MaRDI QIDQ4621141FDOQ4621141

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

Publication date: 8 February 2019

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

zbMATH Keywords

automatonMealy machinebitstream functionsymbolic synthesis method

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cited In (3)

• Synthesis of Mealy machines using derivatives
• Coalgebraic Logic and Synthesis of Mealy Machines
• Title not available (Why is that?)

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)