• 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