Finite state transducers with predicates and identities
determinization and minimization of automata
scientific article; zbMATH DE number 1812505
scientific article