FROM REGULAR WEIGHTED EXPRESSIONS TO FINITE AUTOMATA
Jean-Marc Champarnaud, Éric Laugerotte, Faïssal Ouardi, Djelloul Ziadi · International Journal of Foundations of Computer Science · 2004
In this article we generalize concepts of the position automaton and ZPC-structure to the regular [Formula: see text]-expressions. We show that the extended ZPC-structure can be built in linear time w.r.t. the size of the [Formula: see text]-expression and that the associated position automaton can be deduced from it in quadratic time.