Autómata finito

Practica 9
Autómata
Autómata programable
En electrónica un autómata es un sistema secuencial, aunque
en ocasiones la palabra es utilizada también para referirse a un
robot.
Puede definirse como un equipo electrónico programable en
lenguaje no informático y diseñado para controlar, en tiempo
real
El autómata es la primera máquina con lenguaje, es decir, un
calculador lógico cuyo juego de instrucciones se orienta hacia
los sistemas de evolución secuencial.
Aplicaciones:
1.
2.
3.
4.
industria automotriz (Cadenas de montaje)
Plantas químicas y petroquímicas (Control de procesos)
Alimentación (Envasado, empaquetado)
Tráfico (Regulación y control del tráfico)
Se describen tres tipos de autómatas que reconocen tipos
diferentes de lenguajes:
1. los autómatas finitos,
2. los autómatas a pila
3. las máquinas de Turing.
Autómata finito;
Un autómata finito o máquina de estado finito 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.
Autómata con pila:
Un autómata con pila o autómata de pila o autómata a pila o
autómata apilador 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 a
pila pertenece al grupo de los lenguajes de contexto libre en la
clasificación de la Jerarquía de Chomsky.
Ejemplo
Máquina de Turing:
Sobre si las matemáticas son decidibles, es decir, si hay un método definido
que pueda aplicarse a cualquier sentencia matemática y que nos diga si
esa sentencia es cierta o no. Turing construyó un modelo formal de
computador, la máquina de Turing, y demostró que existían problemas que
una máquina no podía resolver.
La máquina de Turing es un modelo matemático abstracto que formaliza el
concepto de algoritmo.
La máquina de Turing consta de un cabezal lector/escritor y una cinta
infinita en la que el cabezal lee el contenido, borra el contenido anterior y
escribe un nuevo valor