Wiring diagrams for Mealy machines

Moore machines are a simple type of finite state machine. They consist of

(Shultz, Spivak, and Vasilakopoulou 2016) gives a framework for composing Moore machines using directed wiring diagrams. In a Moore machine, the input can only affect the output through the state. Some systems don’t function like this, though. For example, consider an elevator. In an elevator


This is a companion discussion topic for the original entry at https://topos.site/blog/2024-08-19-wiring-diagrams-mealy-machines/