Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword
Like this
9Activity
0 of .
Results for:
No results containing your search query
P. 1
Teoría de la Computación: Gramática libre de contexto

Teoría de la Computación: Gramática libre de contexto

Ratings: (0)|Views: 1,499|Likes:

More info:

Published by: Antonio Acosta Murillo on Jun 16, 2012
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

10/03/2013

pdf

text

original

 
Teoría de la Computación1 de diciembre de 2009Antonio Acosta Murillo Ing. En Sistemas Computacionales
Página 1
 
Contenido
 
Teoría de la Computación1 de diciembre de 2009Antonio Acosta Murillo Ing. En Sistemas Computacionales
Página 2
 
Gramática libre de contexto
gramática libre de contexto
es unagramática formalen laque cada regla de producción es de la forma:
V →
 
 Donde V es unsímbolo no terminaly
es una cadena de terminales y/o no terminales. Eltérmino
libre de contexto 
se refiere al hecho de que el no terminal V puede siempre sersustituido por
sin tener en cuenta el contexto en el que ocurra. Unlenguaje formaleslibre de contextosi hay una gramática libre de contexto que lo genera.Las gramáticas libres de contexto permiten describir la mayoría de loslenguajes deprogramación,de hecho, la sintaxis de la mayoría de lenguajes de programación está definidamediante gramáticas libres de contexto. Por otro lado, estas gramáticas son suficientementesimples como para permitir el diseño de eficientes algoritmos de análisis sintáctico que, parauna cadena de caracteres dada determinen como puede ser generada desde la gramática.Losanalizadores LLyLRtratan restringidos subconjuntos de gramáticas libres de contexto. La notación más frecuentemente utilizada para expresar gramáticas libres de contexto eslaforma Backus-Naur. 
Definición formal
Así como cualquiergramática formal,una gramática libre de contexto puede ser definidamediante la 4-tupla:
G
= (
,
n
,
P
,
S
)
donde;
 
es un conjunto finito de terminales
 
n
es un conjunto finito de no terminales
 
P
es un conjunto finito de producciones
el denominado Símbolo Inicial
los elementos de
P
son de la forma
 
Teoría de la Computación1 de diciembre de 2009Antonio Acosta Murillo Ing. En Sistemas Computacionales
Página 3
 
Ejemplos
Ejemplo 1
Una simple gramática libre de contexto es
S → aSb | ε
 Donde | es un
o lógico 
y es usado para
separar múltiples opciones para el mismo no terminal, ε
indica una cadena vacía. Esta gramática genera el lenguaje noregular.
Ejemplo 2
Aquí hay una gramática libre de contexto para expresiones enteras algebraicas sintácticamentecorrectas sobre las variables
,
y
:
S → x | y | z | S + S | S
- S | S *S | S/S | (S)Generaría, por ejemplo, la cadena
(x + y) *x - z *y / (x + x)
 
Ejemplo 3
Una gramática libre de contexto para un lenguaje consistente en todas las cadenas que sepueden formar con las letras
y
, habiendo un número diferente de una que de otra, sería:
S → U | 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 lascadenas con más letras a, y V todas las cadenas con más letras b.
Ejemplo 4
Otro ejemplo para un lenguaje es . No es unlenguajeregular,pero puede ser generado por la siguiente gramática libre de contexto.
S → aSc | B
 
B → bBc | E
 
Otros ejemplos
Las gramáticas libres de contexto no están limitadas a lenguajes matemáticos formales.La gramática deLojban,un lenguaje artificial hablado con gran capacidad expresiva, estambién libre de contexto y no ambiguo.El lingüista indioPáninidescribió elsánscritousando una gramática libre de contexto. Recientemente se ha sugerido que una clase de poesíaTamilllamadaVenpautiliza principalmente una gramática libre de contexto.

Activity (9)

You've already reviewed this. Edit your review.
1 thousand reads
1 hundred reads
shakiher liked this
shakiher liked this
Julieta Delgado liked this
IleanaPaty liked this
Edith Cano liked this
David Sancas liked this

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->