Indexed Grammars—An Extension of Context-Free Grammars
Journal of the ACM (JACM)
Context-sensitive immediate constituent analysis—context-free languages revisited
STOC '69 Proceedings of the first annual ACM symposium on Theory of computing
Intercalation theorems for stack languages
STOC '69 Proceedings of the first annual ACM symposium on Theory of computing
Transformations and translations from the point of view of generalized finite automata theory
STOC '69 Proceedings of the first annual ACM symposium on Theory of computing
Context-free grammars on trees
STOC '69 Proceedings of the first annual ACM symposium on Theory of computing
An operational and denotational approach to non-context-freeness
Theoretical Computer Science - Algebraic methods in language processing
TREEBAG - a Short Presentation
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Computational parallels between the regular and context-free languages
STOC '74 Proceedings of the sixth annual ACM symposium on Theory of computing
On the time and tape complexity of languages I
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
On the mathematical properties of linguistic theories
Computational Linguistics - Special issue on mathematical properties of grammatical formalisms
EACL '93 Proceedings of the sixth conference on European chapter of the Association for Computational Linguistics
On the mathematical properties of linguistic theories
ACL '83 Proceedings of the 21st annual meeting on Association for Computational Linguistics
Storage-to-tree transducers with look-ahead
Theoretical Computer Science
Closure properties of linear context-free tree languages with an application to optimality theory
Theoretical Computer Science - Algebraic methods in language processing
On the Generative Power of Multiple Context-Free Grammars and Macro Grammars
IEICE - Transactions on Information and Systems
Program equivalence and context-free grammars
Journal of Computer and System Sciences
Un théorème de duplication pour les forêts algébriques
Journal of Computer and System Sciences
A generalized approach to formal languages
Journal of Computer and System Sciences
Restarting tree automata and linear context-free tree languages
CAI'07 Proceedings of the 2nd international conference on Algebraic informatics
Tree parsing with synchronous tree-adjoining grammars
IWPT '11 Proceedings of the 12th International Conference on Parsing Technologies
Strong lexicalization of tree adjoining grammars
ACL '12 Proceedings of the 50th Annual Meeting of the Association for Computational Linguistics: Long Papers - Volume 1
Hi-index | 0.00 |
In this paper we study some applications and generalizations of the yield theorem: the yield of a recognizable set of trees (dendrolanguage) is an indexed language [1]. Standard results on context-free languages can be obtained quickly using this theorem. We consider here the Peters-Ritchie theorem [4]: the language analyzable by a finite set of CS rules is CF. An extension of the yield theorem reads: the yield of a CF set of trees is an indexed language. We prove some closure properties of CF sets of trees. Applying the yield theorem, we obtain properties of indexed languages. As a special result, we can solve the infiniteness problem for such languages.