GRAMTICA LIBRE DE CONTEXTO

En lingstica e informtica, una gramtica libre de contexto (o de contexto libre) es una

gramtica formal en la que cada regla de produccin es de la forma:
Vw
Donde V es un smbolo no terminal y w es una cadena de terminales y/o no terminales. El
trmino libre de contexto se 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. Un lenguaje formal es
libre de contexto si hay una gramtica libre de contexto que lo genera.
Las gramticas libres de contexto permiten describir la mayora de los lenguajes de
programacin, de hecho, la sintaxis de la mayora de lenguajes de programacin est
definida mediante gramticas libres de contexto. Por otro lado, estas gramticas son
suficientemente simples como para permitir el diseo de eficientes algoritmos de anlisis
sintctico que, para una cadena de caracteres dada determinen cmo puede ser generada
desde la gramtica. Los analizadores LL y LR tratan restringidos subconjuntos de
gramticas libres de contexto.
La notacin ms frecuentemente utilizada para expresar gramticas libres de contexto es la
forma Backus-Naur.
Ejemplo 1
Una simple gramtica libre de contexto es S aSb |
Donde | es un o lgico y es usado para separar mltiples opciones para el mismo no
terminal, indica una cadena vaca. Esta gramtica genera el lenguaje no regular \{a^n
b^n: n \ge 0 \}.
Ejemplo 2
Aqu hay una gramtica libre de contexto para expresiones enteras algebraicas
sintcticamente correctas sobre las variables x, y y z:
S x | y | z | S + S | S - S | S *S | S/S | (S)
Generara, por ejemplo, la cadena (x + y) *x - z *y / (x + x)
Ejemplo 3
Una gramtica libre de contexto para un lenguaje consistente en todas las cadenas que se
pueden formar con las letras a y b, habiendo un nmero diferente de una que de otra, sera:

SU|V
U TaU | TaT
V TbV | TbT
T aTbT | bTaT |
T genera todas las cadenas con la misma cantidad de letras a que b, U genera todas las
cadenas con ms letras a, y V todas las cadenas con ms letras b.
EXPRESIONES
SEMITICA

ALGEBRAICAS

INFIJAS,

PREFIJAS,

POSTFIJAS.

DE

Notaciones infija y postfija

Dada una cierta expresin algebraica, existen bsicamente tres formas diferentes de
escribirla, notacin prefija, notacin infija y notacin postfija, en funcin de la situacin
concreta en la que se pongan los operadores respecto de los operando. As la expresin
algebraica que representa la suma entre un cierto valor A y otro B se podra poner de la
siguiente forma:
+ A B Notacin prefija
A + B Notacin infija
A B + Notacin postfija
La notacin utilizada habitualmente es la infija.
Si observamos un ejemplo adicional de notacin infija en la que se utilicen ms de un
operador podemos observar que para realizar correctamente la operacin tenemos que
conocer una informacin adicional acerca de los operadores que aparezcan: La prioridad.
Dependiendo de la prioridad del operador, la operacin se realizar antes o despus, dando
como consecuencia un resultado distinto si variamos la prioridad de los operadores. As, en
A + B * C, se realizar primero la multiplicacin y a continuacin la suma. Si deseamos
variar la prioridad, y en consecuencia el orden de evaluacin de las operaciones, hay que
aadir una informacin adicional que son los parntesis. Si en el ejemplo deseamos realizar
primero la suma deberemos incluirla entre parntesis (A + B) * C.

Esta inclusin de parntesis no es necesaria en notacin prefija o postfija. En nuestro caso

nos centraremos en las notaciones infijas (la notacin habitual) y la postfija (ms
conveniente para uso interno en el ordenador.)

Notacin infija

Notacin postfija

A+B*

CABC*+

(A + B) *

CAB+C*

NOTACIN PREFIJAS
Prefija:
La Expresin o Notacin Prefija nos indica que el operador va antes de los operando sus
caractersticas principales son:

Los operando conservan el mismo orden que la notacin infija equivalente.

No requiere de parntesis para indicar el orden de precedencia de operadores ya que

l es una operacin.

Se evala de izquierda a derecha hasta que encontrmosle primer operador seguido

inmediatamente de un par de operando.

Se evala la expresin binaria y el resultado se cambia como un nuevo operando. Se

repite este hasta que nos quede un solo resultado.
Notacin prefija: El orden es operador, primer operando, segundo operando