Fast brief practical DFA minimization (Q437674)

From MaRDI portal