Conceptos de Automatas

http://automatas-conceptos.blogspot.com.ar/

Ms

Siguiente blog

Crear un blog

Acceder

Integrantes
Nicolas Ruiz Javier Moreira Richard Oyarzn Juan Carlos Gallardo

Informe
Introduccin

Cuando se habla de autmata, nos referimos a mquinas (abstractas o no) que sean capaces de computar. Las mquinas de Turing son un ejemplo de un autmata tan complejo que es capaz de resolver todos los problemas que una computadora actual puede resolver con precisin. Sin embargo, existen autmatas ms simples que stos, como los autmatas finitos o los autmatas de pila. Los autmatas finitos tienen relacin con los lenguajes regulares y las expresiones regulares, mientras que los autmatas de pila tienen relacin con los lenguajes y las gramticas de contexto libre. Las expresiones regulares se usan en la actualidad para la bsqueda de patrones en textos, mientras que las gramticas de contexto libre juegan un papel escencial en la implementacin de

1 de 6

17/07/2013 01:15 p.m.

Conceptos de Automatas

http://automatas-conceptos.blogspot.com.ar/

compiladores.

Conceptos

Gramticas formales.Las gramticas formales son sistemas de manipulacin simblica que permiten generar cadenas de smbolos, llamadas por esto bien formadas, o bien reconocer cundo una cadena dada est, en efecto, bien formada. En este primer captulo, meramente introductorio, ilustraremos con varios ejemplos estos tipos de sistemas e inclusive algunos otros sistemas un tanto ms generales.

Jerarqua de Chomski en Autmatas.-

Tipo 0 1

Nombres

Tipo de autmata reconocedor

Irrestricta Irrestricta con memoria limitada

Mquinas de Turing Mquinas de Turing con cinta acotada

Sensibles al contexto con Mquinas de Turing con borro Sensibles al contexto no reductivas Libres de contexto dominio total Mquinas de Turing con ``espacio lineal'' Autmatas de pila no-deterministas

2 de 6

17/07/2013 01:15 p.m.

Conceptos de Automatas

http://automatas-conceptos.blogspot.com.ar/

5 6 7

Libres de contexto deterministas Lineales Regulares

Autmatas de pila deterministas Autmatas lineales Autmatas regulares

Automatas.Los autmatas vienen a ser mecanismos formales que "realizan" derivaciones en gramticas formales. La manera en que las realizan es mediante la nocin de reconocimiento. Una palabra ser generada en una gramtica si y slo si la palabra hace transitar al autmata correspondiente a sus condiciones terminales. Por esto es que los autmatas son analizadores lxicos (llamados en ingls "parsers") de las gramticas a que corresponden.

Autmata finito.Un autmata finito (determinista) es pues una estructura de la forma

donde

3 de 6

17/07/2013 01:15 p.m.

Conceptos de Automatas

http://automatas-conceptos.blogspot.com.ar/

Se construyen a partir de un conjunto de estados Q y de un conjunto de smbolos de entrada T. Su funcionamiento queda determinado por una funcin de transicin . Si

t(q,s)=p esto se interpreta como que el autmata transita del estado q al estado p cuando arriba el smbolo s. En todo autmata finito se cuenta con un estado inicial, estados finales . y un conjunto de

Autmata no-determinista.Los autmatas no-deterministas se conforman como los autmatas finitos, salvo que sus transiciones, en lugar de ser funciones, son relaciones que a cada pareja (estado,estmulo) le asocian varios, uno o ningn estado. Tiene una estructura de la forma donde

4 de 6

17/07/2013 01:15 p.m.

Conceptos de Automatas

http://automatas-conceptos.blogspot.com.ar/

Autmatas de pila.Son autmatas finitos que cuentan con un dispositivo de memoria muy elemental, del tipo pila, el cual es un almacenamiento lineal que funciona bajo el principio LIFO: Primero en Entrar, Ultimo en Salir. Sea Q un conjunto de estados, sea T el alfabeto de entrada y sea V un alfabeto de pila. La funcin de transicin es de la forma , donde la relacin se interpreta como sigue: ``Si se est en el estado q, arriba el smbolo a y en el tope de la pila est el smbolo b entonces se pasa al estado p y se empila la palabra termina con su pila vaca. ''. Un

autmata de pila reconoce a una palabra si, tras haberla ledo,

Mquinas de Turing.Son autmatas finitos con dos pilas que tienen un tope comn. O equivalentemente, son autmatas que poseen una memoria dada por una cinta la cual es un almacenamiento lineal, infinito a ambos lados, con acceso a cualquier localidad en ella. El tope comn es la casilla leda ("scanned cell''), una pila es la parte de la cinta a la derecha de la casilla leda y otra pila es su parte izquierda. Las

5 de 6

17/07/2013 01:15 p.m.

Conceptos de Automatas

http://automatas-conceptos.blogspot.com.ar/

transiciones de la mquina quedan determinadas por una funcin , donde vez, la relacin . Esta

se interpreta como sigue: ``Si

se est en el estado q y se lee el smbolo a entonces se escribe b, se pasa a p y se va a examinar la casilla al lado De hecho, la relacin de la leda''.

puede escribirse como

, y por esto, decimos que una mquina de Turing queda especificada por su lista de quntuplas.

Pgina principal Suscribirse a: Entradas (Atom)

6 de 6

17/07/2013 01:15 p.m.