State-Merging DFA Induction Algorithms with Mandatory Merge Constraints

From MaRDI portal
Publication:3528414