Alumno: Pablo Ovejero Curso: 3ro G Turno Noche Profesora: Elisa Galdame

Es una rama de las ciencias de la computacin que estudia las mquinas abstractas y los problemas que stas son capaces de resolver. Est relacionada con la teora del lenguaje formal ya que los autmatas son clasificados a menudo por la clase de lenguajes formales que son capaces de reconocer.

Un autmata es un modelo matemtico para una mquina de estado finito que dada una entrada de smbolos, "salta" a travs de una serie de estados de acuerdo a una funcin de transicin (ej.: Tabla de estados).

Son varias las razones, pero principalmente por que constituyen una parte importante del ncleo de la Ciencias de la Computacin.

Un autmata finito tiene un conjunto de estados y su control pasa de un estado a otro en respuesta a las entradas externas. Una de las diferencias fundamentales entre las clases de autmatas finitos es si dicho control es determinista, lo que quiere decir que el autmata no puede encontrarse en ms de un estado a un mismo tiempo, o no determinista, lo que significa que s puede estar en varios estados a la vez.

A = (Q, , ,q0,F)
Un autmata finito determinista consta de:
1. Un conjunto finito de estados, a menudo designado como Q. 2. Un conjunto finito de smbolos de entrada, a menudo designado como . 3. Una funcin de transicin que toma como argumentos un estado y un smbolo de entrada y devuelve un estado. La funcin de transicin se designa habitualmente como . 4. Un estado inicial, uno de los estados de Q. 5. Un conjunto de estados finales o de aceptacin F. El conjunto F es un subconjunto de Q.

Tablas de Transicin

Representacin de un AFD

Diagramas de Transicin

Tablas de transiciones Una tabla de transiciones es una representacin tabular convencional de una funcin, como por ejemplo , que toma dos argumentos y devuelve un valor. Las filas de la tabla corresponden a los estados y las columnas a las entradas.
1 0 q 0 0 q 2 1 q 1 0,1

Sea el siguiente AFD: ={a,b} Q={p,q,r} q0=p F={q} donde f se define de la siguiente forma:
f(p,a)=q f(p,b)=r f(q,a)=q f(q,b)=r f(r,a)=r f(r,b)=r
Tabla de transicin . El AFD se representara mediante la siguiente tabla que representa los valores de la funcin de transicin.

a p q
q r

b r
r r

La flecha indica que p es el estado inicial. El asterisco indica que q es un estado final de aceptacin. En general pueden aparecer varios asteriscos, pero no pueden haber varias flechas ya que slo hay un estado inicial

q r

Diagrama de transicin
a p b r a,b a q

Los estados finales de aceptacin se identifican por estar encerrados en un doble circulo. El estado inicial se destaca con una flecha arrugada.

Autmatas Incompletos A menudo nos encontramos con autmatas para los que no estn definidas todas las transiciones. Las situaciones que no estn definidas se consideran como situaciones de error, es decir, si una cadena hace llegar al autmata hasta una situacin no definida, consideraremos que la cadena no ha sido reconocida por dicho autmata.

Una de las caractersticas que posee a diferencia del AFD es que s puede estar en varios estados a la vez. Es decir en los autmatas deterministas sabemos exactamente cules la transicin que debemos llevar acabo ante una determinada situacin. Sin embargo, en los no deterministas podemos encontrarnos con varias opciones e, incluso, con -transiciones

Los AFND se definen como una tupla:

Donde: 2 es el conjunto formado por los subconjuntos de Q, incluyendo a T es una relacin binaria definida sobre Q que indica las transiciones del autmata (si pTq existe una -transicin desde p hasta q)

Tabla de Transicin
a b O O

Diagrama de Transicin
a,b

p q r

{q}

p
b

a a,

q
b

{p,s} {r,p} {s}

O
O

{s,p} {r,s}
O {r} s ,b r

Siendo O = Vaco

Fundamentalmente, el autmata a pila es un autmata finito no determinista con transiciones- y una capacidad adicional: una pila en la que se puede almacenar una cadena de smbolos de pila. La presencia de una pila significa que, a diferencia del autmata finito, el autmata a pila puede recordar una cantidad infinita de informacin. Sin embargo, a diferencia de las computadoras de propsito general, que tambin tienen la capacidad de recordar una cantidad arbitrariamente grande de informacin, el autmata a pila slo puede acceder a la informacin disponible en su pila de acuerdo con la forma de manipular una pila FIFO (primero en entrar primero en salir).

