Universidad Mariano Glvez. Lenguajes Formales y Autmatas. Ing.

Alejandro Chinchilla

Ejemplos

Cesar Orlando Cordn Martnez 1190-10-3167

Autmatas Finitos Deterministas

n autmata finito determinista (abreviado AFD) es un autmata finito que adems es un sistema determinista; es decir, para cada estado q Q en que se encuentre el autmata, y con cualquier smbolo a del alfabeto ledo, existe siempre a lo ms una transicin posible (q,a). En un AFD no pueden darse ninguno de estos dos casos: Que existan dos transiciones del tipo (q,a)=q1 y (q,a)=q2, siendo q1 q2; Que existan transiciones del tipo (q,), salvo que q sea un estado final, sin transiciones hacia otros estados.

Un ejemplo interesante de autmatas finitos deterministas son los tries. Trie:Un trie es un caso especial de autmata finito determinista (S, ,
T, s, A), que sirve para almacenar un conjunto de cadenas E en el que: es el alfabeto sobre el que estn definidas las cadenas; S, el conjunto de estados, cada uno de los cuales representa un prefijo de E; la funcin de transicin: ; est definida como sigue: T(x,) = x si , e indefinida en otro caso; el estado inicial s corresponde a la cadena vaca ; el conjunto de estados de aceptacin es igual a E.

Su nombre procede del trmino ingls retrieval.

Este Autmata Finito Determinista acepta en lenguaje regular cadena como:

[00]* + [11]* + [01]* + [10]*

EJEMPLOS AUTMATA FINITO DETERMINISTA - Este es un autmata que acepta cadenas que tienen dos ceros antes de un uno (001), en leguaje formal seria: [1* + 01* + 0*] [001]. Procesemos la cadena 00001. - q0 - q1 lemos un cero. - q2 lemos un cero. - q2 lemos un cero - q3 lemos un uno y estamos en aceptacin. (Si cumple).

El siguiente autmata define cadenas que terminen con un uno y un cero (10) como por ejemplo: [0+1]* [10]*. Procesemos la cadena 01010110 A lemos un cero, quedamos en A. A lemos un uno, pasamos a B. B Lemos un cero, pasamos a C. C Lemos un uno, pasamos a B. B Lemos un cero, pasamos a C. C Lemos un uno, pasamos a B. B Lemos un uno, quedamos en B. B Lemos un cero, vamos a C y estamos en aceptacin (si cumple).

Autmatas Finitos No Deterministas

n autmata finito no determinista (abreviado AFND) es aquel que, a diferencia de los autmatas finitos deterministas, posee al menos un estado q Q, tal que para un smbolo a del alfabeto, existe ms de una transicin (q,a) posible.

Haciendo la analoga con los AFDs, en un AFND puede darse cualquiera de estos dos casos: Que existan transiciones del tipo (q,a)=q1 y (q,a)=q2, siendo q1 q2; Que existan transiciones del tipo (q,), siendo q un estado no-final, o bien un estado final pero con transiciones hacia otros estados.

Cuando se cumple el segundo caso, se dice que el autmata es un autmata finito no determinista con transiciones vacas o transiciones (abreviado AFND-). Estas transiciones permiten al autmata cambiar de estado sin procesar ningn smbolo de entrada. Formalmente, se distingue de la 5-tupla que define a un autmata finito determinista en su funcin de transicin. Mientras en un AFD esta funcin se define de la siguiente manera: en un AFND se define como:

Para el caso de los AFND-, se suele expresar la funcin de transicin de la forma:

donde P(Q) es el conjunto potencia de Q. Esto significa que los autmatas finitos deterministas son un caso particular de los no deterministas, puesto que Q pertenece al conjunto P(Q). La interpretacin que se suele hacer en el cmputo de un AFND es que el automta puede estar en varios estados a la vez, generndose una ramificacin de las configuraciones existentes en un momento dado. Otra interpretacin puede ser imaginar que la mquina "adivina" a qu estado debe ir, eligiendo una transicin entre varias posibles. Note finalmente que en un autmata finito no determinista podemos aceptar la existencia de ms de un nodo inicial, relajando an ms la definicin original.
Este Autmata Finito No Determinista que determina cadenas (a| b)*b+

EJEMPLOS AUTMATA FINITOS NO DETERMINISTA - Este es un autmata finito no determinista para comprobar cadenas que comiencen con dos a (aa). Comprobar cadena: aabb. - 1 lemos una a, pasamos a 2. - 2 Lemos una a, pasamos a 3, estamos en aceptacin. - 4 Cualquier datos despus es aceptado.

- El Siguiente autmata finito no determinista para aceptar la cadena: (a b)* aa. Procesemos la cadena. - 1 lemos una a, pasamos al 2. - 2 lemos una b, pasamos al 1. - 1 lemos una a, pasamos al 3. - 3 lemos una a pasamos al 4, estamos en aceptacin.

Autmatas a Pila

os automatas a pila son maquinas abstractas que reconocen exactamente la clase de los lenguajes independientes del contexto.

La configuracin de un autmata a pila en un momento dado viene definida por el triple (q; _;w), donde q indica el estado en el que se encuentra el autmata, el contenido de la pila y w la parte de la cadena de entrada que resta por leer. El cambio de una configuracin a otra viene determinado por la aplicacin de una transicin, de tal modo que si (q; _Z; aw) es una configuracin y (q0; _) 2 _(q; a;Z), entonces el autmata pasar a a la nueva configuracin (q0; __;w), hecho que denotamos mediante (q; _; aw) ` (q0; __;w).

Ejemplo Disear un AFPN que acepte el lenguaje Sobre: = {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)
4

EJEMPLOS AUTMATAS A PILA - Autmata a pila que acepta la misma cantidad de a y de b.

Autmata a pila que vaca su pila antes de aceptar cualquier palabra..

Maquina de Turing

a mquina de Turing es un modelo computacional introducido por Alan Turing en el trabajo On computable numbers, with an application to the Entscheidungsproblem, publicado por la Sociedad Matemtica de Londres, en el cual se estudiaba la cuestin planteada por David Hilbert sobre si las matemticas son decidibles, es decir, si hay un mtodo definido que pueda aplicarse a cualquier sentencia matemtica y que nos diga si esa sentencia es cierta o no. Turing construy un modelo formal de computador, la mquina de Turing, y demostr que existan problemas que una mquina no poda resolver. La mquina de Turing es un modelo matemtico abstracto que formaliza el concepto de algoritmo. Una mquina de Turing con una sola cinta puede ser definida como una 6-tupla , donde Q es un conjunto finito de estados es un conjunto finito de smbolos de cinta, el alfabeto de cinta es el estado inicial es un smbolo denominado blanco, y es el nico smbolo que se puede repetir un nmero infinito de veces es el conjunto de estados finales de aceptacin es una funcin parcial denominada funcin de transicin, donde L es un movimiento a la izquierda y R es el movimiento a la derecha.

EJEMPLOS MAQUINAS DE TURING

Maquina de Turing para comprobar cadenas que terminen con a.

Maquina de Turing para comprobar cadenas que inicien con a.