Pumping lemmas for term languages
- 31 December 1978
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 17 (3) , 319-330
- https://doi.org/10.1016/0022-0000(78)90012-0
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- A generalized approach to formal languagesJournal of Computer and System Sciences, 1974
- On Derivation Trees of Indexed Grammars – An Extension of the uvwxy-TheoremPublications of the Research Institute for Mathematical Sciences, 1973
- Generalized2 sequential machine mapsJournal of Computer and System Sciences, 1970
- Tree generating regular systemsInformation and Control, 1969
- Indexed Grammars—An Extension of Context-Free GrammarsJournal of the ACM, 1968
- Generalized finite automata theory with an application to a decision problem of second-order logicTheory of Computing Systems, 1968