Algorithm lin'eaire de minimisation des automates d'eterministes acycliques (1990)

by D Revuz