The generative capacity of finite-state transducers

  • relations(equivalence relations)

to be done (richness of the base, Myhill-Nerode)