1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Jan Heemstra, Jan Martens, Anton Wijs
We study parallel algorithms for the minimisation and equivalence checking of Deterministic Finite Automata (DFAs). Regarding DFA minimisation, we implement four different massivel…