Library

FST · Rational transduction

nondeterministic rewriter

The textbook Finite State Transducer example.

q0a/0, a/1, b/X
The machine as drawn — 1 state, 3 transitions.