A note on optimal parallel transformations of regular expressions to nondeterministic finite automata

https://doi.org/10.1016/0020-0190(89)90076-8Get rights and content

Abstract

In this note we show that the transformation of regular expressions to corresponding nondeterministic finite automata can be done in log n time using n/log n processors on a parallel random-access machine without write conflicts (P-RAM). It is easy to parallelize the classical transformation of Hopcroft and Ullman [5]. The parallelization of the more economical transformation of Sedgewick [8] is more interesting and it is obtained by applying (in two stages) a homomorphism which relates the automaton obtained through the transformation from [5] to the one obtained through the transformation from [8].

We also deal with Sedgewick's transformation which is more economic (compare Fig. 1 and Fig. 4) than the one presented in [5], though it does not change the order of the complexity of algorithms obtained. We develop the following technique for the recursive construction. The tree of the recursion is constructed and some parameters associated with the nodes of this tree (pairs of states) are computed. This is the main step. Then, instead of simulating the recursion bottom-up or top-down, appropriate constructing actions are executed for each node of the recursion tree in parallel. The previously computed parameters (associated with the nodes) are such that the action for a given node is, at this stage, easy and independent of the action for any other node.

References (9)

  • I. Bar-on et al.

    Optimal parallel generation of a computation tree form

    ACM Trans. on Progr. Lang. and Systems

    (1985)
  • R. Cole

    An optimal selection algorithm

  • A. Gibbons et al.

    An optimal parallel algorithm for dynamic expression evaluation and its applications

  • S. Fortune et al.

    Parallelism in random access machines

There are more references available in the full text version of this article.

Cited by (6)

  • Parallel algorithms on strings

    2007, Handbook of Parallel Computing: Models, Algorithms and Applications
  • Parallel construction of minimal suffix and factor automata

    1990, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
  • Parallel computations on strings and arrays

    1990, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
View full text