UntitledDrawing exported from Concepts: Smarter Sketching
1
  1. Decidable equivalence
  2. Transducers 1
  3. Transducers defined
  4. Polynomials
  5. Transducer example 1
  6. Transducer Example 2
  7. Semantics
  8. Equivalence 2
  9. Algebra simulation
  10. Simulation example 1
  11. Simulation example 2
  12. Corollary on simulations
  13. Equivalence 3
  14. Proof of equivalence
  15. Transducer to grammar