8
Views
1
CrossRef citations to date
0
Altmetric
Original Articles

Time-bounded controlled bidirectional grammars

Pages 93-115 | Received 29 Jan 1990, Published online: 19 Mar 2007

References

  • Aho , A.V. and Ullman , J.D. 1972 . The Theory of Parsing , Vol. I , Englewood Cliffs, N.J : Prentice-Hall . Translations and Compiling—Parsing
  • Boasson , L. 1980 . “ Dérivations et réductions dans les grammaires algébriques ” . In 7th International Colloquium on Automata Languages and Programming , Edited by: De Bakker , J. and Van Leeuwen , J. Vol. 85 , 109 – 118 . Berlin : Springer-Verlag . Lect. Notes Comp. Sci., Heidelberg-New York
  • Boasson , L. and SéNizergues , G. 1985 . NTS languages are deterministic and congruential . J. Comput. System Sci , 31 : 332 – 342 .
  • Book , R.V. 1971 . Time-bounded grammars and their languages . J. Comput. System Sci , 5 : 397 – 429 .
  • Book , R.V. 1987 . Thue systems as rewriting systems . J. Symb. Comp , 3 : 39 – 68 .
  • Gladkii , A.V. 1964 . On the complexity of derivations in phrase-structure grammar . Algebri i Logika Sem , 3 ( 5-6 ) : 29 – 44 . in Russian
  • Harrison , M.A. 1978 . Introduction to Formal Language Theory , Reading, MA : Addison-Wesley .
  • Hogendorp , J.A. 1989 . Controlled bidirectional grammars . Internat. J. Comput. Math , 27 : 159 – 180 .
  • Hogendorp , J.A. 1988 . Controlled rewriting using productions and reductions . Proceedings of ’;Computer Science in the Netherlands—‘ . 1988 . pp. 479 – 494 .
  • McNaughton , R. , Narendran , P. and Otto , F. 1988 . Church-Rosser Thue systems and formal languages . J. Assoc. Comput. Mach , 35 : 324 – 344 .
  • Salomaa , A. 1973 . Formal Languages , New York : Academic Press .
  • Sudkamp , T.A. 1988 . Languages and Machines—An Introduction to the Theory of Computer Science , Reading, MA : Addison-Wesley .

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.