🛠 Finite state transducer (FST)

=== a 🕳 Transducer with two memory tapes==

📖 Example:

= a FST that transforms e.g. 00 → ah or 1 → b

graph LR
q0 --"0/a"--> q1
q0 --"1/b"--> qf0
q1 --"0/h"--> qf1
q1 --"1/s"--> qf1