Revuz. Minimisation of acyclic deterministic automata in linear time (1990)

by Dominique
Venue:Theoretical Computer Science