Tecnologico Nacional

de Mexico

Horario 10:00 – 11:00 am

TAREA 1:

Cuadro descriptivo
Alumnos:

Profesor: Erwin Capetillo Antonio

Alejandro Peña Casanova Carlos Enrique Santiago García
Selena Del Carmen Pérez Gómez

Villahermosa, Tabasco a 30 de septiembre del 2019

 Resumen

Podríamos definir un autómata como una máquina de estados y transiciones dentro de la cual se tienen
estados de aceptación y transiciones de un estado a otro siguiendo las reglas establecidas para grafos
dirigidos. Dichos estados de aceptación dentro del autómata “reconocen” que es posible aceptar una cadena
de entrada, porque cumple con una definición en el alfabeto.
La diferencia entre un AFD y un AFND es que en el primero se sabe cuál será el próximo paso o estado a seguir
y en el segundo no; es decir, no se puede determinar cómo su nombre lo indica, el estado siguiente y este
puede ser cualquiera o simplemente no estar definido es decir la función de transición sería igual a "cero".
Los compiladores son los programas de computadora que traducen un lenguaje a otro. Toma como entrada un
programa escrito en su lenguaje fuente y produce un programa equivalente escrito en su lenguaje objetivo.
Por lo regular el lenguaje fuente es un lenguaje de alto nivel. Un compilador es un programa muy completo
con un número de líneas de código que puede variar de 10 000 a 1 000000. Los compiladores se utilizan en
casi todas las formas de la computación.
Autómatas Autómatas no
determinísticos determinísticos
finitos finitos
Un autómata
determinístico, es un
sistema determinista;
es decir, para cada
estado en que se
encuentre el
autómata, y con
cualquier símbolo de
alfabeto leído, existe
siempre a lo más una
transición posible
desde ese estado y
con el símbolo.
Ejemplos
Obtenga un AFD dado el
siguiente lenguaje
definido
en el alfabeto Σ= {0,1}. El
conjunto de cadenas que
terminan en “1”.
Obtenga un AFD dado el
siguiente lenguaje
definido
en el alfabeto Σ= {0,1}. El
conjunto de cadenas que
contienen a la
sub-cadena “01”.
Traductor
Son autómatas de
estados finitos que
tiene la capacidad de
estar en más de un
estado
simultáneamente. No
hay que considerar
todos los casos en
cada estado, ya que
permite un cero, una
o más transiciones de
salida de un estado
para el mismo
símbolo del alfabeto
de entrada.
Ejemplos
Obtenga un AFND dado el
siguiente lenguaje
definido
en el alfabeto Σ= {0,1}. El
conjunto de cadenas que
inician en 0.
Obtenga un AFND dado el
siguiente lenguaje
definido
en el alfabeto Σ= {0,1}. El
conjunto de cadenas que
inician en 0.
Compilador y sus Preprocesador Intérprete Lenguaje Lenguaje
partes ensamblador maquina
Es un programa El compilador es un El preprocesador es Es un programa que Es un lenguaje de El lenguaje
que tiene como programa informático, un subsistema ejecuta línea a línea bajo nivel, donde máquina es el
entrada un que se encarga de traducir especial del las instrucciones de cada sentencia del único que
texto escrito en un programa escrito en un compilador, que se un programa de lenguaje fuente se entiende la
un lenguaje lenguaje de programación ocupa de la alto nivel. El traduce a una computadora
(lenguaje a otro lenguaje de preparación intérprete carga el instrucción en digital, es su
fuente) y como programación, generando preliminar del código código fuente y código máquina. Se "lenguaje
salida produce un programa equivalente fuente del programa traduce las define como un natural". En él
un texto escrito que la máquina será capaz directamente antes instrucciones a un lenguaje de sólo se pueden
en un lenguaje de interpretar. de su compilación. lenguaje intermedio programación que utilizar dos
(lenguaje que puede luego se usa para dar símbolos: el cero
objeto) que ser ejecutado. directamente (0) y el uno (1).
preserva el órdenes al
significado de ordenador..
origen.
Fases del compilador
1. Análisis Léxico.
constituye la primera fase,
aquí se lee el programa
fuente de izquierda a
derecha y se agrupa en
componentes léxicos
(tokens), que son
secuencias de caracteres
que tienen un significado.
2. Análisis sintáctico. En
esta fase los componentes
léxicos se agrupan
jerárquicamente en frases
gramaticales que el
compilador utiliza para
sintetizar la salida.
Obtenga un AFD dado el
siguiente lenguaje
definido
en el alfabeto Σ= {0,1}. El
conjunto de cadenas que
no contienen a
la sub-cadena “01”.
Obtenga un AFND dado el
siguiente lenguaje
definido
en el alfabeto Σ= {0,1}. El
conjunto de cadenas que
contienen a la
sub-cadena ”01”.
3. Análisis semántico.
Esta fase revisa el
programa fuente para
tratar de encontrar
errores semánticos y
reúne la información
sobre los tipos para la fase
posterior de generación
de código.
4. Generador de código
objeto. Aquí se crea el
código final de salida que
va a ser interpretado por
la máquina.
Conclusión

Actualmente el uso de las maquinas animadas ha tomado un desarrollo

ampliamente grande y de estos el hombre aprovecha sus recursos para
el desarrollo y creación de un autómata, teniendo en cuenta que los
autómatas, hoy en día realizan gran cantidad de actividades y para
poder realizarlas necesitan tener una secuencia que les permita avanzar
en su trayecto para realizar la tarea de todas y cada una de las cadenas
que dan lugar a una secuencia de transacciones desde el estado inicial
hasta un estado de aceptación por medio de una función de transición
extendida que les permite moverse de un estado a otro, donde su
relación en el lenguaje los identifica como representaciones.
Bibliografía

Cárdenas, H. (15 de Abril de 2016). Teoría de la Computación para Ingeniería de Sistemas: Un enfoque práctico. Obtenido de
http://www.webdelprofesor.ula.ve/ingenieria/hyelitza/materias/preteoria/apuntes/tema1.pdf

J. Manuel C. Lovelle(1998) “conceptos básicos de procesadores de lenguaje”

Oviedo. SERVITEC

Málaga, E. J. (2008) “Teorías de autómatas y lenguajes formales.

Cáceres: Universidad de Extremadura, servicio de publicaciones.

H. C.(2012) “Teoria de la computación para ingeniería de sistemas: Un enfoque práctico”

Brena, R. (2003) “Automatas y Lenguajes”

Mexico: tecnológico de monterrey.

Hopcroft J. E., Ullman J.D. (2007). “Introducción a la teoría de autómatas, lenguajes y computación”.
3ª ed. Edit. Pearson Educación, Madrid.

Sergio Galves rojas y Miguel Angel Mora Mata (2005) “Traductores y compiladores”
Universidad de malaga.

Jeronimo, M. (2004). Lenguajes Formales y Teoría de la computación.

Mexico: MacGraw-Hill Interamericana de México. 3ª Edicion.

Rodriguez, M. (13 de Septiembre de 2018). Compiladores.

Obtenido de http://compiladorandrea.blogspot.com/p/fases-de-un-compilador.html