LENGUAJES FORMALES

Y TEORA DE
AUTMATAS

G rupo 2

Low enskiM atos 10-1019

Definiciones sobre gramticas 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.
https://es.wikipedia.org/wiki/Gram%C3%A1tica_libre_de_contexto
Definiciones sobre gramticas de contexto
libre

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.
https://es.wikipedia.org/wiki/Gram%C3%A1tica_libre_de_contexto
Definiciones sobre gramticas de contexto
libre

La notacin ms frecuentemente utilizada para expresar gramticas

libres de contexto es la forma Backus-Naur.

https://es.wikipedia.org/wiki/Gram%C3%A1tica_libre_de_contexto
Gramticas de contexto libre, Definicin
formal

As como cualquier gramtica formal, una gramtica libre de contexto

puede ser definida mediante la 4-tupla:

G = (Vt, Vn, P, S) donde

Vt es un conjunto finito de terminales

Vn es un conjunto finito de no terminales

P es un conjunto finito de producciones

S E Vn el denominado Simbolo Inicial

https://es.wikipedia.org/wiki/Gram%C3%A1tica_libre_de_contexto
Los elementos de P son de la forma
Gramticas de contexto libre, Ejemplo 3

Una gramtica libre de contexto que representa la cadena del lenguaje

L1 = { wcwr / w E {a,b}* }
G1 = ({A}, {a, b, c}, P1, S1).

P1 contiene las siguientes producciones:

S1 A
A aAa
A bAb
Ac
(La exposicin de Ayer)
Gramticas de contexto libre, 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

{an bn : n >= 0}

https://es.wikipedia.org/wiki/Gram%C3%A1tica_libre_de_contexto
Gramticas de contexto libre, Ejemplo 2

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 |

https://es.wikipedia.org/wiki/Gram%C3%A1tica_libre_de_contexto
rboles de derivacin

Un rbol de derivacin permite mostrar grficamente cmo se puede

derivar cualquier cadena de un lenguaje a partir del smbolo distinguido
de una gramtica que genera ese lenguaje.

Un rbol es un conjunto de puntos, llamados nodos, unidos por lneas,

llamadas arcos. Un arco conecta dos nodos distintos.

http://teodelacomp.blogspot.com/2011/03/arboles-de-derivacion.html
rboles de derivacin

Para ser un rbol un conjunto de nodos y arcos debe satisfacer ciertas

propiedades:

Hay un nico nodo distinguido, llamado raz (se dibuja en la parte

superior) que no tiene arcos incidentes.

Todo nodo c excepto el nodo raz est conectado con un arco a otro
nodo k, llamado el padre de c (c es el hijo de k). El padre de un
nodo, se dibuja por encima del nodo.

Todos los nodos estn conectados al nodo raz mediante un nico

camino.
http://teodelacomp.blogspot.com/2011/03/arboles-de-derivacion.html
Los nodos que no tienen hijos se denominan hojas, el resto de los
rboles de derivacin, propiedades

Sea G = (N,T,S,P) una gramtica libre de contexto, sea una variable.

Diremos que un rbol TA = (N,E) etiquetado es un rbol de derivacin
asociado a G si verifica las propiedades siguientes:

La raz del rbol es un smbolo no terminal

cada hoja corresponde a un smbolo terminal o .
cada nodo interior corresponde a un smbolo no terminal.

Para cada cadena del lenguaje generado por una gramtica es posible
construir (al menos) un rbol de derivacin, en el cual cada hoja tiene
como rtulo uno de los smbolos de la cadena.
http://teodelacomp.blogspot.com/2011/03/arboles-de-derivacion.html
rboles de derivacin

https://www.youtube.com/watch?v=qkJQpTzYPqs
rboles de derivacin, Derivacin a la
Izquierda
Ejemplo 1

Se sustituye siempre la hoja no terminal que se

encuentra ms a la izquierda

S ASB
A b
aaA aaBB
S d
A aA
B dcd
https://www.youtube.com/watch?v=qkJQpTzYPqs
rboles de derivacin, Derivacin a la
Izquierda
Ejemplo 2

Se sustituye siempre la hoja no terminal que se

encuentra ms a la derecha

S ASB
A b
aaA aaBB
S d
A aA
B dcd
https://www.youtube.com/watch?v=qkJQpTzYPqs
Otras formas de representacin de GCL

Derivacin escrita a la Izquierda, Ejemplo 1

1. S ASB
2. A b
3. aaA
aaBB
4. S d
5. A aA
6. B dcd

https://www.youtube.com/watch?v=qkJQpTzYPqs
Otras formas de representacin de GCL

Derivacin escrita a la Derecha, Ejemplo 2

1. S ASB
2. A b
3. aaA
aaBB
4. S d
5. A aA
6. B dcd

https://www.youtube.com/watch?v=qkJQpTzYPqs
gramtica

https://www.youtube.com/watch?v=a4ZLHsb4al0
5 Ejercicios a resolver

1. Representar una GCL en la pizarra con reglas de produccin

funcionales.

2. Derivar la GCL anterior con Derivacin a la Izquierda Grfica.

3. Derivar la GCL anterior con Derivacin a la Derecha Grfica.

4. Derivar la GCL anterior con Derivacin a la Izquierda textual.

5. Derivar la GCL anterior con Derivacin a la Derecha textual.

(El mandato de la Prof. Rina Familia)
Gracias

(De Google Images)