Similar Items: Verified derivative-based regular expression matching
- An investigation into performance-related issues of regular expression matching
- Random generation of finite automata over the domain of the regular languages
- Static analysis of regular expressions
- Finite state automaton construction through regular expression hashing
- Minimization of symmetric difference finite automata
- Generalised acceptance conditions for symmetric difference nondeterministic finite automata