A connection between descriptional complexity of context-free grammars and grammar form theory

1987 ◽  
pp. 59-74
Author(s):  
Erzsébet Csuhaj-Varjú
Keyword(s):  
Descriptional Complexity ◽  
Form Theory ◽  
Context Free ◽  
Grammar Form ◽  
Context Free Grammars

ON THE DESCRIPTIONAL COMPLEXITY OF METALINEAR CD GRAMMAR SYSTEMS

2005 ◽  
Vol 16 (05) ◽  
pp. 1011-1025
Author(s):  
BETTINA SUNCKEL
Keyword(s):  
Recursive Function ◽  
Trade Off ◽  
Descriptional Complexity ◽  
Grammar System ◽  
Trade Offs ◽  
Grammar Systems ◽  
Context Free ◽  
Context Free Grammars

Metalinear CD grammar systems are context-free CD grammar systems where each component consists of metalinear productions. The maximal number of nonterminals in all starting productions is referred to as the width of a CD grammar system. It is shown that between the class of CD grammar systems of width m + 1 and of width m there are savings concerning the size of the grammar system not bounded by any recursive function. This is called a non-recursive trade-off. Furthermore, it is proven that there are non-recursive trade-offs between the class of metalinear CD grammar systems of width m and the class of (2m - 1)-linear context-free grammars. In addition, some decidability results are presented.

scholarly journals GENERATING ALL CIRCULAR SHIFTS BY CONTEXT-FREE GRAMMARS IN GREIBACH NORMAL FORM

2007 ◽  
Vol 18 (06) ◽  
pp. 1139-1149 ◽  
Author(s):  
PETER R. J. ASVELD
Keyword(s):  
Normal Form ◽  
Complexity Measures ◽  
Descriptional Complexity ◽  
Low Degree ◽  
Cyclic Shifts ◽  
Low Degree Polynomials ◽  
Context Free ◽  
Greibach Normal Form ◽  
Context Free Grammars

For each alphabet Σn = {a1,a2,…,an}, linearly ordered by a1 < a2 < ⋯ < an, let Cn be the language of circular or cyclic shifts over Σn, i.e., Cn = {a1a2 ⋯ an-1an, a2a3 ⋯ ana1,…,ana1 ⋯ an-2an-1}. We study a few families of context-free grammars Gn (n ≥1) in Greibach normal form such that Gn generates Cn. The members of these grammar families are investigated with respect to the following descriptional complexity measures: the number of nonterminals ν(n), the number of rules π(n) and the number of leftmost derivations δ(n) of Gn. As in the case of Chomsky normal form, these ν, π and δ are functions bounded by low-degree polynomials. However, the question whether there exists a family of grammars that is minimal w. r. t. all these measures remains open.

Sign in / Sign up

Export Citation Format

Share Document