DocumentCode
2189107
Title
Parallel time O(log N) acceptance of deterministic CFLs
Author
Reif, John ; Reif, John ; Reif, John ; Reif, John
fYear
1982
fDate
3-5 Nov. 1982
Firstpage
290
Lastpage
296
Abstract
We give a parallel RAM algorithm for simulating a deterministic auxiliary pushdown machine. If the pushdown machine uses space s(n) ≥ log n and time 2O(s(n)) then our parallel simulation algorithm takes time O(s(n)) and requires 2O(s(n)) processors. Thus any deterministic context free language is accepted in time O(log n) by our parallel RAM algorithm using a polynomial number of processors. (Our algorithm can easily be extended to also accept the LR(k) languages in time O(log n) and 2O(k) Processors. Our simulation algorithm is near optimal for parallel RAMs, since we show that the language accepted in time T(n) by a parallel RAM is accepted by a deterministic auxiliary pushdown machine with space T(n) and time 2O(T(n)2).
Keywords
Computational modeling; Concurrent computing; Context modeling; Laboratories; Magnetic heads; Polynomials; Random access memory; Read-write memory; Tellurium; Turing machines;
fLanguage
English
Publisher
ieee
Conference_Titel
Foundations of Computer Science, 1982. SFCS '08. 23rd Annual Symposium on
Conference_Location
Chicago, IL, USA
ISSN
0272-5428
Type
conf
DOI
10.1109/SFCS.1982.84
Filename
4568403
Link To Document