Aplicacin autmatas teora de la computacin:

Es un conjunto de conocimientos racionales, sistematizados, y

funcionales, que se centran en el estudio de la abstraccin de los
procesos que ocurren en la realidad con el fin de reproducirlos con ayuda
de sistemas formales, es decir, a travs de cdigos de caracteres
e instrucciones lgicas, reconocibles por el ser humano, con capacidad
de
ser modeladas en
las
limitaciones
de
dispositivos
que
procesan informacin y efectan clculos, tales como el ordenador. Para
ello
se
apoya
en
la teora
de
autmatas para simular y estandarizar dichos
procesos,
as
como
para formalizar los problemas y darles solucin.
Esta teora provee modelos matemticos que formalizan el concepto
de computadora o algoritmo de manera suficientemente simplificada y
general para que se puedan analizar sus capacidades y limitaciones.
Algunos de estos modelos juegan un papel central en varias aplicaciones
de las ciencias de la computacin, incluyendo procesamiento de texto,
compiladores, diseo de hardware e inteligencia artificial.
Los tres principales modelos son los autmatas finitos, autmatas con
pila y mquinas de Turing, cada uno con sus variantes deterministas y
no deterministas. Los autmatas finitos son buenos modelos de
computadoras que tienen una cantidad limitada de memoria, los
autmatas con pila modelan los que tienen gran cantidad de memoria
pero que solo pueden manipularla a manera de pila (el ltimo dato
almacenado es el siguiente ledo), y las mquinas de Turing modelan las
computadoras que tienen una gran cantidad de memoria almacenada en
una cinta. Estos autmatas estn estrechamente relacionados con la
teora de lenguajes formales; cada autmata es equivalente a
unagramtica formal, lo que permite reinterpretar la jerarqua de
Chomsky en trminos de autmatas.
Existen muchos otros tipos de autmatas como las mquinas de acceso
aleatorio, autmatas celulares, mquinas baco y las mquinas de
estado abstracto; sin embargo en todos los casos se ha mostrado que
estos modelos no son ms generales que la mquina de Turing, pues la

mquina de Turing tiene la capacidad de simular cada uno de estos

autmatas. Esto da lugar a que se piense en la mquina de Turing como
el modelo universal de computadora.

Aplicacin de teora de lenguajes y gramtica en la

computacin:
El estudio de la teora de autmatas y de los lenguajes formales se
puede ubicar en el campo cientfico de la Informtica Terica, un campo
clsico y multidisciplinar dentro de los estudios universitarios de
Informtica. Es un campo clsico debido no slo a su antigedad
(anterior a la construccin de los primeros ordenadores) sino, sobre
todo, a que sus contenidos principales no dependen de los rpidos
avances tecnolgicos que han hecho que otras ramas de la Informtica
deban adaptarse a los nuevos tiempos a un ritmo vertiginoso. Es
multidisciplinar porque en sus cimientos encontramos campos tan
aparentemente dispares como la lingstica, las matemticas o la
electrnica.
En el campo de la informtica, el concepto de Gramtica Formal adquiri
gran importancia para el desarrollo de lenguajes de programacin,
consiguientemente el desarrollo de autmatas y mquinas de Turing
cobr vida en las ltimas dcadas, fortaleciendo el vnculo
entre Electrnica e Informtica, creando mquinas cada vez ms
sofisticadas y menos complicadas para el usuario final.

Aplicacin autmatas programables en la

automatizacin de procesos:

Los autmatas programables son controladores programables que

permiten que mquinas realicen procesos sin la necesidad de
intervencin humana. Por tanto, los autmatas programables son
controladores inteligentes. El uso de tales controladores se encuentra
sobre todo en la industria, donde grandes y complejas instalaciones
trabajan con muchos procesos automatizados. Pero gracias a los
autmatas programables modernos y econmicos es posible hoy en da
usar estos controladores en procesos de menor envergadura o incluso
en el mbito privado. Estos reducidos autmatas programables permiten
automatizar por ejemplo controladores para ventanas y marquesinas o
pequeas instalaciones de transporte continuo. Aplicaciones, que

anteriormente requeran una serie de activadores y temporizadores y

mucho trabajo de conexin, ahora se realizan con autmatas
programables. Los autmatas programables de PCE estn equipados por
ejemplo con 8 canales de entrada, de los cuales 6 se pueden usar como
entradas analgicas, y con 4 salidas (de transistor). Un reloj en tiempo
real interno tambin forma parte del equipamiento. Puede conectar
opcionalmente una pantalla LCD y/o mdulos adicionales. La
programacin se realiza a travs del software Sper CAD, que realiza
simultneamente una simulacin de los parmetros programados.

Aplicacin de los lenguajes y gramticas en la

computadora:

En los lenguajes naturales las gramticas no estn perfectamente

definidas. En los lenguajes artificiales (propios de las computadoras) las
gramticas estn totalmente definidas, de forma que, tanto nosotros
como un computador puede saber perfectamente si un conjunto de
palabras significa algo o no.

Los ordenadores no hablan nuestro idioma, son mquinas y como tales,

necesitan un lenguaje especfico pensado por el hombre para ellas.
Adems, necesitan constantemente interpretar todas las instrucciones
que reciben. Dada la dificultad de comunicacin insalvable entre el
computador y el programador, pronto aparecieron lenguajes de
programacin
que
hacen
posible
la
comunicacin
con
el
microprocesador, utilizando trminos y smbolos relacionados con el tipo
de problema que se debe resolver, mediante el empleo de herramientas
que brinda la informtica.
Estos lenguajes permiten, por un lado, escribir las operaciones que son
necesarias realizar para resolver el problema de un modo parecido a
como
se
escribira
convencionalmente
es
decir,
redactar
adecuadamente el algoritmo de resolucin del problema y, por el otro,
se encarga de traducir el algoritmo al lenguaje mquina, proceso
conocido como compilacin con lo que se le confiere al programa la
capacidad de correr o sea ser ejecutado en el ordenador. El ordenador es
en realidad tan slo una mquina virtual, capaz de resolver todos los
problemas que los usuarios seamos capaces de expresar mediante un
algoritmo o programa.
En la actualidad hay muchos tipos de lenguajes de programacin, cada
uno de ellos con su propia gramtica, su terminologa especial y una
sintaxis particular. Por ejemplo, existen algunos creados especialmente
para aplicaciones cientficas o matemticas generales (BASIC, FORTRAN,
PASCAL, etc. ); otros, en cambio, se orientan al campo empresarial y al
manejo de textos y ficheros, es decir, son en realidad fundamentalmente
gestores de informacin (COBOL, PL/1, etc. ), o muy relacionados con el
lenguaje mquina del ordenador (como el C y el ASSEMBLER).

Bibliografa:
http://es.wikipedia.org/wiki/Teor%C3%ADa_de_la_computaci%C3%B3n
http://www.monografias.com/trabajos62/teoria-gramatica-lenguaje-automata/teoria-gramatica-lenguajeautomata2.shtml#ixzz328Tc32kG

http://campusvirtual.unex.es/ebooks/files/file/TeoriaAutomatas.pdf