Prefix languages of church-rosser languages

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1974, Issue , 2000, Pages 516-529

  Woinowski, Jens R ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE ENGINEERING;

CHURCH-ROSSER LANGUAGES; STRING REWRITING;

RELIGIOUS BUILDINGS;

EID: 58149520918     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44450-5_42     Document Type: Conference Paper

References (14)

1. A. W. Appel. Modern Compiler Implementation in Java. Cambridge University Press, 1998.
2. R.V. Book and F. Otto. String-Rewriting Systems. Springer-Verlag, New York, 1993.
3. G. Buntrock and F. Otto. Growing context-sensitive languages and Church-Rosser languages. Information and Computation, 141:1–36, 1998.
4. E. Dahlhaus and M.K. Warmuth. Membership for growing context-sensitive grammars is polynomial. Journal of Computer and System Sciences, 33:456–472, 1986.
5. M. A. Harrison. Introduction to Formal Language Theory. Addison-Wesley, Reading, Mass., 1978.
6. M. Jantzen. Confluent String Rewriting. Springer-Verlag, 1988.
7. D. E. Knuth. On the translation of languages from left to right. Information and Control, 8:607–639, 1965.
8. R. McNaughton, P. Narendran, and F. Otto. Church-Rosser Thue systems and formal languages. Journal Association Computing Machinery, 35:324–344, 1988.
9. G. Niemann and F. Otto. The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages. In M. Nivat, editor, Foundations of Software Sscience and Computation Structures, Proceedings FoSSaCS’98, volume 1378 of LNCS, pages 243–257, Berlin, 1998. Springer-Verlag.
10. F. Otto, M. Katsura, and Y. Kobayashi. Cross-sections for finitely presented monoids with decidable word problems. In H. Comon, editor, Rewriting Techniques and Applications, volume 1232 of LNCS, pages 53–67, Berlin, 1997. Springer-Verlag.
11. T. Rottschäfer. Eine Entwicklungsumgebung für Church-Rosser Präfixparser. Diplomarbeit, TU-Darmstadt, February 2000.
12. S. Sippu and E. Soisalon-Soininen. Parsing Theory. Volume II: LR(k) and LL(k) Parsing. Springer-Verlag, Berlin, 1990.
13. J. R. Woinowski. A normal form for Church-Rosser language systems. Report, TU-Darmstadt, www.iti.tu-darmstadt.de/˜woinowsk/, June 2000.
14. J. R. Woinowski. Prefixes of Church-Rosser languages. Report TI-2/00, TU-Darmstadt, www.iti.tu-darmstadt.de/˜woinowsk/, February 2000.