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

by D Beauquier
Venue:Theoretical Computer Science