Forma de Backus Naur

Universidad Gerardo Barrios

Facultad de Ciencia y Tecnologa

Lic. Victor L
opez Sandoval
victorlopez@ugb.edu.sv

Contenido

Universidad Gerardo Barrios

Forma de Backus Naur

Recordemos

Que es una producci

on?.
Que es derivaci
on?

Universidad Gerardo Barrios

Forma de Backus Naur

Recordemos

Que es una producci

on?.
Que es derivaci
on?
Que una Gram
atica Formal?

Universidad Gerardo Barrios

Forma de Backus Naur

Recordemos

Que es una producci

on?.
Que es derivaci
on?
Que una Gram
atica Formal?

Universidad Gerardo Barrios

Forma de Backus Naur

Recordemos

Que es una producci

on?.
Que es derivaci
on?
Que una Gram
atica Formal?

Universidad Gerardo Barrios

Forma de Backus Naur

Introduccion

El formato Backus-Naur (BNF) es un sistema notacional para especificar

tipos de datos o categoras sint
acticas, tambien especifica la sintaxis de los
lenguajes de programaci
on mediante reglas de producci
on o de re-escritura.
La forma BNF, en realidad, es un conjunto de normas, que nos permiten
simplificar la escritura de las gram
aticas. As que, se suele usar esta forma
alternativa para describir la gram
atica y que remonta su origen a la descripci
on que, del s
anscrito, hizo el gram
atico hind
u Panini. No es una notaci
on
estandarizada, aunque est
a bien establecida.

Universidad Gerardo Barrios

Forma de Backus Naur

Introduccion

El formato Backus-Naur (BNF) es un sistema notacional para especificar

tipos de datos o categoras sint
acticas, tambien especifica la sintaxis de los
lenguajes de programaci
on mediante reglas de producci
on o de re-escritura.
La forma BNF, en realidad, es un conjunto de normas, que nos permiten
simplificar la escritura de las gram
aticas. As que, se suele usar esta forma
alternativa para describir la gram
atica y que remonta su origen a la descripci
on que, del s
anscrito, hizo el gram
atico hind
u Panini. No es una notaci
on
estandarizada, aunque est
a bien establecida.

Universidad Gerardo Barrios

Forma de Backus Naur

Introduccion

El formato Backus-Naur (BNF) es un sistema notacional para especificar

tipos de datos o categoras sint
acticas, tambien especifica la sintaxis de los
lenguajes de programaci
on mediante reglas de producci
on o de re-escritura.
La forma BNF, en realidad, es un conjunto de normas, que nos permiten
simplificar la escritura de las gram
aticas. As que, se suele usar esta forma
alternativa para describir la gram
atica y que remonta su origen a la descripci
on que, del s
anscrito, hizo el gram
atico hind
u Panini. No es una notaci
on
estandarizada, aunque est
a bien establecida.

Universidad Gerardo Barrios

Forma de Backus Naur

Conceptos Basicos

Vamos a definir de manera preliminar los siguientes conceptos:

Forma Sentencial


P P
Dada una gram
atica GF =
T,
N , S, P . Una palabra x se denomina
forma sentencial, si se obtiene a partir de una derivaci
on con las reglas de
producci
on de GF . Formalmente, x es una forma sentencial si
Sx

Universidad Gerardo Barrios

Forma de Backus Naur

Conceptos Basicos

Vamos a definir de manera preliminar los siguientes conceptos:

Forma Sentencial


P P
Dada una gram
atica GF =
T,
N , S, P . Una palabra x se denomina
forma sentencial, si se obtiene a partir de una derivaci
on con las reglas de
producci
on de GF . Formalmente, x es una forma sentencial si
Sx

Sentencia
Si una forma sentencial x cumple que x T se dice que x es una sentencia
o instrucci
on de GR. Es decir, las sentencias estar
an compuestas
u
nicamente por smbolos terminales.

Universidad Gerardo Barrios

Forma de Backus Naur

Conceptos Basicos

Vamos a definir de manera preliminar los siguientes conceptos:

Forma Sentencial


P P
Dada una gram
atica GF =
T,
N , S, P . Una palabra x se denomina
forma sentencial, si se obtiene a partir de una derivaci
on con las reglas de
producci
on de GF . Formalmente, x es una forma sentencial si
Sx

