mealy machine

Last updated Feb 6, 2025

• monoidal Mealy machine
• effectful Mealy machine

References.

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