Contenido

Teora de autmatas finitos...............................................................................................1

1.

Defina qu es un autmata finito determinstico..................................................1

2. De que se encarga el proceso de aceptacin...........................................................1

3. Qu es un conjunto regulador?...............................................................................1
4. Haga un anlisis descriptivo, en el cual indique en que se parecen los autmatas
finitos y los gramticos lineales.....................................................................................1
5. Explique en que se basa el mtodo de construccin de subconjuntos.....................1
6. En qu se basan los autmatas de pila.....................................................................2
7. Como cree usted que se pueden minimizar los autmatas......................................2
Mquina de Turing.............................................................................................................3
1.

Explique en que se basa la mquina de Turing...................................................3

2.

Explique cmo es el procedimiento para reconocer los lenguajes......................3

3.

Defina el concepto de mquinas universales......................................................4

4.

Explique en que se basan los algoritmos y las funciones computables..............4

5.

Qu es un predicado decidible?........................................................................5

6.

Cules son los basamentos tericos del problema de parada?........................5

Referencias bibliogrficas..............................................................................................7

Teora de autmatas finitos

1. Defina qu es un autmata finito determinstico.
Es un modelo computacional que realiza cmputos en forma automtica sobre
una entrada para producir una salida. Su funcionamiento se basa en una funcin de
transicin,

que

recibe

partir

de

un estado

inicial una cadena

de

caracteres pertenecientes al alfabeto (la entrada), y que va leyendo dicha cadena a

medida que el autmata se desplaza de un estado a otro, para finalmente detenerse en
un estado final o de aceptacin, que representa la salida.
La finalidad de los autmatas finitos es la de reconocer lenguajes regulares, que
corresponden a los lenguajes formales ms simples segn la Jerarqua de Chomsky.
Un 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).
2. De que se encarga el proceso de aceptacin.
3. Qu es un conjunto regulador?
4. Haga un anlisis descriptivo, en el cual indique en que se parecen los
autmatas finitos y los gramticos lineales.
5. Explique en que se basa el mtodo de construccin de subconjuntos.
Es un mtodo estndar para, partiendo de un Autmata Finito No Determinista,
obtener un Autmata Finito Determinista equivalente, es decir, que reconozca el
mismo Lenguaje regular.
Mtodo. El algoritmo construye una tabla de transiciones, cada estado del AFD
es un conjunto de estados del AFN y se construye la tabla de modo que este simular
en paralelo todos los posibles movimientos que el AFN puede realizar con una
determinada cadena de entrada.

6. En qu se basan los autmatas de pila.

Los autmatas a pila son autmatas finitos que cuentan con una pila. Por ello,
en cada paso de computacin de los mismos, son capaces de operar en la pila de
acuerdo a las operaciones usuales de las mismas: obtener el contenido de la pila,
apilar uno o ms caracteres y desapilar un carcter.
El funcionamiento de un autmata a pila, la aproximacin ms sencilla es la
siguiente: primero se define el concepto de configuracin (estado en el que se
encuentra el autmata a pila en un momento concreto) y luego se define como el
autmata pasa de una configuracin a otra (paso de computacin).
7. Como cree usted que se pueden minimizar los autmatas.
Dos estados de un autmata finito determinista son estados equivalentes si al
unirse en un slo estado, pueden reconocer el mismo lenguaje regular que si
estuviesen separados. Esta unin de estados implica la unin tanto de sus transiciones
de entrada como de salida. Si dos estados no son equivalentes, se dice que son
estados distinguibles. Un estado final con un estado no final nunca ser equivalentes.
Un AFD est minimizado, si todos sus estados son distinguibles y alcanzables. Un
algoritmo de minimizacin de AFD es el siguiente:
1. Eliminar los estados inaccesibles del autmata.
2. Construir una tabla con todos los pares (p, q) de estados restantes.
3. Marcar en la tabla aquellas entradas donde un estado es final y el otro es nofinal, es decir, aquellos pares de estados que son claramente distinguibles.
4. Para cada par (p, q) y cada smbolo a del alfabeto, tal que r = (p,a) y s = (q,a):
5. Si (r, s) ya ha sido marcado, entonces p y q tambin son distinguibles, por lo
tanto marcar la entrada (p, q).
6. De lo contrario, colocar (p, q) en una lista asociada a la entrada (r, s).
7. Agrupar los pares de estados no marcados.

Luego del tercer paso, si la tabla creada queda completamente marcada, entonces el
AFD inicial ya era mnimo.

Mquina de Turing
1. Explique en que se basa la mquina de Turing.
Es un dispositivo que manipula smbolos sobre una tira de cinta de acuerdo a una
tabla de reglas. A pesar de su simplicidad, una mquina de Turing puede ser adaptada
para simular la lgica de cualquier algoritmo de computador y es particularmente til en
la explicacin de las funciones de un CPU dentro de un computador.

2. Explique cmo es el procedimiento para reconocer los lenguajes.

Consta de un cabezal lector/escritor y una cinta infinita en la que el cabezal lee
el contenido, borra el contenido anterior y escribe un nuevo valor. Las operaciones que
se pueden realizar en esta mquina se limitan a: Mover el cabezal lector/escritor hacia
la derecha. Mover el cabezal lector/escritor hacia la izquierda El cmputo se
determina a partir de una tabla de estados de la forma: (estado, valor) (nuevo estado,
nuevo valor, direccin). Esta tabla toma como parmetros el estado actual de la
mquina y el carcter ledo de la cinta, dando la direccin para mover el cabezal, el
nuevo estado de la mquina y el valor a escribir en la cinta.

La memoria es la cinta de la mquina que se divide en espacios de trabajo

