TY - GEN
T1 - Implementation of state elimination using heuristics
AU - Ahn, Jae Hee
AU - Han, Yo Sub
PY - 2009
Y1 - 2009
N2 - State elimination is an intuitive and easy-to-implement algorithm that computes a regular expression from a finite-state automaton (FA). The size of a regular expression from state elimination depends on the state removal sequence. Note that it is very hard to compute the shortest regular expression for a given FA in general and we cannot avoid the exponential blow-up from state elimination. Nevertheless, we notice that we may have a shorter regular expression if we choose a good removal sequence. This observation motivates us to examine heuristics based on the structural properties of an FA and implement state elimination using the heuristics that run in polynomial time. We demonstrate the effectiveness of our algorithm by experiments.
AB - State elimination is an intuitive and easy-to-implement algorithm that computes a regular expression from a finite-state automaton (FA). The size of a regular expression from state elimination depends on the state removal sequence. Note that it is very hard to compute the shortest regular expression for a given FA in general and we cannot avoid the exponential blow-up from state elimination. Nevertheless, we notice that we may have a shorter regular expression if we choose a good removal sequence. This observation motivates us to examine heuristics based on the structural properties of an FA and implement state elimination using the heuristics that run in polynomial time. We demonstrate the effectiveness of our algorithm by experiments.
UR - http://www.scopus.com/inward/record.url?scp=70350362101&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=70350362101&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-02979-0_21
DO - 10.1007/978-3-642-02979-0_21
M3 - Conference contribution
AN - SCOPUS:70350362101
SN - 3642029787
SN - 9783642029783
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 178
EP - 187
BT - Implementation and Application of Automata - 14th International Conference, CIAA 2009, Proceedings
T2 - 14th International Conference on Implementation and Application of Automata, CIAA 2009
Y2 - 14 July 2009 through 17 July 2009
ER -