Collection · 7 machines · curated by @thethinkmachine
Machines that write
Moore and Mealy machines, finite-state and pushdown transducers, and a two-way transducer that copies its input.
The machines
Combination lock: 1101
Moore · 5 states
Tested · Deterministic
Added 28 Sept 2026Updated 28 Sept 2026
traffic light
Moore · 3 states
Deterministic
Added 28 Sept 2026Updated 28 Sept 2026
Serial binary adder
Mealy · 2 states
Tested · Deterministic
Added 28 Sept 2026Updated 28 Sept 2026
report each bit
Mealy · 2 states
Deterministic
Added 28 Sept 2026Updated 28 Sept 2026
Binary → Gray code
FST · 2 states
Tested
Added 28 Sept 2026Updated 28 Sept 2026
Reverse the input
PDT · 3 states
Tested
Added 28 Sept 2026Updated 28 Sept 2026
Copy twice: w ↦ ww
2DFT · 5 states
Tested · Deterministic
Added 28 Sept 2026Updated 28 Sept 2026