Entrada

Control de Estados Fintos

Aceptar/Rechazar

Pila Un control de estados finito lee las entradas, un smbolo cada vez. El autmata a pila puede observar el smbolo colocado en la parte superior de la pila y llevar a cabo su transicin basndose en el estado actual, el smbolo de entrada y el smbolo que hay en la parte superior de la pila.

La notacin formal de un autmata a pila incluye siete componentes: P = (Q, , , ,q0,Z0,F)

Donde: Q: Un conjunto finito de estados, como los estados de un autmata finito. : Un conjunto finito de smbolos de entrada. : Un alfabeto de pila finito. Este componente, que no tiene anlogo en los autmatas finitos, es el conjunto de smbolos que pueden introducirse en la pila. q0: El estado inicial. El autmata a pila se encuentra en este estado antes de realizar ninguna transicin. Z0: El smbolo inicial. Inicialmente, la pila del autmata a pila consta de una instancia de este smbolo y de nada ms. F: El conjunto de estados de aceptacin o estados finales.

P = (Q, , , ,q0,Z0,F)
: La funcin de transicin. Como en el autmata finito, controla el comportamiento del autmata. Formalmente, toma como argumento (q,a,X), donde: 1. q es un estado de Q. 2. a es cualquier smbolo de entrada de o a= , la cadena vaca, que se supone que no es un smbolo de entrada. 3. X es un smbolo de la pila, es decir, pertenece a . La salida de es un conjunto finito de pares (p, ), donde p es el nuevo estado y es la cadena de smbolos de la pila que reemplaza X en la parte superior de la pila. Por ejemplo, si = , entonces se extrae un elemento de la pila, si = X, entonces la pila no cambia y si =YZ, entonces X se reemplaza por Z e Y se introduce en la pila.

De un autmata con pila es de naturaleza no determinista, pues la clase de los autmatas con pila deterministas, a diferencia de lo que ocurra con aquellos modelos, tiene una potencia descriptiva estrictamente menor. Para calificar a un autmata con pila como determinista deben darse dos circunstancias; en primer lugar, por supuesto, que en la definicin de cada componente de la funcin de transicin existan un nico elemento lo que da la naturaleza determinista. Pero eso no es suficiente, pues adems puede darse la circunstancia de que el autmata est en el estado y en la pila aparezca el smbolo , entonces, si existe una definicin de transicin posible para algn smbolo cualquiera del alfabeto de entrada, pero, adems existe otra alternativa para la palabra vaca , tambin esto es una forma de no determinismo, pues podemos optar entre leer un smbolo o no hacerlo. Por eso, en autmata determinista no debe existir transicin posible con lectura de smbolo si puede hacerse sin ella, ni al contrario.

Un autmata de pila determinista (AFPD) es:

P = (Q, , ,, q0, T,Z)

Donde: Q es un conjunto finito de estados. es el alfabeto de entrada. es el alfabeto de la pila. q0 Q es el estado inicial. Z smbolo inicial de la pila. T es subconjunto de Q (conjunto de estados finales). es la funcin de transicin tal que:

: Q ( U { }) (Q *)

En un momento, la unidad de control del autmata escanea un smbolo a sobre la cinta de entrada y el smbolo s en el tope de la pila.

(q,a,s)=(q,)

P = (Q, , , , q0, T,Z):

Donde la funcin de transicin es de la forma:

: Q ( U { }) Pf(Q *)
Donde Pf (Q *) es un conjunto de subconjuntos finitos de Q * Para q Q, a U {} y s (q, a, s) = {(q1, 1), (q2, 2), . . . , (qn, n)} Donde i * = {a, b} (q0, a, Z) = (q0, AZ) (q0, , Z) = (q2, Z) (acepta ) (q0, a, A) = (q0, AA) (q0, b, A) = (q1, ) (q1, b, A) = (q1, ) (q1, , Z) = (q2, Z)

La mquina de Turing es un dispositivo puramente terico, que se utiliza para deducir si un problema es informatizable o no.

1. 2. 3. 4. 5. 6. 7.

Q es el conjunto (finito) de estados. q0 Q es el estado inicial. F es el conjunto de estados finales o de aceptacin, = F Q. es el alfabeto de entrada. es el alfabeto de cinta, que incluye a , es decir, . b es el smbolo blanco (el smbolo b no puede ser parte del alfabeto de entrada ). es la funcin de transicin de la maquina: : Q Q {, }