Gramatica matricial

Una gramática matricial es una gramática formal en la que en lugar de producciones individuales, las producciones se agrupan en secuencias finitas. Una producción no puede aplicarse por separado, debe aplicarse en secuencia. En la aplicación de dicha secuencia de producciones, la reescritura se realiza de acuerdo con cada producción en secuencia, la primera, la segunda, etc. hasta que la última producción se haya utilizado para la reescritura. Las secuencias se conocen como matrices.

La gramática matricial es una extensión de la gramática libre de contexto y una instancia de una gramática controlada.

Definición formal

Una gramática matricial es un cuádruplo ordenado

Dónde

• $V_N$ es un conjunto finito de no terminales
• $V_T$ es un conjunto finito de terminales
• $X_0$ es un elemento especial de $V_N$, viz. el símbolo inicial
• $M$ es un conjunto finito de secuencias no vacías cuyos elementos son pares ordenados

$(P,Q),P\in W(V)V_{N}W(V),Q\in W(V),V=V_N\cup V_T.$

Los pares se llaman producciones, escritas como . Las secuencias se llaman matrices y se pueden escribir como

Sea $F$ el conjunto de todas las producciones que aparecen en las matrices $m$ de una gramática matricial $G$. Entonces la gramática matricial $G$ es de tipo-$i,i=0,1,2,3$, longitud creciente, lineal, $\lambda$-free, libre del contexto o sensible al contexto si y solo si la gramática $G_1=(V_N,V_T,X_0,F)$ tiene la siguiente propiedad.

Para una gramática matricial $G$, una relación binaria ${\Rightarrow }_G$ es definida; también representado como $\Rightarrow$. Para cualquier $P,Q\in W(V)$, $P\Rightarrow Q$ contiene si y solo si existe un número entero $r\ge 1$ de tal manera que las palabras

${\alpha }_1,,\dots ,{\alpha }_{r+1},P_1,\dots ,P_r,R_1,\dots ,R_r,,R^1,\dots ,R^r$

sobre V existen y

• ${\alpha }_i=P$ y ${\alpha }_{r+1}=Q$
• $m$ es una de las matrices de $G$
• ${\alpha }_i=R_i{P}_i{R}^i$ y ${\alpha }_{i+1}=R_i{Q}_i{R}^i.$

Si se cumplen las condiciones anteriores, también se dice que $P\Rightarrow Q$ sostiene con $(m,R_1)$ como las especificaciones .

Sea ${\Rightarrow }^{*}$ el cierre transitivo reflexivo de la relación $\Rightarrow$. Entonces, el lenguaje generado por la gramática de la matriz $G$ viene dado por:

$L(G)=\{P\in W(V_T)|X_0{\Rightarrow }^{*}P\}.$

Ejemplo

Considerar la gramática matricial

$G=(\{S,X,Y\},\{a,b,c\},S,M)$

donde $M$ es una colección que contiene las siguientes matrices:

$[S\to XY],[X\to aXb,Y\to cY],[X\to ab,Y\to c]$

Estas matrices, que contienen solo reglas "libres del contexto" generan el lenguaje "sensible al contexto"

$L=\{a^n{b}^n{c}^n|n\ge 1\}.$

Este ejemplo se puede encontrar en las páginas 8 y 9 de "Ábrahám, S. Some questions of language theory".

Propiedades

Sea $\mathrm{M}\mathrm{A}\mathrm{T}{\phantom{A}}^{\mathrm{\lambda }}$ la clase de lenguajes producidos por gramáticas matriciales, y Plantilla:Math la clase de lenguajes producidos por $\lambda$-free gramáticas matriciales.

• Trivialmente, Plantilla:Math está incluido en $\mathrm{M}\mathrm{A}\mathrm{T}{\phantom{A}}^{\mathrm{\lambda }}$.
• Todos los lenguajes libres del contexto están en Plantilla:Math,y todos los lenguajes en $\mathrm{M}\mathrm{A}\mathrm{T}{\phantom{A}}^{\mathrm{\lambda }}$ son recursivamente enumerable.
• Plantilla:Math está cerrado debajo unión, concatenatión, intersectión con lenguajes regulares y permutación.
• Todos los lenguajes en Plantilla:Math puede ser producido por un gramática sensible al contexto.
• Existe un lenguaje sensible al contexto que no pertenece a $\mathrm{M}\mathrm{A}\mathrm{T}{\phantom{A}}^{\mathrm{\lambda }}$.
• Cada lenguaje producido por una gramática matricial con un solo símbolo de terminal es regular.

Problemas abiertos

No se sabe si existen lenguajes en $\mathrm{M}\mathrm{A}\mathrm{T}{\phantom{A}}^{\mathrm{\lambda }}$ que no están en Plantilla:Math, y tampoco se sabe si $\mathrm{M}\mathrm{A}\mathrm{T}{\phantom{A}}^{\mathrm{\lambda }}$ contiene lenguajes que no son contextuales.