denominados celdas, donde se pueden escribir y leer smbolos. Inicialmente todas las
celdas contienen un smbolo especial denominado "blanco". Las instrucciones que
determinan el funcionamiento de la mquina tienen la forma, "si estamos en el estado x
3

leyendo la posicin y, donde hay escrito el smbolo z, entonces este smbolo debe ser
reemplazado por este otro smbolo, y pasar a leer la celda siguiente, bien a la izquierda
o bien a la derecha".
3. Defina el concepto de mquinas universales.
Es una mquina de Turing que puede simular otra mquina de Turing arbitraria
en una entrada arbitraria. La mquina universal esencialmente logra esto mediante una
codificacin de la tabla que representa a una mquina de Turing, a su vez, como una
secuencia de smbolos en un determinado alfabeto; por ello, podemos construir una
mquina de Turing que acepte como entrada la tabla que representa a otra mquina de
Turing, y, de esta manera, simule su comportamiento.
4. Explique en que se basan los algoritmos y las funciones computables.
Son exactamente las funciones que se pueden calcular utilizando un dispositivo
de clculo mecnico dado una cantidad ilimitada de tiempo y espacio de
almacenamiento. Se afirma que, cualquier funcin que tiene un algoritmo es
computable. Tenga en cuenta que un algoritmo en este sentido se entiende que es una
secuencia de pasos que una persona con tiempo ilimitado y un suministro infinito de
lpiz y papel podra seguir.
La clase de funciones computables se puede definir en muchos modelos
equivalentes de computacin, incluyendo:
Mquinas de Turing
Funciones recursivas
El clculo lambda
Publique mquinas.
Registrarse mquinas
La caracterstica bsica de una funcin computable es que debe haber un
procedimiento finito dice cmo calcular la funcin. Los modelos de computacin antes
mencionados dan diferentes interpretaciones de lo que es un procedimiento y la forma
en que se utiliza, pero estas interpretaciones comparten muchas propiedades.
4

El hecho de que estos modelos dan clases de equivalentes de funciones

computables se deriva del hecho de que cada modelo es capaz de leer, imitando un
procedimiento para cualquiera de los otros modelos, tanto como un compilador es
capaz de leer las instrucciones en un lenguaje informtico y emitir instrucciones otro
idioma.
5. Qu es un predicado decidible?
Sea A un conjunto cualquiera y un predicado definido sobre A. Diremos que el
problema siguiente: Dado x A determinar si se verifica (x) es un problema de
decisin. Lo denotaremos por (A, ). Un problema de decisin diremos que es:
Decidible (o resoluble algortmicamente) si existe un procedimiento mecnico
que lo resuelve (es decir, que para cada x devuelve 1 si se verifica (x) y 0 si no se
verifica).
Indecidible o irresoluble algortmicamente si no es decidible.
Semidecidible. Si existe un procedimiento mecanico tal que, para cada x, si (x)
devuelve 1; caso contrario no para
6. Cules son los basamentos tericos del problema de parada?
A travs de su mquina Turing demostr que existen problemas que un
ordenador no puede resolver, existen funciones que no son posibles calcular mediante
la mquina de Turing, ya que no admiten una solucin algortmica. El ms conocido
de ellos es el problema de la parada, que consiste en determinar si una mquina de
Turing cualquiera se parar en un tiempo determinado sobre una entrada determinada
Existe un programa P, tal que, dado un programa cualquiera q y unos
datos de entrada x, el programa muestre como salida 1 si q con
entrada x termina en un nmero finito de pasos o muestre como salida
0 si q con x entra en un bucle infinito.
De ser encontrada la solucin, el impacto sobre las ciencias de cmputo sera
enorme. Pero mientras tanto, slo nosotros podemos ver si un bucle es infinito y saber
cundo parar el proceso. Al fin y al cabo, son este tipo de cosas las que siempre nos
5

han diferenciado de las mquinas, pues nosotros, a diferencia de las mquinas,

tomamos decisiones a partir de emociones.

Referencias bibliogrficas
Amaya, L. (2015). Mquinas de Turing: Lenguajes aceptados por una maquina
Turing.Maquinaturing.blogspot.com. Recuperado 7 Marzo 2015, a partir de
http://maquinaturing.blogspot.com/p/lenguajes-aceptados-por-una-maquina.html
Docsetools.com, (2015). Funcin computable, Definicin, Caractersticas de las
funciones computables, Conjuntos y relaciones computables, Los lenguajes
formales, Ejemplos, Tesis de Church-Turing, Funciones no computables y
problemas irresolubles, Extensiones de computabilidad. Recuperado 7 Marzo
2015,
a
partir
de
http://docsetools.com/articulos-noticiasconsejos/article_130251.html
Es.wikipedia.org, (2015). Mquina de Turing. Recuperado 7 Marzo 2015, a partir de
http://es.wikipedia.org/wiki/M%C3%A1quina_de_Turing
Es.wikipedia.org, (2015). Problema de la parada. Recuperado 7 Marzo 2015, a partir de
http://es.wikipedia.org/wiki/Problema_de_la_parada
Por cierto...,. (2015). Indecidibilidad: el Problema de la Parada. Recuperado 7 Marzo
2015, a partir de http://porcierto.tumblr.com/post/4955545361/indecidibilidad-elproblema-de-la-parada
Aho, A., Sethi, R., Ullman, J., Flores Surez, P., & Botella i Lpez, P. (1998).
Compiladores. Mxico: Addison-Wesley.
Isasi Vinuela, P., Martnez Fernndez, P., & Borrajo, D. (1997). Lenguajes, gramticas y
autmatas. Harlowm [etc.]: Addison Wesley.