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 :
بازگشت