Minimisation of acyclic deterministic automata in linear time (1992)

by D Revuz
Venue:Theoretical Computer Science