geq 1$ matrices (except for the terminating) iff it has the form $[\beta] \gamma$ where

-   $\beta \in (V\cup\Sigma)^*$ can be derived in $G'$ in $k-1$ steps,

-   $\gamma \in \{S,\overline{S}\} \{A_1,\overline{A}_1\} \cdots\{A_m,\overline{A}_m\}$ and $|\gamma|_A=1$ iff $|\beta|_A=1$.

We can also show that the inverse inclusion also holds.

\[MATfinInCScb\] $\mathbf{MAT}_{{\mathit{fin}}}\subseteq \mathbf{GS}_{{\mathit{cb}}}$.

Capacity-bounded context-free grammars {#sec:nb-cfg}
======================================

In this section, we investigate capacity-bounded context-free grammars. It turns out that they are strictly between context-free languages of finite index and matrix languages of finite index. Closure properties of capacity bounded languages with respect to AFL operations are shortly discussed at the end of the section.

As a first result we show that the family of context-free languages with finite index is properly included in ${{\bf CF}}_{{\mathit{cb}}}$.

\[thm:hierarchyCapacityBounded1\] ${{\bf CF}}_{{\mathit{fin}}} \subset {{\bf CF}}_{{\mathit{cb}}}$.

Any context-free language generated by a grammar $G$ of index $k$ is also generated by the capacity-bounded grammar $(G,\kappa)$ where $\kappa$ is the capacity function constantly $k$. The properness of the inclusion follows from Example \[exa:NBLnotCF2\].

An upper bound for ${{\bf CF}}_{{\mathit{cb}}}$ is given by the inclusion ${{\bf CF}}_{{\mathit{cb}}}\subseteq {{\bf GS}}_{{\mathit{cb}}}={{\bf MAT}}_{{\mathit{fin}}}$. We can prove the properness of the inclusion by presenting a language from ${{\bf MAT}}_{{\mathit{fin}}} \setminus {{\bf CF}}_{{\mathit{cb}}}$.

$L=\{a^n b^n c^n {:}n\geq 1\} \notin \mathbf{CF}_{{\mathit{cb}}}$.

Consider a capacity-bounded context-free grammar $G=(V,\Sigma,S,R,\mathbf{1})$ such that $L \subseteq L(G)$. For $A \in V$,
geq 1 $ matrices (except for the terminating) iff it has the form $ [ \beta ] \gamma$ where 

 -    $ \beta \in (V\cup\Sigma)^*$ can be derived in $ G'$ in $ k-1 $ footstep, 

 -    $ \gamma \in \{S,\overline{S}\ } \{A_1,\overline{A}_1\ } \cdots\{A_m,\overline{A}_m\}$ and $ |\gamma|_A=1 $ iff $ |\beta|_A=1$. 

 We can besides show that the inverse inclusion besides holds. 

 \[MATfinInCScb\ ] $ \mathbf{MAT}_{{\mathit{fin}}}\subseteq \mathbf{GS}_{{\mathit{cb}}}$. 

 capacitance - bounded context - free grammar { # sec: nb - cfg } 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 In this department, we investigate capacity - bounded context - free grammars. It turn out that they are strictly between context - detached linguistic process of finite index and matrix lyric of finite index. Closure property of capacity bounded languages with regard to AFL operations are shortly discussed at the end of the part. 

 As a first result we show that the family of context - free speech with finite index is properly included in $ { { \bf CF}}_{{\mathit{cb}}}$. 

 \[thm: hierarchyCapacityBounded1\ ] $ { { \bf CF}}_{{\mathit{fin } } } \subset { { \bf CF}}_{{\mathit{cb}}}$. 

 Any context - free language generate by a grammar $ G$ of index $ k$ is also generated by the capacity - bounded grammar $ (G,\kappa)$ where $ \kappa$ is the capacity function constantly $ k$. The properness of the inclusion follows from Example   \[exa: NBLnotCF2\ ]. 

 An upper oblige for $ { { \bf CF}}_{{\mathit{cb}}}$ is given by the inclusion $ { { \bf CF}}_{{\mathit{cb}}}\subseteq { { \bf GS}}_{{\mathit{cb}}}={{\bf MAT}}_{{\mathit{fin}}}$. We can raise the propriety of the inclusion body by presenting a language from $ { { \bf MAT}}_{{\mathit{fin } } } \setminus { { \bf CF}}_{{\mathit{cb}}}$. 

 $ L=\{a^n b^n c^n { :} n\geq 1\ } \notin \mathbf{CF}_{{\mathit{cb}}}$. 

 Consider a capacity - bounded context - free grammar $ G=(V,\Sigma, S, R,\mathbf{1})$ such that $ L \subseteq L(G)$. For $ A \in V$,
geq 1$ matrices (except for tht terminating) iff it has the fkrm $[\beta] \gamma$ where

-   $\beta \in (V\cup\Smgma)^*$ can ve derived in $G'$ in $k-1$ sgeps,

-   $\galma \in \{S,\iveroune{S}\} \{A_1,\overline{A}_1\} \cdots\{A_m,\obcrlinz{A}_n\}$ and $|\gamma|_A=1$ inf $|\beta|_A=1$.

We wan also show dhxt the inverse inclusion also holds.

\[MAEfinInCXch\] $\mathbf{MAT}_{{\matrit{fpn}}}\fubssnew \mathbf{GS}_{{\mathit{cb}}}$.

Capacity-bouhded coitext-free grammsrs {#sec:nb-cfg}
======================================

In this sectioj, we investigate capaclty-bounded xontqzt-free grammxrs. It turns out that jhey are strictly between contexg-free languages od fltite index end manrix languages of finhte indrx. Closure proiertixs od capacity bounded laiguages with respect to AFL o[exations are shortly dusxusseg at the wnd of tie aectioj.

As a first rssult we shiw that the family pf bpntext-free lznguagqs with finite index is properly included in ${{\bf CF}}_{{\mathit{cb}}}$.

\[thm:hierarxhyCapacityBounded1\] ${{\bf CF}}_{{\mathit{sin}}} \subset {{\bf CF}}_{{\mathit{cb}}}$.

Any context-free language ceneretdd yn x ggammar $G$ of index $k$ is also generated by the szpscpty-bounded grammav $(G,\kappa)$ where $\kapla$ ix the capacity functnkn constantly $k$. The oroperngss of the incltsiom follows from Example \[exa:NBOnotCF2\].

An uppvr biund for ${{\bf CF}}_{{\mathnt{cb}}}$ is giveu by tne invlusion ${{\bf CF}}_{{\mathit{cb}}}\suyseteq {{\bf GS}}_{{\mathih{cb}}}={{\bf MAT}}_{{\jxthit{fin}}}$. We can orone tve properness of the inclufion by pcesencing a lxngusge frjm ${{\bf MAT}}_{{\mwthit{nhn}}} \setminus {{\bf CF}}_{{\mwthit{eb}}}$.

$L=\{a^n b^n c^n {:}n\gee 1\} \notin \mathbf{CF}_{{\mathit{cb}}}$.

Considxc a capacity-bputdeg contexc-free nrammar $G=(V,\Sigma,F,R,\mathbf{1})$ such jhat $L \suyseteq L(G)$. For $A \pn V$,
geq 1$ matrices (except for the terminating) has form $[\beta] where - $\beta in in $k-1$ steps, $\gamma \in \{S,\overline{S}\} \cdots\{A_m,\overline{A}_m\}$ and $|\gamma|_A=1$ iff $|\beta|_A=1$. We also show that the inverse inclusion also holds. \[MATfinInCScb\] $\mathbf{MAT}_{{\mathit{fin}}}\subseteq \mathbf{GS}_{{\mathit{cb}}}$. Capacity-bounded context-free {#sec:nb-cfg} ====================================== In this section, we investigate capacity-bounded context-free grammars. It turns out they strictly context-free of finite index and matrix languages of finite index. Closure properties of capacity bounded languages with to AFL operations are shortly discussed at the of the section. As first result we show that family context-free languages finite is included in ${{\bf \[thm:hierarchyCapacityBounded1\] ${{\bf CF}}_{{\mathit{fin}}} \subset {{\bf CF}}_{{\mathit{cb}}}$. Any context-free language generated by a grammar $G$ of index $k$ also generated capacity-bounded grammar where is capacity function constantly properness of the inclusion follows from upper bound for ${{\bf CF}}_{{\mathit{cb}}}$ is given by inclusion ${{\bf {{\bf GS}}_{{\mathit{cb}}}={{\bf MAT}}_{{\mathit{fin}}}$. We can prove properness of the inclusion by presenting a language ${{\bf MAT}}_{{\mathit{fin}}} \setminus {{\bf CF}}_{{\mathit{cb}}}$. $L=\{a^n b^n c^n {:}n\geq 1\} \notin \mathbf{CF}_{{\mathit{cb}}}$. Consider a capacity-bounded $G=(V,\Sigma,S,R,\mathbf{1})$ such that $L L(G)$. For $A V$,
geq 1$ matrices (except for the teRminating) iFf it hAs tHe fOrM $[\betA] \gamMa$ where

-   $\beta \in (V\CUp\SiGma)^*$ can be derived in $G'$ in $k-1$ sTeps,

-   $\gAmMA \in \{S,\OVeRline{s}\} \{A_1,\overlINe{a}_1\} \CDotS\{A_M,\oVerLiNE{A}_M\}$ and $|\gAmmA|_A=1$ iff $|\beTa|_A=1$.

We can alSo sHoW that the inveRSe Inclusion aLso Holds.

\[MATfinINCSCb\] $\mathBf{mAT}_{{\MAthit{Fin}}}\SubseTeq \matHBf{GS}_{{\maThit{cb}}}$.

CapAcITy-bounDEd conteXT-FrEe grAmmars {#sec:nb-cfg}
======================================

In tHIs SEction, we investIgate cApACiTY-BouNdeD context-frEe GrammARs. It turNS oUT THat THey are strictlY between conTExt-Free laNgUagES of finIte inDeX And Matrix languAges Of finite iNdex. ClOSure proPErties oF capacIty BouNded LAnGuAgeS wITh rESpEct TO AFl operatiOnS aRe shoRtly DISCUsseD at The eNd of tHe section.

As a fIrsT resULt wE show That tHe faMiLy of cOntext-Free lAnGuages with finitE indEx is propeRly InCluDeD in ${{\bf cf}}_{{\mathiT{cb}}}$.

\[Thm:HierarcHyCapacITyBOuNDED1\] ${{\bF CF}}_{{\mathit{fin}}} \subset {{\Bf cf}}_{{\MaThit{cb}}}$.

AnY conteXT-fReE Language GeNerAted BY A gramMar $G$ OF iNdex $k$ is aLso genERaTeD by the cApAcity-bOuNdeD grAmmar $(g,\KappA)$ where $\Kappa$ is tHe capACity function coNStantly $k$. The prOPeRNEsS Of thE inClusion follOws fROm ExAmplE \[ExA:NBlNotCF2\].

an uppEr BOuND for ${{\bf CF}}_{{\mathit{cb}}}$ is gIvEn by thE inclUsion ${{\bf CF}}_{{\mathIt{cb}}}\subsetEQ {{\BF GS}}_{{\mathiT{cb}}}={{\bF mAt}}_{{\Mathit{fin}}}$. We can Prove The propernESs of the iNclusIon by preSenting a lANGuage froM ${{\bf mAT}}_{{\MatHit{FIN}}} \sEtminus {{\bf CF}}_{{\maTHIt{cb}}}$.

$l=\{a^N b^n c^n {:}n\gEq 1\} \nOtin \matHbf{cF}_{{\mAthIt{cB}}}$.

COnsider a cApacity-bOuNdEd CoNteXt-freE Grammar $G=(v,\SIgmA,S,r,\maThbf{1})$ sUCh that $l \subsEteq l(G)$. foR $a \in v$,
geq 1$ matrices (except fo r the term inati ng)  if fit h as t he form $[\bet a ] \g amma$ where

-   $\bet a \in  ( V \cup \ Si gma)^ *$ canb ed e riv ed  i n $ G' $  i n $k- 1$steps,
-   $\gam ma\i n \{S,\overl i ne {S}\} \{A_ 1,\ overline{A}_ 1\}  \cdot s\ {A_ m ,\ove rli ne{A} _m\}$a nd $|\ gamma|_A= 1$ iff $| \ beta|_A = 1 $. 

We  can also show th a tt he inverse inc lusion  a l so h old s.
\[MATfinI nC Scb\] $\mathb f {M A T } _{{ \ mathit{fin}}} \subseteq \ m ath bf{GS} _{ {\m a thit{c b}}}$ .Cap acity-bound ed c ontext-fr ee gra m mars {# s ec:nb-c fg}
== === === ==== = == == === == = === = == === = === ==

In t hi ssecti on,w e i nves tig atecapac ity-bounded c ont ext- f ree  gram mars.  Ittu rns o ut tha t the yare strictly be twee n context -fr ee  la ng uages of fin ite  in dex and  matrix lan gu a g e sof finite index. C lo s u re  propert ies of ca pa c ity boun de d l angu a g es wi th r e sp ect to A FL ope r at io ns aresh ortlydi scu sse d att he e nd ofthe sect ion.As a first res u lt we show th a tt h ef amil y o f context-f reel angu ages wi thf inite  inde xi sp roperly included in  $ {{\bfCF}}_ {{\mathit{cb} }}$.

\[th m : h ierarchy Capa c it y Bounded1\] ${{ \bf C F}}_{{\mat h it{fin}} } \su bset {{\ bf CF}}_{ { \ mathit{c b}} }$. 

A nyc o nt ext-free lang u a ge g en eratedbya gramm ar$G$  of  in de x $k$ isalso gen er at ed  b y t he ca p acity-bo un ded  g ram mar $ ( G,\kap pa)$wher e$\ k app a$ is t h ec a paci ty  f unct ion  c onsta ntly $k$ . The p roperness  of thein cl usion f ollows from E xa mple \[exa :N BLn otCF2\ ] . 

An upp er bound for ${{\bf CF} } _{{\mat hit {cb}} }$ i s given b y t he inc lus i on ${{ \bf CF }}_{{ \m ath i t {cb}} } \ su bse te q {{\bf GS } } _{{ \math it {cb} }}={{\b f MAT}}_{{\mathit{ f in} }}$. We can p rov e th e pr ope r ne s s o ft hei n clusion by pres enting a l an g ua ge from ${ { \bf  M AT}}_{{ \mathit {fin} } } \setm inus {{\b f CF}}_{{ \m athi t { cb} }}$.

$L=\ {a^n b^n  c^n {:}n \ geq 1 \ }\noti n \ mathbf {C F}_ {{\ma thit{c b }}} $.

C onside ra capa city- bo unded co ntext-free grammar $G=( V,\Sig ma,S, R,\ mathbf{1} )$s uch  that $L\sub seteq L(G) $.For  $A \ inV $,
geq 1$_matrices (except_for the terminating) iff_it has_the_form $[\beta]_\gamma$_where

-  _$\beta \in (V\cup\Sigma)^*$_can be derived in_$G'$ in $k-1$_steps,

-_  $\gamma \in \{S,\overline{S}\} \{A_1,\overline{A}_1\} \cdots\{A_m,\overline{A}_m\}$ and $|\gamma|_A=1$ iff $|\beta|_A=1$.

We can also show_that_the inverse_inclusion_also_holds.

\[MATfinInCScb\] $\mathbf{MAT}_{{\mathit{fin}}}\subseteq \mathbf{GS}_{{\mathit{cb}}}$.

Capacity-bounded context-free grammars_{#sec:nb-cfg}
======================================

In this section, we investigate_capacity-bounded context-free_grammars. It turns out that they are strictly_between_context-free languages of_finite index and matrix languages of finite index. Closure_properties of capacity bounded languages with_respect to AFL_operations_are_shortly discussed at the_end of the section.

As a first_result we show that the family_of context-free languages with finite index is_properly included in ${{\bf CF}}_{{\mathit{cb}}}$.

\[thm:hierarchyCapacityBounded1\] ${{\bf_CF}}_{{\mathit{fin}}} \subset {{\bf CF}}_{{\mathit{cb}}}$.

Any context-free_language generated_by a grammar $G$ of_index $k$ is_also generated_by the capacity-bounded_grammar $(G,\kappa)$ where $\kappa$ is the_capacity function constantly_$k$. The properness of the inclusion_follows_from Example \[exa:NBLnotCF2\].

An upper_bound_for_${{\bf CF}}_{{\mathit{cb}}}$_is given by_the_inclusion ${{\bf_CF}}_{{\mathit{cb}}}\subseteq_{{\bf GS}}_{{\mathit{cb}}}={{\bf MAT}}_{{\mathit{fin}}}$. We can prove_the_properness of the inclusion by presenting a_language from ${{\bf MAT}}_{{\mathit{fin}}}_\setminus_{{\bf CF}}_{{\mathit{cb}}}$.

$L=\{a^n b^n c^n_{:}n\geq 1\} \notin \mathbf{CF}_{{\mathit{cb}}}$.

Consider a_capacity-bounded context-free grammar $G=(V,\Sigma,S,R,\mathbf{1})$ such that_$L \subseteq_L(G)$. For_$A \in V$,