Library

Mealy · Rational transduction

Serial binary adder

Adds two arbitrarily long binary numbers with just two states: feed bit-pairs LSB-first, read the sum off the output. Carry in the state, nothing else — the circuit in your CPU.

carry 0carry 100/0, 01/1, 1…11/011/1, 01/0, 1…00/1
The machine as drawn — 2 states, 8 transitions.

The author’s examples, run

01 11 10 00 → reject · 100111 11 00 → reject · 01110 10 → reject · 11