Parallel algorithms for finite automata problems
Finite automata are among the most extensively studied and well understood models of computation. They have wide ranging applications — for example, in image compression, protocol validation, game theory and computational biology just to mention only some recent ones. Here we will attempt to present a comprehensive survey of parallel algorithms for many fundamental computational problems on finite automata. It is well known that fundamental analysis problems involving deterministic finite automata have polynomial time algorithms, but the problems become hard when the input automata are nondeterministic. A similar difference is observed for parallel algorithms: most problems involving DFA as input have NC algorithms, while such algorithms are unlikely with NFA as input.