Minimisation of Acyclic Deterministic Automata in Linear Time.

Dominique Revuz

Published in: Theor. Comput. Sci. (1992)

Keyphrases

deterministic automata
finite automata
np hard
worst case
np complete
database schemes
domain specific
domain knowledge
linear temporal logic