2 papers
cs.FL2026
Evaluating Massively Parallel Algorithms for DFA Minimisation, Equivalence Checking and Inclusion Checking
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…
cs.DC2024
An Evaluation of Massively Parallel Algorithms for DFA Minimization
Jan Martens, Anton Wijs
We study parallel algorithms for the minimization of Deterministic Finite Automata (DFAs). In particular, we implement four different massively parallel algorithms on Graphics Proc…