TEORÍA DE LENGUAJES Y COMPILADORES

[pic 1][pic 2]

INSTITUTO POLITECNICO NACIONAL

[pic 3][pic 4]

[pic 5]

UNIDAD PROFESIONAL INTERDISCIPLINARIA DE INGENIERÍA CIENCIAS SOCIALES Y ADMINISTRATIVAS[pic 6][pic 7]

MATERIA:

 TEORÍA DE LENGUAJES Y COMPILADORES.

NOMBRE DEL PROFESOR:

VICTOR HUGO RODRIGUEZ MENDOZA

SECUENCIA:
3CM42

ALUMNO:
RAMOS VAZQUEZ NICOLAS

1. Conversión de autómata – a - expresión regular (Dar 2 ejemplos incluyendo épsilon, y 2 ejemplos sin épsilon)

Con épsilon 

[pic 8][pic 9]

[pic 10][pic 11]

Sin épsilon

[pic 12][pic 13]

[pic 14] [pic 15]

1. Conversión de autómata – a -  expresión regular

[pic 16][pic 17]

Expresión Regular: [pic 18]

03        Conversión de expresión regular -a- autómata

       b*c + b [ (a b c)* b]* b+ b

Autómata:[pic 19]

04         Definición formal de Autómata finito no determinista (con 4 ejemplos)

Definición:

Autómata finito no determinista. Es el autómata finito que tiene transiciones vacías o que por cada símbolo desde un estado de origen se llega a más de un estado destino.

Los AFND son definiciones no tan deseables dentro de los lenguajes regulares porque dificultan su implementación tanto mecánica como informática; aunque en la mayoría de las transformaciones a lo interno de los LR (expresiones regulares a AF, gramáticas regulares a AF) conducen a AFND. Los AFND, por tanto, son imprescindibles en el análisis lexicográfico y el diseño de los lenguajes de programación.

Ejemplos[pic 20]

[pic 29]

[pic 37]

[pic 48]

05        Definición formal de gramáticas (con 4 ejemplos)

La gramática es un ente formal para especificar, de una manera finita, el conjunto de cadenas de símbolos que constituyen un lenguaje”. La gramática genera o describe un lenguaje.

...