The equivalence and inclusion problems for NTS languages
Journal of Computer and System Sciences
NTS languages are deterministic and congruential
Journal of Computer and System Sciences
Formal languages
Discrete Applied Mathematics - Formal language theory
Properties of grammatical codes of trees
Theoretical Computer Science
Journal of the ACM (JACM)
Bounded context syntactic analysis
Communications of the ACM
Grammar and L Formas: An Introduction
Grammar and L Formas: An Introduction
Introduction to Formal Language Theory
Introduction to Formal Language Theory
The theory of parsing, translation, and compiling
The theory of parsing, translation, and compiling
Bracketed context-free languages
Journal of Computer and System Sciences
Semantics Of Nonsequential Tree-Based Computation Schemes
Fundamenta Informaticae
Hi-index | 0.00 |
We introduce terminally coded (TC) grammars, which generalize parenthesis grammars in the sense that from each word ω generated by a TC grammar we can recover the unlabeled tree t underlying its derivation tree(s). More precisely, there is a length-preserving homomorphism that maps ω to an encoding of t. Basic properties of TC grammars are established. For backwards deterministic TC grammars we give a shift-reduce precedence parsing method without look-ahead, which implies that TC languages can be recognized in linear time. The class of TC languages contains all parenthesis languages, and is contained in the classes of simple precedence languages and NTS languages.