Académique Documents
Professionnel Documents
Culture Documents
Tema 3: Fundamentos de la
Teora de Gramticas Formales
Gramtica
Se define como:
un mtodo para la
generacin de palabras de
un lenguaje a partir de un
alfabeto.
Teora de Autmatas y Lenguajes Formales
Se denominan formales
porque se centran en los
estudios de los lenguajes
formales.
Tema 3: Fundamentos de la
Teora de Gramticas Formales
conjunto de producciones :
Reglas morfolgicas :
<identificador> ::= x
<identificador> ::= y
<identificador> ::= z
<nmero> ::= 2
Teora de Autmatas y Lenguajes Formales
x=
y+2*z
Tema 3: Fundamentos de la
Teora de Gramticas Formales
Tema 3: Fundamentos de la
Teora de Gramticas Formales
3.2 Concepto de
gramtica
formal
oduccin o regla
:=y):
Derivacin directa v
w:
aplicacin de una
produccin (x ::= y) a una
palabra v para convertirla en
otra w donde v=zxu y w=zyu
(v, w, z, u *).
Se cumple que para cada
produccin x::=y existe una
derivacin directa (haciendo
z=u=): x y
Derivacin v * w:
Tema 3: Fundamentos de la
Teora de Gramticas Formales
3.2 Concepto de
gramtica
formal
ongitud de la
erivacin:
Derivacin ms a Derivacin ms a
la izquierda:
la derecha:
nmero de
derivaciones que hay
que aplicar para
obtener la palabra.
Se utiliza en cada
Se utiliza en cada
derivacin directa la
derivacin directa la
produccin aplicada a
produccin aplicada
los smbolos ms a la
los smbolos ms a l
izquierda de la
derecha de la palabra
palabra.
Tema 3: Fundamentos de la
Teora de Gramticas Formales
3.2 Concepto de
gramtica
formal
Gramtica Formal
Se denomina gramtica formal a la cudrupla
G = ( T, N, S, P)
T, alfabeto de smbolos terminales
N, alfabeto de smbolos no terminales
S N, es el axioma o smbolo inicial
P es un conjunto finito de reglas de produccin de la forma
u ::=
v, donde u + y v *.
Se verifica adems que:
T N =
el alfabeto es = T N
Tema 3: Fundamentos de la
Teora de Gramticas Formales
3.2 Concepto de
gramtica
formal
Tema 3: Fundamentos de la
Teora de Gramticas Formales
3.2 Concepto de
gramtica
formal
Formas sentenciales
y sentencias
Considerando la gramtica
anterior, las siguientes son
formas sentenciales : NCC, NC2,
120
S = N NC NCC
S = N NC NCC NC2
S = N NC NCC CCC
1CC 12C 120
Tema 3: Fundamentos de la
Teora de Gramticas Formales
3.2 Concepto de
gramtica
formal
Sea
una gramtica = (T,N, S, P). Se llama lenguaje
asociado
a la G, o lenguaje generado por G, o
G
lenguaje
descrito por G, al conjunto :
L(G) = { x / S * x and x T* }
Conjunto de todas las sentencias de la gramtica
la que la teoraBNF,
proporciona
una
forma dejunto con
Ya
de gramticas
formales
(Chomsky),
notacin
esta
describir
lenguajes,
metalenguaje
(lenguaje
simbologa
para describir
se lenguajes).
considera como
un