Minimal automaton for a factorial transitive rational language (1985)

by D Beauquier
Venue:Theoret. Comput. Sci