
Summary: We present two EREW PRAM algorithms and one CREW PRAM algorithm for solving set recurrence equations of the type commonly used in dynamic programming solutions to many problems in pattern matching, sequence comparison, and language recognition. All three algorithms run in \(O(\log^ 2 n)\) time. The first EREW PRAM algorithm uses \(O(M(n/\log n)\log^ 2n)\) processors, where \(M(n)\) is the number of processors needed to multiply two \(n\times n\) Boolean matrices in \(O(\log n)\) time on an EREW PRAM. The second EREW PRAM algorithm uses \(O(M'(n/(\log n \sqrt{\log\log n}))\log^ 2 n)\) processors, where \(M'(n)\) is the number of processors needed to multiply two \(n\times n\) matrices over an arbitrary ring in \(O(\log n)\) time on an EREW PRAM. The CREW PRAM algorithm uses \(O(M''(n/\log^{1.5} n)\log^ 2 n)\) processors, where \(M''(n)\) is the number of processors needed to multiply two \(n\times n\) matrices over an arbitrary ring in \(O(\log n)\) time on a CREW PRAM. As an application, we show that linear context-free languages can be recognized in \(O(\log^ 2 n)\) time using \(o(M(n))\) processors on an EREW PRAM. This result answers an open question in [\textit{M. Atallah}, \textit{S.Kosaraju}, \textit{L. Larmore}, \textit{G. Miller} and \textit{S.-H. Teng}, Constructing trees in parallel, in ``Proceedings, ACM Symp. on Parallel Alg. and Arch., 421-431 (1991)].
language recognition, sequence comparison, pattern matching, CREW PRAM algorithm, linear context-free languages, Distributed algorithms, Formal languages and automata, EREW PRAM algorithms, set recurrence equations
language recognition, sequence comparison, pattern matching, CREW PRAM algorithm, linear context-free languages, Distributed algorithms, Formal languages and automata, EREW PRAM algorithms, set recurrence equations
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 3 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
