Abstract
The standard procedure to transform a regular expression of size n to an ϵ -free nondeterministic finite automaton yields automata with O(n) states and O ( n 2 ) transitions. For a long time this was supposed to be also the lower bound, but a result by Hromkovic et al. showed how to build an ϵ -free NFA with only O ( n log 2 ( n )) transitions. The current lower bound on the number of transitions is Ω( n log( n )). A rough running time estimation for the common follow sets (CFS) construction proposed by Hromkovic et al. yields a cubic algorithm. In this paper we present a sequential algorithm for the CFS construction which works in time O ( n log( n ) + size of the output). On a CREW PRAM the CFS construction can be performed in time O (log( n )) using O ( n + (size of the output)/log( n )) processors. We also present a simpler proof of the lower bound on the number of transitions.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.