Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Unidad 6 PDF
Unidad 6 PDF
TEMA
AUTÓMATAS FINITOS
CARRERA
INGENIERÍA EN INFORMÁTICA
MATERIA
AUTÓMATAS Y LENGUAJE DE PROGRAMACIÓN
INTEGRANTES
PROFESOR
ING. RAMÓN BOGADO
San Lorenzo-Paraguay
2020
ÍNDICE
1 Introducción 3
2 Planteamiento del problema 4
3 Justificación 4
4 Objetivos 4
5 Marco Teórico 5
5.1 Definición De Autómatas Finitos 5
5.2 Historia De Los Autómatas Finitos 5
5.3 La Cadena De Markov 6
5.4 El Modelo Neuronal De McCullock-Pitts 7
5.5 Modelo Autómata Finito 8
5.6 Representación Como Tabla De Transiciones 8
5.7 Funcionamiento 9
5.8 Generalización De La Función De Transición 10
5.9 Autómatas Finitos(AF) 10
5.10 Descripción Informal De Un Autómata Finito 11
5.11 Reglas Básicas 11
5.11.1 Participantes 11
5.11.2 Suposición 11
5.11.3 Sucesos 11
5.11.4 El Protocolo 11
5.12 ¿Cómo permitir que el autómata ignore acciones? 12
5.13 Un Autómata Para El Sistema Completo 13
5.14 Utilización Del Autómata Producto Para Validar El Protocolo 14
6 Desarrollo 15
7 Conclusión 16
8 Bibliografía 17
1. INTRODUCCIÓN
El presente trabajo de investigación trata acerca del tema “Autómatas
Finitos”. La importancia de la misma es la de reconocer lenguajes regulares, que
corresponden a los lenguajes formales más simples según la Jerarquía de
Chomsky. Asimismo, la metodología empleada es la investigación bibliográfica.
3
2. PLANTEAMIENTO DEL PROBLEMA
La falta de conocimiento de las funciones o el papel que cumplen los
autómatas finitos en el uso diario implica que no le demos la importancia que
representa para el logro de las actividades cotidianas.
3. JUSTIFICACIÓN
Este trabajo de investigación es llevado a cabo para profundizar en el
conocimiento real de los Autómatas finitos, teniendo en cuenta la importancia y el
uso constante que hacemos del mismo (software, hardware, circuitos digitales,
compiladores y protocolos de comunicación), a fin de sacarle el mayor provecho
posible.
4. OBJETIVOS
Investigar conceptos de Autómatas Finitos, utilidad e importancia en las actividades
cotidianas.
4
5. MARCO TEÓRICO
5.1. Definición De Autómatas Finitos
Un autómata finito (AF) o máquina de estado finito es un modelo
computacional que realiza cómputos en forma automática sobre una entrada para
producir una salida.
5
Posteriormente, en 1943, surge una primera aproximación formal de los
autómatas finitos con el modelo neuronal de McCulloch-Pitts. Durante la década de
1950 prolifera su estudio, frecuentemente llamándoseles máquinas de secuencia;
se establecen muchas de sus propiedades básicas, incluyendo su interpretación
como lenguajes regulares y su equivalencia con las expresiones regulares. Al final
de esta década, en 1959, surge el concepto de autómata finito no determinista en
manos de los informáticos teóricos Michael O. Rabin y Dana Scott.
6
5.4. El Modelo Neuronal De McCullock-Pitts
La neurona de McCulloch-Pitts es una unidad de cálculo que intenta modelar
el comportamiento de una neurona "natural", similares a las que constituyen del
cerebro humano. Ella es la unidad esencial con la cual se construye una red
neuronal artificial.
o = s(red)
siendoː
7
siendo:
8
salida símbolo llegada
q ∈ Q σ ∈ Σ δ(q, σ) ∈ Q 0 1
s1 0 s2 *s1 s2 s1
s2 s1 s2
s1 1 s1
s2 0 s1
s2 1 s2
5.7. Funcionamiento
El esquema general es el de una cinta lectora que avanza sólo hacia delante
y de a una celda, según la función de transición.
Una función de transición δ se puede generalizar a una función δ*, que opera
sobre estados y secuencias de símbolos, en lugar de símbolos individuales del
alfabeto. Así, esta nueva función de transición se define δ*: Q x Σ* Q, permitiendo
caracterizar los autómatas de manera más abreviada y sin perder expresividad.
10
Un AFND permite definir un lenguaje con otro AFD.
5.10.Descripción Informal De Un Autómata Finito
Ejemplo: Protocolos que ayudad a gestionar "el dinero electrónico"(Prever la
falsificación)
Demostrar que las únicas cosas que puedan ocurrir son las cosas que queremos
que ocurran. (Error)
11
Un estado recuerda que sucesos importantes han ocurrido y que sucesos
todavía no han tenido lugar.
¿En qué caso la tienda podría haber suministrado y verificar que el dinero no
era válido?
12
5.13.Un Autómata Para El Sistema Completo
Autómata producto. (Interacción entre ellos).
El cliente no tiene restricción sobre su comportamiento. Siempre está en un único
estado para cualquier secuencia de sucesos. El sistema no detendrá su ejecución.
4 x 7 = 28 estados
Para construir los arcos del autómata producto, tenemos que ejecutar los autómatas
del banco y de la tienda en paralelo.
13
5.14.Utilización del autómata producto para validar el protocolo
El autómata producto se puede utilizar para validar el protocolo. (2, e) y
(4, d) no son accesibles.
(2, c) es un problema.
14
6. DESARROLLO
De acuerdo con el diccionario de la Real Academia Española de la Lengua,
entendemos por autómata.
1. Instrumento o aparato que encierra dentro de sí el mecanismo que le imprime
determinados movimientos.
2. Máquina que imita la figura y los movimientos de un ser animado.
Cuando hablamos de autómatas finitos nos referimos a que el mecanismo definido
como tal termina, de alguna manera, las acciones que ejecuta. Los autómatas finitos
son de utilidad tanto en el software como en el hardware, y se pueden encontrar en:
Los circuitos digitales de productos electrónicos.
Compiladores e intérpretes de lenguajes de programación.
Protocolos de comunicación.
Software de análisis de textos, ya sea en web o en programas de edición.
Software donde el seguimiento y reconocimiento de patrones es relevante para
continuar un proceso.
15
7. CONCLUSIÓN
El trabajo de investigación denominado “Autómatas finitos” llegó a las siguientes
conclusiones.
De acuerdo a la definición, la misma se basa en una función de transición, que
recibe a partir de un estado inicial una cadena de caracteres pertenecientes al
alfabeto (la entrada), y que va leyendo dicha cadena a medida que el autómata se
desplaza de un estado a otro, para finalmente detenerse en un estado final o de
aceptación, que representa la salida.
Con respecto a la historia se remonta a su uso implícito en máquinas
electromecánicas, desde principios del siglo XX.
En cuanto a la cadena de Markov, ésta es una secuencia X1, X2, X3, …, de
variables aleatorias.
Y finalmente, el Modelo Neuronal De McCullock-Pitts es una unidad de cálculo que
intenta modelar el comportamiento de una neurona "natural", similares a las que
constituyen del cerebro humano. Ella es la unidad esencial con la cual se construye
una red neuronal artificial.
16
8. BIBLIOGRAFÍA
Webgrafía
https://es.wikipedia.org/wiki/Aut%C3%B3mata_finito
https://es.wikipedia.org/wiki/Andr%C3%A9i_M%C3%A1rkov
https://es.wikipedia.org/wiki/Cadena_de_M%C3%A1rkov
https://es.wikipedia.org/wiki/Neurona_de_McCulloch-Pitts
https://sites.google.com/site/teorialacomputacion/home/02-
automatas- finitos.
https://es.wikipedia.org/wiki/Aut%C3%B3mata_finito.
https://www.youtube.com/watch?v=Q-IZJfoo-9k
17
EXAMEN PARCIAL ORDINARIO
Trabajo de Investigación
AUTÓMATAS FINITOS
1. Descripción informal de autómata finito.
2. Reglas básicas.
Alumno ………………
: 1. Liz Carolina Fernández Álvarez
Resto de Curso: Gestionar consultas en base al trabajo, como parte del proceso
18
Partes Indicadores Puntaje Puntaje
Asignado Alcanzado
Portada Datos de la Institución. Contenido del título del trabajo, Autores,
Lugar
y Año de presentación
Planteamient Enunciación del Problema
o del Importancia del Estudio, 1
problema. Relevancia.
Formulación con claridad, precisión y corrección
Marco Teórico Redacción de ideas en tiempo
presente Opinión de otros autores 1
Conceptos relacionados con los objetivos
Se tendrá en cuenta en el puntaje de los indicadores sin
fundamento
Desarrollo Redacción del tema en cuestión 3
19