INSTITUTOPOLITECNICO NACIONAL

ESCUELA SUPERIOR DE INGENIERIA MECANICA Y ELECTRICA

UNIDAD CULHUACAN
MATERIA: TEORIA DE AUTOMATAS
PROFRA.: GUARDIAN SOTO BEATRIZ
ALUMNOS: ESPARZA MEDEL CARLOS
RUIZ RODRIGUEZ ROSARIO
TEMA: GRAMATICAS FORMALES

Tema 3: Fundamentos de la
Teora de Gramticas Formales

3.1 Concepto bsico de

Gramtica. Ejemplos

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

La estructura de las frases

y de las palabras de un
lenguaje.

3.1 Concepto bsico de

Gramtica. Ejemplos
Para generar las palabras se utilizan
las derivaciones.

Se denominan formales
porque se centran en los
estudios de los lenguajes
formales.

.son aquellos que estn definidos a

partir de reglas preestablecidas.

Tema 3: Fundamentos de la
Teora de Gramticas Formales

3.1 Concepto bsico de

Gramtica. Ejemplos

Ejemplo: consideremos la instruccin de cualquier lenguaje

con:

conjunto de producciones :

<instruccin> ::= <asignacin>

<asignacin> ::=
<identificador>=<expresin>
<expresin> ::= <sumando>
<expresin> ::= <sumando>+<expresin>
<sumando> ::= <factor>
<sumando> ::= <factor> * <sumando>
<factor> ::= <identificador>
<factor> ::= <nmero>

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

3.1 Concepto bsico de

Gramtica. Ejemplos

Obtenemos la expresin x = y+2*z a partir de <instruccin>

as:
<instruccin>
<asignacin>
<identificador> = <expresin>
x = <expresin>
x = <sumando> + <expresin>
x = <factor> + <expresin>
x = <identificador> + <expresin>
x = y+ <expresin>
x = y+ <sumando>
x = y+ <factor> * <sumando>
x = y+ <nmero> * <sumando>
x = y+2* <sumando>
x = y+2* <factor>
x = y+2* <identificador>
x = y+2*z

Teora de Autmatas y Lenguajes Formales

Tema 3: Fundamentos de la
Teora de Gramticas Formales

3.2 Concepto de
gramtica
formal

oduccin o regla
:=y):

Derivacin directa v
w:

s un par ordenado (x, y) con

y *, es decir, si se
ncuentra x como parte de
ualquier palabra v se puede
ustituir x por y en v, lo que
ermite transformar
alabras en otras.

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

Teora de Autmatas y Lenguajes Formales

Derivacin v * w:

aplicacin de una secuenc

de producciones a una
palabra.

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.

Teora de Autmatas y Lenguajes Formales

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

Teora de Autmatas y Lenguajes Formales

Tema 3: Fundamentos de la
Teora de Gramticas Formales

3.2 Concepto de
gramtica
formal

Forma normal de Backus

Ejemplo : consideremos la gramtica
T = {0, 1, 2}
N = {N, C} S = N
P = { N::=NC, N::=C, C::=0, C::=1, C::=2}
Es posible establecer una notacin simplificada para las reglas de
produccin. Si existen dos reglas de la forma
u::=v
u::=w
se pueden representar de la forma:
u::=v | w
Esta forma de representar las reglas de produccin recibe el nombre de
forma normal de Backus (o BNF)

Teora de Autmatas y Lenguajes Formales

Tema 3: Fundamentos de la
Teora de Gramticas Formales

3.2 Concepto de
gramtica
formal

Sea G = (T,N, S, P). Una palabra

x * se denomina forma
sentencial de G si se verifica que
S * x

Formas sentenciales
y sentencias

Teora de Autmatas y Lenguajes Formales

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

Si una forma sentencial x

cumple que x T* se dice
que x es una sentencia o
instruccin de G. Es decir,
las sentencias estarn
compuestas nicamente
por smbolos terminales.
En el ejemplo anterior es
sentencia: 120

Tema 3: Fundamentos de la
Teora de Gramticas Formales

Lenguaje asociado a una gramtica

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

Teora de Autmatas y Lenguajes Formales