1
- Decidable equivalence
- Transducers 1
- Transducers defined
- Polynomials
- Transducer example 1
- Transducer Example 2
- Semantics
- Equivalence 2
- Algebra simulation
- Simulation example 1
- Simulation example 2
- Corollary on simulations
- Equivalence 3
- Proof of equivalence
- Transducer to grammar