mealy machine

Last updated Jul 23, 2024

• monoidal Mealy machine
• effectful Mealy machine

References.

• A Method for Synthetizing Sequential Circuits (Mealy, 1955)
• A New Equivalence Notion for Communicating Systems (Park, 1981)