2. Es una gramática formal en la que cada regla de producción es de
la forma:
V→w
Gramática de Donde V es un símbolo no terminal y w es una cadena de
terminales y/o no terminales. El término libre de contexto se
Contexto refiere al hecho de que el no terminal V puede siempre ser
sustituido por w sin tener en cuenta el contexto en el que ocurra.
Libre Un lenguaje formal es libre de contexto si hay una gramática libre
de contexto que lo genera.
Las gramáticas libres de contexto permiten describir la mayoría de
los lenguajes de programación, de hecho, la síntaxis de la mayoría
de lenguajes de programación está definida mediante gramáticas
libres de contexto.
3. Un lenguaje regular es un tipo de lenguaje formal que satisface las siguientes
propiedades:
Los lenguajes más sencillos que se considerarán son los lenguajes regulares, es decir,
los que se pueden generar a partir de los lenguajes básicos, con la aplicación de las
operaciones de unión, concatenación y * de Kleene un número finito de veces.
Puede ser reconocido por:
un autómata finito determinista
un autómata finito no determinista
Lenguaje un autómata de pila
regular un autómata finito alterno
una máquina de Turing de solo lectura
Es generado por:
una gramática regular
una gramática de prefijos
Es descrito por:
una expresión regular
4. En informática una gramática regular es una gramática formal (N,
Σ, P, S) que puede ser clasificada como regular izquierda o regular
derecha. Las gramáticas regulares sólo pueden generar a los
Gramática lenguajes regulares de manera similar a los autómatas finitos y las
expresiones regulares.
regular Dos gramáticas regulares que generan el mismo lenguaje regular
se denominan equivalentes. Toda gramática regular es una
gramática libre de contexto.
5. Una gramática regular derecha es aquella cuyas reglas de producción P
son de la siguiente forma:
A → a, donde A es un símbolo no-terminal en N y a uno terminal en Σ
A → aB, donde A y B pertenecen a N y a pertenece a Σ
A → ε, donde A pertenece a N.
Gramática
regular Análogamente, en una gramática regular izquierda, las reglas son de la
siguiente forma:
A → a, donde A es un símbolo no-terminal en N y a uno terminal en Σ
A → Ba, donde A y B pertenecen a N y a pertenece a Σ
A → ε, donde A pertenece a N.
6. Un lenguaje formal es libre de contexto si hay una gramática libre de
contexto que lo genera.
Propiedades de los lenguajes libres de contexto:
Lenguajes Una de las definiciones alternativas y equivalentes de lenguaje
libre de contexto emplea autómatas no deterministas: un lenguaje
libres de es libre de contexto si puede ser aceptado por ese autómata.
Un lenguaje puede ser también modelado como un conjunto de
contexto todas las secuencias de terminales aceptadas por la gramática.
Este modelo ayuda a entender las operaciones de conjuntos sobre
lenguajes.
La unión y concatenación de dos lenguajes libres de contexto es
también libre de contexto. La intersección no tiene por que serlo.
El inverso de un lenguaje libre de contexto es también libre de
contexto, pero el complemento no tiene por que serlo.