• Corpus ID: 16228406

On a classification of context-free languages

  title={On a classification of context-free languages},
  author={Jozef Gruska},
  • J. Gruska
  • Published 1967
  • Computer Science
  • Kybernetika
The set E of strings is said to be definable (strongly definable) if there is a context-free grammar G such that E is the set of all terminal strings generated from the initial symbol (from all non­ terminal symbols) of G. The classification of definable and strongly definable sets in dependence on minimal number of nonterminal symbols needed for their generation is given. 
Syntactic complexity of context-free grammars over word monoids
  • A. Meduna
  • Computer Science, Linguistics
    Acta Informatica
  • 2009
It is demonstrated that every recursively enumerable language can be defined by a ten-nonterminal context-free grammar over a word monoid generated by an alphabet and six words of length two.
Nonterminal complexity of some families of infinite regular languages
This paper studies nonterminal complexity of some families of infinite regular languages, which can be computed for different families of regular languages.
On Descriptions of Context-Free Languages by CD Grammar Systems
It is proved that CD grammar systems can reach the best possible increase of efficiency compared with context-free grammars in all standard derivation modes with respect to both measures.
Descriptional Complexity of Context-Free Grammar Forms
Subregularly controlled derivations: restrictions by syntactic parameters
  • J. Dassow
  • Mathematics
    Where Mathematics, Computer Science, Linguistics and Biology Meet
  • 2001
This work considers regularly controlled context-free grammars and restricts the number of nonterminals or productions which are necessary to generate the regular control language and compares the succinctness of the description of regular languages by regular Grammars (without control) and regular grammar with regular control.
Six nonterminals are enough for generating each r.e. language by a matrix grammar
  • G. P. un
  • Computer Science, Linguistics
  • 1984
It is proved that each recursively enumerable language can be generated by a context-free matrix grammar with appearance checking (using λ-rules) which contains at most: six nonterminal symbols, that
Cover Complexity of Finite Languages
It is shown for a restricted class of context-free grammars that its grammatical cover complexity measure w.r.t. a finite language L is unbounded and that the cover complexity of L can be computed from the exact complexities of a finite number of covers.
On the size of context-free grammars
One more criterion of complexity of CFG's, namely Symb (G) = = the number of all occurrences of all symbols in the rules of G, is defined and some results concerning the criteria Prod and Symb are derived.
Control Sets on Linear Grammars


On sets generated by context-free grammars
On equivalent and similar grammars oľ ALGOL-like languagєs
  • Comm. Math. Univ. Carol
  • 1964
Rice: Two Families oľ Languages Related to ALGOL
  • JACM
  • 1962
Formai Properties of Grammars
  • Handbook of Mathematical Psychology
  • 1963