The complexity of the membership problem for some extensions of context-free languagest†
- 1 January 1977
- journal article
- research article
- Published by Taylor & Francis in International Journal of Computer Mathematics
- Vol. 6 (3) , 191-215
- https://doi.org/10.1080/00207167708803138
Abstract
The time and tape complexity of some families of languages defined in the literature by altering methods of generation by context-free grammars is considered. Specifically; it is shown that the following families of languages can be recognized by deterministic multitape Turing machines either in polynomial time or within (log n)2 tape: 1) the context independent developmental (EOL) languages; 2) the simple matrix languages; 3) the languages generated by derivation restricted state grammars.: 4) the languages generated by linear context-free grammars with certain non-regular control sets; 5) the languages generated by certain classes of vector grammars. In fact, these languages are of the same tape complexity as context-free languages. Other results indicate the complexity of EDOL languages and the effects on complexity of applying the homomorphic replication operator to regular and context-free languages.Keywords
This publication has 28 references indexed in Scilit:
- The tape-complexity of context-independent developmental languagesJournal of Computer and System Sciences, 1975
- A Note on Tape-Bounded Complexity Classes and Linear Context-Free languagesJournal of the ACM, 1975
- The membership question for ETOL-languages is polynomially completeInformation Processing Letters, 1975
- General context-free recognition in less than cubic timeJournal of Computer and System Sciences, 1975
- AFL with the semilinear propertyJournal of Computer and System Sciences, 1971
- An Overview of the Theory of Computational ComplexityJournal of the ACM, 1971
- Characterizations of Pushdown Machines in Terms of Time-Bounded ComputersJournal of the ACM, 1971
- Programmed Grammars and Classes of Formal LanguagesJournal of the ACM, 1969
- Control sets on grammarsTheory of Computing Systems, 1968
- One-way stack automataJournal of the ACM, 1967