Sentencia
Si una forma sentencial x cumple que x T se dice que x es una sentencia
o instrucci
on de GR. Es decir, las sentencias estar
an compuestas
u
nicamente por smbolos terminales.

Universidad Gerardo Barrios

Forma de Backus Naur

Conceptos Basicos

Lenguaje Generado


P P
Dada una gram
atica GF =
T,
N , S, P . Se llama lenguaje asociado a
la GF , o lenguaje generado por la GF , o lenguaje descrito por GF , al
conjunto denotado por L(G), tal que:
L(G) = {x|S x; x T }
Es decir, que el lenguaje generado por una gram
atica es el conjunto de
todas las sentencias de la gram
atica.

Como se puede apreciar, esta es la forma en que una gram

atica genera un
lenguaje.

Universidad Gerardo Barrios

Forma de Backus Naur

Conceptos Basicos

Lenguaje Generado


P P
Dada una gram
atica GF =
T,
N , S, P . Se llama lenguaje asociado a
la GF , o lenguaje generado por la GF , o lenguaje descrito por GF , al
conjunto denotado por L(G), tal que:
L(G) = {x|S x; x T }
Es decir, que el lenguaje generado por una gram
atica es el conjunto de
todas las sentencias de la gram
atica.

Como se puede apreciar, esta es la forma en que una gram

atica genera un
lenguaje.
A nivel general, las gram
aticas generan los lenguajes, dependiendo principalmente de los smbolos que se usan y de las producciones que se definen para
la gram
atica.

Universidad Gerardo Barrios

Forma de Backus Naur

Conceptos Basicos

Lenguaje Generado


P P
Dada una gram
atica GF =
T,
N , S, P . Se llama lenguaje asociado a
la GF , o lenguaje generado por la GF , o lenguaje descrito por GF , al
conjunto denotado por L(G), tal que:
L(G) = {x|S x; x T }
Es decir, que el lenguaje generado por una gram
atica es el conjunto de
todas las sentencias de la gram
atica.

Como se puede apreciar, esta es la forma en que una gram

atica genera un
lenguaje.
A nivel general, las gram
aticas generan los lenguajes, dependiendo principalmente de los smbolos que se usan y de las producciones que se definen para
la gram
atica.

Universidad Gerardo Barrios

Forma de Backus Naur

Backus Naur Form

Las reglas para la BNF son las siguientes:

BNF
Los smbolos no terminales X

Universidad Gerardo Barrios

se representan por hXi.

Forma de Backus Naur

Backus Naur Form

Las reglas para la BNF son las siguientes:

BNF
Los smbolos no terminales X

se representan por hXi.

Los smbolos terminales se escriben entre comillas (a00 , b00 , c00 , ...).

Universidad Gerardo Barrios

Forma de Backus Naur

Backus Naur Form

Las reglas para la BNF son las siguientes:

BNF
Los smbolos no terminales X

se representan por hXi.

Los smbolos terminales se escriben entre comillas (a00 , b00 , c00 , ...).
El smbolo asociado a las producciones se reemplaza por ::=.

Universidad Gerardo Barrios

Forma de Backus Naur

Backus Naur Form

Las reglas para la BNF son las siguientes:

BNF
Los smbolos no terminales X

se representan por hXi.

Los smbolos terminales se escriben entre comillas (a00 , b00 , c00 , ...).
El smbolo asociado a las producciones se reemplaza por ::=.
Si existen dos reglas de la forma u ::= v y u ::= w se pueden
representar de la forma: u ::= v|w

Universidad Gerardo Barrios

Forma de Backus Naur

Backus Naur Form

Las reglas para la BNF son las siguientes:

BNF
Los smbolos no terminales X

se representan por hXi.

Los smbolos terminales se escriben entre comillas (a00 , b00 , c00 , ...).
El smbolo asociado a las producciones se reemplaza por ::=.
Si existen dos reglas de la forma u ::= v y u ::= w se pueden
representar de la forma: u ::= v|w

Universidad Gerardo Barrios

Forma de Backus Naur

Actividad

Construya una gram

atica formal, con al menos 5 producciones y
reescribalo en la forma BNF.
Que gram
atica genera el lenguaje L = {1, 11, 111, 1111, ...}? Escriba la
gram
atica en su forma BNF

Universidad Gerardo Barrios

Forma de Backus Naur