UNIVERSIDAD TCNICA DEL NORTE

FICA CISIC

GRAMTICAS PROPIAS
GRAMTICAS SIN CICLOS

BYRON ROSERO DAZ SEXTO A

INTRODUCCIN
Una gramtica es propia cuando son libres del contexto. Una gramtica libre de contexto es una cudrupla de:

Donde,

GRAMTICAS PROPIAS
Es decir, la definicin de las gramticas libres de contexto nos da mucha libertad para el sistema de producciones.

GRAMTICAS PROPIAS
Forma Normal de Chomsky

GRAMTICAS PROPIAS
Una gramtica est en forma normal de Chomsky (FNC):

GRAMTICAS PROPIAS
La tercera condicin es necesaria para poder derivar . Si $ aparece a la derecha, primero habr que sustituir las producciones implicadas adecuadamente como lo vimos en la conversin de una gramtica lineal por la derecha a una gramtica lineal por la izquierda. Observamos: la primera condicin garantiza que todas las variables son necesarias para derivar por lo menos una sentencia. la segunda condicin garantiza que un rbol de derivacin es un rbol binario.

GRAMTICAS PROPIAS
Obviamente cualquier gramtica en forma normal de Chomsky es una gramtica libre de contexto que se verifica directamente analizando la forma de producciones permitidas. Pero tambin es valido la otra direccin: para cualquier lenguaje libre de contexto existe una gramtica en forma normal de Chomsky, que genera el mismo lenguaje.

GRAMTICAS PROPIAS

GRAMTICAS PROPIAS
Lema de bombeo para lenguajes libres de contexto.