INTRODUCCIN A LOS AUTOMATAS

En la dcada de los aos 30, Alan Turing estudio una maquina abstracta que
tenia las capacidades de calcular. Turing realizo este estudio con el objetivo
de describir los lmites entre lo que una maquina de clculo poda y no poda
calcular.
En la dcada de los aos cuarenta y cincuenta, una serie de investigadores
estudiaron los autmatas finitos que son mecanismos que tiene un inicio y
un fin, es decir tiene un nmero determinados de pasos. En la dcada de los
cincuenta, el lingista N. Chomsky inicio el estudio de las gramticas
formales, que son reglas que definen las cadenas de caracteres admisibles
en un determinado lenguaje formal o lengua natural.
En el ao de 1969, S. Cook amplio el estudio realizado por Alan Turing, Cook
fue capaz de separar mediante una computador aquellos problemas que se
podan resolver de una manera eficiente y aquellos problemas insolubles
que, en un principio pueden resolverse, pero que en la practica consumen
tanto tiempo que las computadoras resultan intiles para todo excepto para
casos muy simples del problema.
Los autmatas finitos y determinados tipos de gramticas formales, se
emplean en el diseo y la construccin de importantes clases de software.
Los autmatas finitos constituyen un modelo til para muchos tipos de
hardware y software, como por ejemplo: software para disear y probar el
comportamiento de circuitos digitales, analizador lxico que detecta reglas
de escritura, software para explorar cuerpos de texto largos, software para
verificar sistemas de todo tipo que tengan un numero finito de estados
diferentes.
Un ejemplo de un autmata finito es un interruptor de apagado/encendido

(posiciones on/off)
Sea cual sea el estado en que se encuentra el sistema, cuando recibe la
entrada Pulsar pasa al otro estado.
Las gramticas y las expresiones regulares desempean un importante
papel en el estudio de los autmatas y sus aplicaciones. Las gramticas son

modelos tiles en el diseo de software que sirve para procesar datos con
una estructura recursiva. Las expresiones regulares tambin especifican la
estructura de los datos, especialmente de las cadenas de texto.
Los autmatas son esenciales para el estudio de los lmites de la
computacin, existen dos factores importantes:
Decidibilidad. es el estudio de lo que puede hacer un acomputadora y
a los problemas que puede resolver esta misma se dice que son
decidibles.

intratabilidad. Estudia que puede hacer una computadora de manera

eficiente y los problemas que esta misma pueda resolver en un tiempo
proporcional se conoce como tratables.

Una demostracin deductiva consta de una secuencia de proposiciones cuya

veracidad se comprueba partiendo de una hiptesis o de una serie de
proposiciones dadas, hasta llegar a una conclusin. Las hiptesis pueden ser
verdaderas o falsas, dependiendo normalmente de los valores de sus
parmetros.