Minimal automaton for a factorial transitive rational language, Theoret (1989)

by D Beauquier
Venue:Comput. Sci