You are here
Homemetalinear language
Primary tabs
metalinear language
Recall that a linear grammar is a formal grammar $G=(\Sigma,N,P,\sigma)$ whose productions are of the form $A\to x$, where $A$ is a terminal symbol, and $x$ is a word over $\Sigma$, with at most one occurrence of a nonterminal symbol.
The concept of a linear grammar can be generalized: define a $k$linear grammar as a formal grammar $G=(\Sigma,N,P,\sigma)$ such that every production in $P$ has one of the three following forms:

$A\to u$,

$A\to uBv$,

$\sigma\to W$,
where $A,B$ are nonterminal symbols, $u,v$ are terminal words, and $W$ is a word over $\Sigma$ with no more than $k$ occurrences of nonterminal symbols, and none of which is the start symbol $\sigma$. Any $k$linear grammar is contextfree.
A language is said to be $k$linear if it can be generated by a $k$linear grammar. Note that a language is $1$linear iff it is linear.
A language is said to be metalinear if it is $k$linear for some positive integer $k$. In other words, if $\mathscr{L}(k)$ denotes the family of $k$linear languages, then the family $\mathscr{L}(\infty)$ of metalinear langauges is
$\mathscr{L}(\infty)=\bigcup\{\mathscr{L}(k)\mid k\geq 1\}.$ 
It is easy to see we have the following inclusions
$\mathscr{R}\subseteq\mathscr{L}(k)\subseteq\cdots\subseteq\mathscr{L}(k)% \subseteq\cdots\subseteq\mathscr{L}(\infty)\subseteq\mathscr{F}$ 
where $\mathscr{R}$ and $\mathscr{F}$ are the families of regular and contextfree languages respectively.
In fact, it can be shown that all of the inclusions above are strict, providing us with an infinite chain of families of languages between the regular languages and the contextfree languages.
References
 1 A. Salomaa, Formal Languages, Academic Press, New York (1973).
Mathematics Subject Classification
68Q45 no label found68Q70 no label found Forums
 Planetary Bugs
 HS/Secondary
 University/Tertiary
 Graduate/Advanced
 Industry/Practice
 Research Topics
 LaTeX help
 Math Comptetitions
 Math History
 Math Humor
 PlanetMath Comments
 PlanetMath System Updates and News
 PlanetMath help
 PlanetMath.ORG
 Strategic Communications Development
 The Math Pub
 Testing messages (ignore)
 Other useful stuff
 Corrections