Teora de autmatas

La teora de autmatas es una rama de las ciencias de la computacin que estudia las mquinas abstractas y los problemas que stas son capaces de resolver. La teora de autmatas est estrechamente 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 (FSM sus siglas en ingls). Una FSM es una mquina que, dada una entrada de smbolos, "salta" a travs de una serie de estados de acuerdo a una funcin de transicin (que puede ser expresada como una tabla). En la variedad comn "Mealy" de FSMs, esta funcin de transicin dice al autmata a qu estado cambiar dados unos determinados estado y smbolo. La entrada es leda smbolo por smbolo, hasta que es "consumida" completamente (piense en sta como una cinta con una palabra escrita en ella, que es leda por una cabeza lectora del autmata; la cabeza se mueve a lo largo de la cinta, leyendo un smbolo a la vez) una vez la entrada se ha agotado, el autmata se detiene. Dependiendo del estado en el que el autmata finaliza se dice que este ha aceptado o rechazado la entrada. Si ste termina en el estado "acepta", el autmata acepta la palabra. Si lo hace en el estado "rechaza", el autmata rechaz la palabra, el conjunto de todas las palabras aceptadas por el autmata constituyen el lenguaje aceptado por el mismo.
ndice
[ocultar]

1 Vocabulario

2 Autmatas finitos

2.1 Extensiones a los autmatas finitos

3 Vase tambin 4 Enlaces externos 5 Referencias

Vocabulario[editar editar cdigo]

Los conceptos bsicos de smbolos, palabras, alfabetos y strings son comunes en la mayora de las descripciones de los autmatas. Estos son: Smbolo Un dato arbitrario que tiene algn significado a o efecto en la mquina. A estos smbolos tambin se les llama "letras" o "tomos".1 Palabra Una cadena finita formada por la concatenacin de un nmero de smbolos. Alfabeto Conjunto finito de smbolos. Un alfabeto se indica normalmente con letras en un alfabeto. Lenguaje Un conjunto de palabras, formado por smbolos en un alfabeto dado. Puede ser infinito. Clausura de Kleene Un lenguaje se puede considerar como un subconjunto de todas las posibles palabras. El conjunto de todas las palabras puede, a su vez, ser considerado como el conjunto de todas las posibles concatenaciones de cadenas. Formalmente, este conjunto de todas las cadenas se llama en ingls free monoid. Se indica como Kleene. , y el superndice * se llama la estrella de , que es el conjunto de

Autmatas finitos[editar editar cdigo]

Formalmente, un autmata finito (AF) puede ser descrito como una 5tupla .

Existen tres tipos de autmatas finitos Autmata finito determinista (AFD) Cada estado de un autmata de este tipo puede o no tener una transicin por cada smbolo del alfabeto.

AFD.

Autmata finito no determinista (AFND) Los estados de un autmata de este tipo pueden, o no, tener una o ms transiciones por cada smbolo del alfabeto. El autmata acepta una palabra si existe al menos un camino desde el estado q0 a un estado final F etiquetado con la palabra de entrada. Si una transicin no est definida, de manera que el autmata no puede saber como continuar leyendo la entrada, la palabra es rechazada. Autmata finito no determinista con transiciones (AFND-) Adems de ser capaz de alcanzar ms estados leyendo un smbolo, permite alcanzarlos sin leer ningn smbolo. Si un estado tiene transiciones etiquetadas con , entonces el AFND puede encontrarse en cualquier de los estados alcanzables por las transiciones , directamente o a travs de otros estados con transiciones . El conjunto de estados que pueden ser alcanzados mediante este mtodo desde un estado q, se denomina la clausura de q.

Sin embargo, puede observarse que todos estos tipos de autmatas pueden aceptar los mismos lenguajes. Siempre se puede construir un AFD que acepte el mismo lenguaje que el dado por un AFND.

AFND con transiciones vacas.

Extensiones a los autmatas finitos[editar editar cdigo]

Los lenguajes aceptados por los autmatas descritos ms arriba se denominan lenguajes regulares. Autmatas ms potentes pueden aceptar lenguajes ms complejos. Algunos de estos autmatas son: Autmata con pila Son mquinas idnticas a los AFD (o AFI), exceptuando el hecho de que disponen de una memoria adicional, haciendo uso de unapila. La funcin de transicin ahora depender

tambin de los smbolos que se encuentren al principio de la pila. Esta funcin determinar como cambia la pila en cada transicin. Este tipo de autmatas aceptan los lenguajes independientes del contexto. Autmata linealmente acotado Se trata de una mquina de Turing limitada. Mquina de Turing Son las mquinas computacionales ms potentes. Poseen una memoria infinita en forma de cinta, as como un cabezal que puede leer y cambiar esta cinta, y moverse en cualquier direccin a lo largo de la cinta.