backus naur form
TRANSCRIPT
Forma de Backus Naur
Universidad Gerardo Barrios
Facultad de Ciencia y Tecnologıa
Lic. Victor Lopez [email protected]
Recordemos
¿Que es una produccion?.
¿Que es derivacion?
¿Que una Gramatica Formal?
Universidad Gerardo Barrios Forma de Backus Naur
Recordemos
¿Que es una produccion?.
¿Que es derivacion?
¿Que una Gramatica Formal?
Universidad Gerardo Barrios Forma de Backus Naur
Recordemos
¿Que es una produccion?.
¿Que es derivacion?
¿Que una Gramatica Formal?
Universidad Gerardo Barrios Forma de Backus Naur
Recordemos
¿Que es una produccion?.
¿Que es derivacion?
¿Que una Gramatica Formal?
Universidad Gerardo Barrios Forma de Backus Naur
Introduccion
El formato Backus-Naur (BNF) es un sistema notacional para especificartipos de datos o categorıas sintacticas, tambien especifica la sintaxis de loslenguajes de programacion mediante reglas de produccion o de re-escritura.
La forma BNF, en realidad, es un conjunto de normas, que nos permitensimplificar la escritura de las gramaticas. Ası que, se suele usar esta formaalternativa para describir la gramatica y que remonta su origen a la descrip-cion que, del sanscrito, hizo el gramatico hindu Panini. No es una notacionestandarizada, aunque esta bien establecida.
Universidad Gerardo Barrios Forma de Backus Naur
Introduccion
El formato Backus-Naur (BNF) es un sistema notacional para especificartipos de datos o categorıas sintacticas, tambien especifica la sintaxis de loslenguajes de programacion mediante reglas de produccion o de re-escritura.
La forma BNF, en realidad, es un conjunto de normas, que nos permitensimplificar la escritura de las gramaticas. Ası que, se suele usar esta formaalternativa para describir la gramatica y que remonta su origen a la descrip-cion que, del sanscrito, hizo el gramatico hindu Panini. No es una notacionestandarizada, aunque esta bien establecida.
Universidad Gerardo Barrios Forma de Backus Naur
Introduccion
El formato Backus-Naur (BNF) es un sistema notacional para especificartipos de datos o categorıas sintacticas, tambien especifica la sintaxis de loslenguajes de programacion mediante reglas de produccion o de re-escritura.
La forma BNF, en realidad, es un conjunto de normas, que nos permitensimplificar la escritura de las gramaticas. Ası que, se suele usar esta formaalternativa para describir la gramatica y que remonta su origen a la descrip-cion que, del sanscrito, hizo el gramatico hindu Panini. No es una notacionestandarizada, aunque esta bien establecida.
Universidad Gerardo Barrios Forma de Backus Naur
Conceptos Basicos
Vamos a definir de manera preliminar los siguientes conceptos:
Forma Sentencial
Dada una gramatica GF =(∑
T ,∑
N , S, P). Una palabra x se denomina
forma sentencial, si se obtiene a partir de una derivacion con las reglas deproduccion de GF . Formalmente, x es una forma sentencial si
S → x
Sentencia
Si una forma sentencial x cumple que x ∈ Σ∗T se dice que x es una sentenciao instruccion de GR. Es decir, las sentencias estaran compuestasunicamente por sımbolos terminales.
Universidad Gerardo Barrios Forma de Backus Naur
Conceptos Basicos
Vamos a definir de manera preliminar los siguientes conceptos:
Forma Sentencial
Dada una gramatica GF =(∑
T ,∑
N , S, P). Una palabra x se denomina
forma sentencial, si se obtiene a partir de una derivacion con las reglas deproduccion de GF . Formalmente, x es una forma sentencial si
S → x
Sentencia
Si una forma sentencial x cumple que x ∈ Σ∗T se dice que x es una sentenciao instruccion de GR. Es decir, las sentencias estaran compuestasunicamente por sımbolos terminales.
Universidad Gerardo Barrios Forma de Backus Naur
Conceptos Basicos
Vamos a definir de manera preliminar los siguientes conceptos:
Forma Sentencial
Dada una gramatica GF =(∑
T ,∑
N , S, P). Una palabra x se denomina
forma sentencial, si se obtiene a partir de una derivacion con las reglas deproduccion de GF . Formalmente, x es una forma sentencial si
S → x
Sentencia
Si una forma sentencial x cumple que x ∈ Σ∗T se dice que x es una sentenciao instruccion de GR. Es decir, las sentencias estaran compuestasunicamente por sımbolos terminales.
Universidad Gerardo Barrios Forma de Backus Naur
Conceptos Basicos
Lenguaje Generado
Dada una gramatica GF =(∑
T ,∑
N , S, P). Se llama lenguaje asociado a
la GF , o lenguaje generado por la GF , o lenguaje descrito por GF , alconjunto denotado por L(G), tal que:
L(G) = {x|S → x;x ∈ Σ∗T }
Es decir, que el lenguaje generado por una gramatica es el conjunto detodas las sentencias de la gramatica.
Como se puede apreciar, esta es la forma en que una gramatica genera unlenguaje.
A nivel general, las gramaticas generan los lenguajes, dependiendo principal-mente de los sımbolos que se usan y de las producciones que se definen parala gramatica.
Universidad Gerardo Barrios Forma de Backus Naur
Conceptos Basicos
Lenguaje Generado
Dada una gramatica GF =(∑
T ,∑
N , S, P). Se llama lenguaje asociado a
la GF , o lenguaje generado por la GF , o lenguaje descrito por GF , alconjunto denotado por L(G), tal que:
L(G) = {x|S → x;x ∈ Σ∗T }
Es decir, que el lenguaje generado por una gramatica es el conjunto detodas las sentencias de la gramatica.
Como se puede apreciar, esta es la forma en que una gramatica genera unlenguaje.
A nivel general, las gramaticas generan los lenguajes, dependiendo principal-mente de los sımbolos que se usan y de las producciones que se definen parala gramatica.
Universidad Gerardo Barrios Forma de Backus Naur
Conceptos Basicos
Lenguaje Generado
Dada una gramatica GF =(∑
T ,∑
N , S, P). Se llama lenguaje asociado a
la GF , o lenguaje generado por la GF , o lenguaje descrito por GF , alconjunto denotado por L(G), tal que:
L(G) = {x|S → x;x ∈ Σ∗T }
Es decir, que el lenguaje generado por una gramatica es el conjunto detodas las sentencias de la gramatica.
Como se puede apreciar, esta es la forma en que una gramatica genera unlenguaje.
A nivel general, las gramaticas generan los lenguajes, dependiendo principal-mente de los sımbolos que se usan y de las producciones que se definen parala gramatica.
Universidad Gerardo Barrios Forma de Backus Naur
Backus Naur Form
Las reglas para la BNF son las siguientes:
BNF
Los sımbolos no terminales X ∈∑
N se representan por 〈X〉.
Los sımbolos terminales se escriben entre comillas (“a′′, “b′′, “c′′, ...).
El sımbolo asociado a las producciones “→” se reemplaza por “::=”.
Si existen dos reglas de la forma u ::= v y u ::= w se puedenrepresentar 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 sımbolos no terminales X ∈∑
N se representan por 〈X〉.Los sımbolos terminales se escriben entre comillas (“a′′, “b′′, “c′′, ...).
El sımbolo asociado a las producciones “→” se reemplaza por “::=”.
Si existen dos reglas de la forma u ::= v y u ::= w se puedenrepresentar 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 sımbolos no terminales X ∈∑
N se representan por 〈X〉.Los sımbolos terminales se escriben entre comillas (“a′′, “b′′, “c′′, ...).
El sımbolo asociado a las producciones “→” se reemplaza por “::=”.
Si existen dos reglas de la forma u ::= v y u ::= w se puedenrepresentar 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 sımbolos no terminales X ∈∑
N se representan por 〈X〉.Los sımbolos terminales se escriben entre comillas (“a′′, “b′′, “c′′, ...).
El sımbolo asociado a las producciones “→” se reemplaza por “::=”.
Si existen dos reglas de la forma u ::= v y u ::= w se puedenrepresentar 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 sımbolos no terminales X ∈∑
N se representan por 〈X〉.Los sımbolos terminales se escriben entre comillas (“a′′, “b′′, “c′′, ...).
El sımbolo asociado a las producciones “→” se reemplaza por “::=”.
Si existen dos reglas de la forma u ::= v y u ::= w se puedenrepresentar de la forma: u ::= v|w
Universidad Gerardo Barrios Forma de Backus Naur