SIAM Journal on Computing
Deterministic generalized automata
Theoretical Computer Science
Characterization of Glushkov automata
Theoretical Computer Science
Programming Techniques: Regular expression search algorithm
Communications of the ACM
Introduction to Algorithms
Factorizations of languages and commutativity conditions
Acta Cybernetica
Information and Computation
A characterization of Thompson digraphs
Discrete Applied Mathematics
Minimizing NFA's and regular expressions
STACS'05 Proceedings of the 22nd annual conference on Theoretical Aspects of Computer Science
Approximation to the smallest regular expression for a given regular language
CIAA'04 Proceedings of the 9th international conference on Implementation and Application of Automata
The validation of SGML content models
Mathematical and Computer Modelling: An International Journal
Provably Shorter Regular Expressions from Deterministic Finite Automata
DLT '08 Proceedings of the 12th international conference on Developments in Language Theory
Multi-tilde Operators and Their Glushkov Automata
LATA '09 Proceedings of the 3rd International Conference on Language and Automata Theory and Applications
Series-Parallel Automata and Short Regular Expressions
Fundamenta Informaticae
Implementation of State Elimination Using Heuristics
CIAA '09 Proceedings of the 14th International Conference on Implementation and Application of Automata
Short Regular Expressions from Finite Automata: Empirical Results
CIAA '09 Proceedings of the 14th International Conference on Implementation and Application of Automata
Small Extended Expressions for Acyclic Automata
CIAA '09 Proceedings of the 14th International Conference on Implementation and Application of Automata
Inference of concise regular expressions and DTDs
ACM Transactions on Database Systems (TODS)
Optimal lower bounds on regular expression size using communication complexity
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Acyclic automata and small expressions using multi-tilde-bar operators
Theoretical Computer Science
Series-Parallel Automata and Short Regular Expressions
Fundamenta Informaticae
State Elimination Heuristics for Short Regular Expressions
Fundamenta Informaticae
Hi-index | 5.23 |
We consider the use of state elimination to construct shorter regular expressions from finite-state automata (FAs). Although state elimination is an intuitive method for computing regular expressions from FAs, the resulting regular expressions are often very long and complicated. We examine the minimization of FAs to obtain shorter expressions first. Then, we introduce vertical chopping based on bridge states and horizontal chopping based on the structural properties of given FAs. We prove that we should not eliminate bridge states until we eliminate all non-bridge states to obtain shorter regular expressions. In addition, we suggest heuristics for state elimination that leads to shorter regular expressions based on vertical chopping and horizontal chopping.