🛠 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