Lenguajes formales - Facultad de Informática - Universidad ...
Lenguajes formales - Facultad de Informática - Universidad ... Lenguajes formales - Facultad de Informática - Universidad ...
Procesadores de Lenguaje Ingeniería en Informática Ejemplo de autómata a pila AP bin(equivalente a G bin) A = {0, 1} P = {0, 1, bits, bit, $} E = {x 0, x 1, x 2} p 0 = $ e 0 = x 0 Definición parcial de t: t()= {} t()= {, } t()= {, } t()= {} t()= {} t()= {} F = {x 2} R.25
Documentación técnica de un lenguaje de programación Conjunto de reglas que especifican y permiten verificar la corrección de las sentencias del lenguaje y que están orientadas a los programadores que quieren conocer con exactitud su sintaxis (principalmente) La notación gramatical es útil desde el punto de vista del desarrollador de procesadores de lenguaje, pero no desde el punto de vista de sus usuarios Formalismos más utilizados por ser compactos o visuales: Notación BNF (Backus-Naur Form) Notación EBNF (Extended Backus-Naur Form) Diagramas sintácticos Todos ellos pueden expresar cualquier lenguaje incontextual (la base de la sintaxis de cualquier lenguaje de programación) así que podemos usar el que queramos Procesadores de Lenguaje Ingeniería en Informática R.26
- Page 1 and 2: Procesadores de Lenguaje Repaso. Le
- Page 3 and 4: Clasificación de gramáticas forma
- Page 5 and 6: Expresiones regulares (ERs) El con
- Page 7 and 8: Ejemplos de expresiones regulares
- Page 9 and 10: Gramáticas regulares Las gramáti
- Page 11 and 12: Procesadores de Lenguaje Ingenierí
- Page 13 and 14: Procesadores de Lenguaje Ingenierí
- Page 15 and 16: Expresiones regulares, gramáticas
- Page 17 and 18: Gramáticas incontextuales Las gra
- Page 19 and 20: G bin Ejemplo de derivación bits
- Page 21 and 22: Árboles de derivación Un árbol
- Page 23 and 24: Procesadores de Lenguaje Ingenierí
- Page 25: Procesadores de Lenguaje Ingenierí
- Page 29 and 30: Sintaxis de los números enteros po
- Page 31 and 32: Procesadores de Lenguaje Ingenierí
- Page 33 and 34: Ejemplo con diagramas sintácticos
- Page 35: Formas normales Maneras más organ
Documentación técnica <strong>de</strong> un lenguaje <strong>de</strong> programación<br />
Conjunto <strong>de</strong> reglas que especifican y permiten verificar la<br />
corrección <strong>de</strong> las sentencias <strong>de</strong>l lenguaje y que están<br />
orientadas a los programadores que quieren conocer con<br />
exactitud su sintaxis (principalmente)<br />
La notación gramatical es útil <strong>de</strong>s<strong>de</strong> el punto <strong>de</strong> vista <strong>de</strong>l<br />
<strong>de</strong>sarrollador <strong>de</strong> procesadores <strong>de</strong> lenguaje, pero no <strong>de</strong>s<strong>de</strong> el<br />
punto <strong>de</strong> vista <strong>de</strong> sus usuarios<br />
Formalismos más utilizados por ser compactos o visuales:<br />
Notación BNF (Backus-Naur Form)<br />
Notación EBNF (Exten<strong>de</strong>d Backus-Naur Form)<br />
Diagramas sintácticos<br />
Todos ellos pue<strong>de</strong>n expresar cualquier lenguaje<br />
incontextual (la base <strong>de</strong> la sintaxis <strong>de</strong> cualquier lenguaje<br />
<strong>de</strong> programación) así que po<strong>de</strong>mos usar el que queramos<br />
Procesadores <strong>de</strong> Lenguaje<br />
Ingeniería en <strong>Informática</strong> R.26