El documento resume las respuestas a preguntas sobre autómatas. Define un autómata formalmente como una quíntupla con conjuntos de entrada, estados, salidas y funciones de transición y salida. Explica autómatas programables, celulares, mecánicos y robots. Distingue entre autómatas finitos deterministas y no deterministas, e identifica su uso en compiladores, redes neuronales, control industrial y más.

1. ESCUELA DE INGENIERÍA
SEMESTRE MAYO – AGOSTO 2020
COMPILADORES
ACTIVIDAD EN CLASES N° 29
Integrantes: Andrade Josseline, Pinto Mauricio Fecha: 13-08-2020
Diseñar unprograma en el software que usted proponga para que permita leer
lasreglas de producciónypor medio de derivacióninmediata permita generar
el resultado final. (aplica para cualquier ejemplo propuesto de gramáticas)

2. RESULTADO
PREGUNTAS
 Defina qué es un autómata definición formal.
Un autómata es una quíntupla A = {E, S, Q, f, g} donde:
E = conjunto de entrada o vocabulario de entrada
S = conjunto de salida o vocabulario de salida
Q = conjunto de estados
f: ExQ Q
g: ExQ S
E es un conjunto finito, y sus elementos se llaman entradas o símbolos de entrada.
S es un conjunto finito, y sus elementos se llaman salidas o símbolos de salida.
Q es un conjunto de estados posibles, puede ser finito o infinito.
f es la función de transición o función de estado siguiente, y para un par de conjunto
ExQ devuelve un estado perteneciente al conjunto Q. ExQ es un conjunto producto
cartesiano de E por Q.
g es la función de salida, y un par de conjunto ExQ, devuelve un símbolo de salida del
conjunto S.

3.  Qué es un autómata de programación y plantee un ejemplo.
Un autómata programable (o PLC) es un equipo electrónico que realiza procesos
secuenciales a nivel industrial. Monitoriza entradas y salidas (input/output) y toma
decisiones lógicas para automatizar procesos o máquinas.
Ejemplo:
Autómatas programables PCE-SR-12-MTDC (con 8 entradas y 4 salidas de
transistor, procesamiento analógico de valores, con RTC).
 Qué es un autómata celular y plantee un ejemplo.
Un autómata celular (A.C.) es un modelo matemático para un sistema dinámico que
evoluciona en pasos discretos. Es adecuado para modelar sistemas naturales que
puedan ser descritos como una colección masiva de objetos simples que interactúen
localmente unos con otros.
Ejemplos:
Modelado del flujo de tráfico y de peatones.
Modelado de fluidos (gases o líquidos).
Modelado de la evolución de células o virus como el VIH
 Qué es un autómata mecánico y plantee un ejemplo.
Máquina que imita la figura y los movimientos de un ser animado es un equivalente
tecnológico de lo que en la actualidad serían los robots autónomos. Si el robot es
antropomorfo se conoce como androide.
 Qué es un autómata robot y plantee un ejemplo.
La denominación de robot autómata se debe a una simple explicación, estos son
aquellos robots que, con un cierto grado de programación, pueden realizar tareas y
actividades que el ser humano ha aprendido a hacer con la experiencia y que son
delegadas a las maquinas, sin dar espacio a la toma de decisiones propias ya que
carecen de inteligencia.
Ejemplo:
El pato digestor de Vaucanson
 Qué es un autómata de pila y plantee un ejemplo
Es un modelo matemático de un sistema que recibe una cadena constituida por
símbolos de un alfabeto y determina si esa cadena pertenece al lenguaje que el
autómata reconoce. El lenguaje que reconoce un autómata con pila pertenece al
grupo de los lenguajes libres de contexto en la clasificación de la Jerarquía de
Chomsky.

4.  Qué es un autómata finito determinista y plantee un ejemplo.
Un autómata finito determinista (abreviado AFD) es un autómata finito que además es un
sistema determinista; es decir, para cada estado en que se encuentre el autómata, y con
cualquier símbolo del alfabeto leído, existe siempre no más de una transición posible desde
ese estado y con ese símbolo.

5.  Qué es un autómata finito no determinista y plantee un ejemplo.
Un autómata finito no determinista (abreviado AFND) es un autómata finito que, a
diferencia de los autómatas finitos deterministas (AFD), posee al menos un estado q
∈ Q, tal que para un símbolo a ∈ Σ del alfabeto, existe más de una transición δ(q,a)
posible.
Ejemplo:
 Cuáles son las áreas donde se usan losautómatas.
Se usan en el área de:
 Compiladores
 Desarrollo de redes neuronales
 Control de hornos metalúrgicos
 Automóviles
 Control de plantas químicas
 Producción de energía
 Cuál es el logro o invención más importante donde se hayan
implementado autómatas para su diseño.
En el año 62 Heron de Alejandría describe múltiples aparatos en su libro "Autómata". Entre
ellos aves que vuelan, gorjean y beben. Todos ellos fueron diseñados como juguetes, sin
mayor interés por encontrarles aplicación. Sin embargo, describe algunos como un molino
de viento para accionar un órgano o un precursor de la turbina de vapor. También se
diseñan ingeniosos mecanismos comola máquina de fuegoque abría puertas de los templos
o altares mágicos como el de la Figura 3 donde las figuras apagaban el fuego de la llama.
 Qué relación existe entre la teoría de autómatas y lenguajes formales,
cuál es su grado de relación.
La relación existente entre la teoría de autómatas y los lenguajes formales es que,
para representar un autómata en un principio se debe dar a conocer el lenguaje que

6. lo comprende o que este mismo entiende y luego de eso se puede desarrollar el
autómata.
 Cuáles son las generalidades sobre autómatas programables.
Son componentes robustos que, en algunos casos, pueden aguantar condiciones
severas: calor, frío, polvo y humedad extrema. Su lenguaje de programación en
ladder o en bloques de función se entiende fácilmente, por lo que se pueden
programarsinmucha dificultad. Sonmodularesconlo que permiten añadirmódulos
(E/S digitales, Analógicas, comunicación, pesaje o temperatura) en caso de
necesidad.
TIPOS:
 Pequeño: uno con menos de 500 E / S analógicas y digitales.
 Medio: tiene E / S que van de 500 a 5.000.
 Grande: un sistema con más de 5.000 E / S.
 En qué lenguajes de programación se puede simular la programación
de autómatas.
 Ladder (LD)
 Diagrama de bloques de funciones (FBD)
 Lenguaje de texto estructurado (SD)
 Lista de instrucciones (IL)
 Funciones secuenciales (SFC)
 Si usted necesita plantear un trabajo de titulación relacionado con la
teoría de autómatas, explique cuál sería su propuesta de proyecto y cuáles
serían los impactosque genere el mismo y qué camposería el que obtenga más
beneficios con el desarrollo de este. ¿Cómo lo haría?
Propuesta: Desarrollo de un autómata que permita el control total de un invernadero de
tomates.
La propuesta anterior permitiría el control total de la temperatura y ambiente del
invernadero lo que provocaría que no se necesite mucha interacción humana para que la
temperatura y humedad se encuentren de manera óptima para la crianzade los tomates. En
este tema tendría mayor beneficio el campo de la agricultura.