An O(n \text{log} n) implementation of the standard method for minimizing n-state finite automata

From MaRDI portal
Publication:672727