Está en la página 1de 14

Lenguajes y

 Autómatas I
UNIDAD III: Autómatas Finitos
UNIDAD IV: Máquina de Turing

Profesor:
I.S.C: Rosemberg López
Jiménez

José Del Carmen Méndez


Candelaria

Ingeniería en Sistemas Computacionales


Computacionales
6º Semestre
Grupo C
Libertad de espíritu en ciencia y tecnología

Contenido
INTRODUCCIÓN  .................................................................................................................................. 2
  ................................................................................................ 3
3.1 Definición formal   ............................................................................................................................... 4
3.2 Clasificación de AF
AF  ........................................................................................................................... 5
3.3 Conversión de un AFND a AFD  ....................................................................................................... 9
3.4 Representación de
de ER usando AFND  ............................................................................................. 11
3.5 Minimización de
de estados en un AF
AF   ................................................................................................. 13
3.6 Aplicaciones (definición de un caso de estudio)   .............................................................................. 14
  .............................................................................................. 19
Adentrándose a la Historia de la MT  .................................................................................................... 20
4.1 Definición formal MT 4  ............................................................................................................... 20
4.2 Construcción modular
modular de una
una MT  ............................................................................................... 23
4.3 Lenguajes aceptados
aceptados por la
la MT.  ................................................................................................. 25
CONCLUSIÓN  ..................................................................................................................................... 28
BIBLIOGRAFÍA AF  ........................................................................................................................... 29
BIBLIOGRAFIA MT  .......................................................................................................................... 30

Ingeniería en Sistemas Computacionales


1
Libertad de espíritu en ciencia y tecnología

INTRODUCCIÓN
En el siguiente escrito se abordarán temas a cerca de los autómatas finitos y subtemas de la 3ª
unidad del plan de estudios de la materia LENGUAJES Y AUTOMATAS I; donde se aprenderá
y conocerá la importancia del estudio de los autómatas dentro de los procesos de desarrollo de
software, y algunas aplicaciones.
Partiendo del conocimiento de sus comportamientos, aspectos y características más relevantes
de estos autómatas. Los autómatas son esencialmente importantes en las actividades sociales,
ya que se encuentran dentro de todo tipo de maquinaria y aplicaciones desarrolladas, donde estas
tienen las funcionalidades específicas con las que realizan sus operaciones y actividades;
además de sus comportamientos, características y funcionalidad que tienden los autómatas se
detallara cómo influyen en la vida social y real de los ser humanos.
Los autómatas finitos, son antes de todos logísticas matemáticas, en las que se realizan
operaciones en cada estado de los eventos, estos eventos pueden ser de un solo estado o varios;
al tener acciones con estados de dos o más eventos, los autómatas finitos tienden a cambiar de
finitos determinísticos a no determinísticos.
Dentro de estas hojas se denotan las esquematizaciones de los nuevos autómatas finitos:
 Determinísticos
  No Determinísticos
Se conocerán su estructuras, funcionalidades y comportamientos entre estos dos tipos de
autómatas, dentro de ello se abarcara las conversiones o transformaciones entre estos autómatas.
Como breve definición un autómata finito o máquina de estado finito: es un modelo
matemático de un sistema que recibe una cadena constituida por símbolos de un alfabeto
y determina si esa cadena pertenece al lenguaje que el autómata reconoce.
En la sección de la MT, se conocerá deforma formal que es una máquina de Turing y sus
componentes; además de ello se detallara de forma explícita algunos conceptos sobre su
desarrollo y formación.
La máquina de Turing es un dispositivo capaz de establecer los problemas intratables, para
conocer si es resolutorio o no. Tales confirmaciones se deben y se detallan de cada proceso u
 problemas matemáticos de la vida real.
Al igual que los AF la máquina de Turing utiliza estructuras, transiciones y formas de
conformación para la representación de los modelos matemáticos, de situación en las que se
desea conocer si estos tienen soluciones, ya que un computador no puede definir dicha
confirmación, ya que es un proceso tardado.

Ingeniería en Sistemas Computacionales


2
Libertad de espíritu en ciencia y tecnología

Ingeniería en Sistemas Computacionales


3
Libertad de espíritu en ciencia y tecnología

3.1 Definición formal


Definición 1

 El Autómata Finito es la máquina más restrictiva de todas y desde luego que se puede definir
como un caso particular de una MT. También podemos verla como un AP sin pila. Obviamente
que al sacarle la pila lo único que queda es la cinta finita de entrada. Este modelo matemático
abstracto representa la solución del problema de aceptación de lenguajes de tipo 3 o LR. 3.1a

Definición 2

Son máquinas formales que se usan para reconocer lenguajes regulares. Lenguajes más
 sencillos, los lenguajes que son generados por gramáticas regulares.

Con ello se deduce que un autómata finito es; una máquina con un número finito de estados
que lee símbolos de una cinta de entrada infinita. El comportamiento de la máquina está
determinado únicamente por el estado en que se encuentra y el símbolo en la cinta de
entrada. Al leer un símbolo de la cinta de entrada cambia de estado y avanza en la cinta de
entrada. Cuando ya no quedan símbolos por leer, se detiene. Aun cuando la cinta es infinita,
la cadena que guía el comportamiento del autómata no lo es. Esta cadena puede ser tan larga
como se quiera, pero siempre finita. 3.1b

Definición 3

Un autómata 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
autómatas finitos es si dicho control es “determinista”, lo que quiere decir que el autómata no
 puede encontrarse en más de un estado a un mismo tiempo, o “no determinista”, lo que significa
que sí puede estar en varios estados a la vez.3.1c

Un autómata finito es un vector de tres elementos M = (I,S,δ, F)donde I es el conjunto finito de


entradas, S es el conjunto finito de estados (no vacío), δ es la función de transición de estados
 y F es el conjunto finito de estados finales (incluidos en S).3.1d

Un autómata es una representación gráfica que muestra el proceso de reconocimiento de una


cadena de entrada. La simbología utilizada es simple: 3.1e
Diagrama Descripción
Un círculo representa un estado n, donde n es un número natural o bien
una letra, generalmente.
Un arco representa la lectura de un símbolo a en la entrada. Transición
entre estados.
Estado de inicio s. Es generalmente 0 (cero).

Ingeniería en Sistemas Computacionales


4
Libertad de espíritu en ciencia y tecnología

Estado de aceptación f.

3.2 Clasificación de AF
Un AF tiene un conjunto de estados y su control se mueve de estado en estado, en respuesta a
entradas externas. Estas entradas forman las cadenas a ser analizadas. Los estados de un AF,
son de tres tipos: estado inicial, que permite empezar la ejecución del autómata; estados finales
o estados “de aceptación” que permiten realizar la salida de aceptación de la cadena de entrada
en el caso de que no haya más símbolos en la entrada, y estados intermedios, que son los que
 permiten pasar del estado inicial a algún estado final.

Los AF se dividen en diversas clases, dependiendo de si su control es “determinista”


(lo que significa que el autómata no puede estar en más de un estado simultáneamente)
o “no determinista” (lo que significa que el autómata puede estar en varios estados al mismo
tiempo).3.2

Los autómatas finitos se pueden clasificar en función del tipo de control como:

Deterministas, el autómata únicamente puede estar en un estado en un momento


determinado.

No Deterministas, el autómata puede estar en varios estados simultáneamente.

Ambos definen los mismos lenguajes (regulares), sin embargo los No deterministas permiten
describir más eficientemente determinados problemas.3.2a

Para conocer más afondo sobre los autómatas finitos determinísticos y no determinísticos, a
continuación se detallara de forma breve cada uno de estos autómatas; ya que es necesario para
 poder entender y comprender el siguiente tema de conversiones de un autómata finito no
determinístico a un autómata finito determinístico.

 Definiciones de autómatas finitos no determinísticos y determinísticos.

Autómata finito determinístico (AFD); es aquel que siempre está en un solo estado después
de leer cualquier secuencia de entradas; la palabra determinista nos dice que para cada entrada
existe un único estado al que el autómata puede llegar partiendo del estado actual; comencemos
dando la definición formal. El autómata finito determinista. El término “determinista” hace
referencia al hecho de que, para cada entrada, existe un único estado al que el autómata
 pueda llegar partiendo del estado actual.

Ingeniería en Sistemas Computacionales


5
Libertad de espíritu en ciencia y tecnología

Un AFD genera un solo tipo de salida: acepta o no una secuencia de símbolos de entrada. Esa
aceptación está representada si el autómata se encuentra en algún estado del conjunto F. El
comportamiento de un AFD, comienza en el estado inicial (q0), y según se van recibiendo los
símbolos de la entrada transita entre los estados (del conjunto Q), de acuerdo a la función de
transición f. Si en un determinado momento se encuentra en un estado de aceptación
(del conjunto F), reconoce como válida la cadena formada por los símbolos de entrada leídos
hasta el momento. Si no, no es aceptada.

Fig. 1. AFD. Representación de un autómata finito


determinístico

Definición Un Autómata Finito Determinístico (AFD) es una quíntupla: M = (Q;∑; q 0; f; F ),


donde
Q Es un conjunto nito no vacío (los elementos de Q son llamados estados)
∑ es un conjunto de símbolos de entrada al que llamaremos alfabeto.
q1∈ Q, es un estado al que llamaremos estado inicial.
 f Es una función Q x ∑ → Q que se llama función de transición; esta recibe como argumentos
un estado y una entrada y devuelve un estado.
q F  ∁ Q es un conjunto de estados a los cuales llamaremos estados finales o de aceptación.

 Existen dos notaciones preferibles para describir los autómatas:

1. Un diagrama de transiciones, que es un grafo.

2. Una tabla de transiciones, que es una enumeración tabular (tabla) de la función f, que a la
vez describe el conjunto de estados, y el alfabeto de entrada.

 Diagramas de transiciones

Un diagrama de transiciones para un AFD A = (Σ, Q, q0, f, F), es un grafo definido


de la siguiente forma:

a) Hay un nodo para cada estado de Q.

Ingeniería en Sistemas Computacionales


6
Libertad de espíritu en ciencia y tecnología

Ingeniería en Sistemas Computacionales


19
Libertad de espíritu en ciencia y tecnología

Poco de historia 4.0

 A finales del siglo XIX, el matemático David Hilbert se preguntó si era posible encontrar un
algoritmo para determinar la verdad o falsedad de cualquier proposición matemática. En
 particular, se preguntaba si existiría un modo de determinar si cualquier fórmula del cálculo
de predicados de primer orden, aplicado a enteros, es verdadera. Dado que el cálculo de
 predicados de primer orden sobre los enteros es suficientemente potente como para expresar
 frases como esta gramática es ambigua, si Hilbert hubiera tenido éxito, existirían algoritmos
 para dichos problemas, que ahora sabemos que no existen esta proposición se conoce con el
nombre de problema de Hilbert.

 En 1963, Alan Mathinson Turing propuso la máquina que lleva su nombre como modelo de
cualquier computación posible. Este modelo se parece más a una computadora que a un
 programa, aunque las verdaderas computadoras electrónicas, o incluso los electromecánicas,
tardaron varios años en ser construidas. La máquina de Turing consta de una unidad de control,
que pueda estar en cualquier estado tomado de un conjunto infinito. Hay una cinta dividida en
cuadrados o casillas, y cada casilla puede contener un símbolo, tomado de otro conjunto
infinito. Inicialmente, se sitúa en la cinta de entrada, que es una caden a de símbolos de longitud
infinita, elegidos del alfabeto de entrada. El resto de las casillas de la cinta, que se extiende
infinitamente hacia la derecha y hacia la izquierda, contiene, inicialmente, un símbolo
denominado espacio en blanco. El espacio en blanco es un símbolo de cinta, pero no un símbolo
de entrada, y puede haber también otros símbolos de cinta además de los símbolos de entrada
 y del espacio en blanco. Existe una cabeza de la cinta que siempre está situada sobre una de
las casillas de la cinta. Se dice que la máquina de Turing está señalando dicha casilla. Al
 principio, la cabeza de la cinta se encuentra en la casilla de la entrada situada más a la
izquierda. Un movimiento de la máquina de Turing es una función del estado de la unidad de
control y del símbolo de la cinta al que señala la cabeza.

4.1 Definición formal MT 4


Definición 1: 4.1

Una Máquina de Turing es un  modelo matemático  que consiste en un  autómata capaz de
implementar cualquier   problema matemático expresado por medio de un  algoritmo.  Alan
Turing; fue un matemático inglés que vivió durante la primera mitad del siglo XX. Aunque fue
un matemático brillante en muchos campos, destacando especialmente en criptografía, su
 principal interés se centraba en la lógica, que en aquellos momentos se encontraba en plena
ebullición gracias al intento de David Hilbert de hallar una formulación de las matemáticas sobre
una base estricta de lógica formal. La Máquina de Turing, o Máquina de Computación Lógica
como la llamaba él, fue quizás la mayor aportación de Alan Turing a esta tarea y con seguridad

Ingeniería en Sistemas Computacionales


20
Libertad de espíritu en ciencia y tecnología

su descubrimiento de mayor transcendencia, ya que abrió el camino de la ciencia de la


Computación, que a su vez nos lleva al computador que en estos momentos estoy utilizando
 para escribir esto, o al que usted está usando para leerlo. En definitiva, Alan Turing fue uno de
los científicos más importantes de la primera mitad del siglo XX y, sin duda, una de las mentes
que más influyó en la manera actual que tenemos de ver el mundo e interactuar con él.

“Una Máquina de Turing es un modelo matemático“

“Modelo matemático” es una expresión de esas que se utilizan con cierta frecuencia pero que
 pocas veces nos paramos a pensar qué significa. Y aunque parezca algo complicado, en realidad
se trata de un concepto bastante sencillo.

Es un conjunto de reglas que “encajan” en la explicación y resolución de un problema, es decir,


que modelizan una situación concreta para poder explicarla y encontrar el modo de resolverla.
Más aún, se podría decir que un modelo matemático es un conjunto de reglas capaces de
 generalizar  y resolver   un problema matemático concreto y cualquier otro de su misma
naturaleza que se pueda plantear.

“Una máquina de Turing es un autómata”

En matemáticas, un autómata  es lo que se conoce como una máquina teórica, es decir, un


dispositivo cuyo funcionamiento se estudia sin necesidad de construirlo realmente. En concreto
un autómata es una máquina teórica que lee unas instrucciones en forma de símbolos y cambia
de estado según éstas.

Una máquina de Turing es un autómata que consta de una cabeza lectora y una cinta infinita en
la que la cabeza puede leer símbolos, borrarlos, escribirlos y  moverse  a la derecha o a la
izquierda. Por supuesto también consta de una función de estado que determinará los cambios
de un estado a otro que se deben producir en función de las instrucciones que reciba.

Fig.9 Máquina de Turing

Ingeniería en Sistemas Computacionales


21
Libertad de espíritu en ciencia y tecnología

Definición 2:4.1a

La Máquina de Turing (MT) es el modelo de autómata con máxima capacidad


computacional: la unidad de control puede desplazarse a izquierda o derecha y sobre
escribir símbolos en la cinta de entrada.

Definición formal: 4.1def

Una Máquina de Turing MT es una séxtupla M = donde

Q El conjunto finito de estados de la unidad de control.

∑ El conjunto finito de símbolos de entrada.

 El conjunto completo de símbolos de la cinta; ∑ siempre es un subconjunto de

 La función de transición. Los argumentos de (q; X ) son un estado q y un símbolo de la cinta


X . El valor de (q; X ), si esta es una tupla (p; Y; S ) donde

1. p es el estado siguiente de Q

2. Y es el símbolo de  , que se escribe en la casilla señalada por la cabeza de la cinta y que
 sustituye al símbolo que se encontraba en dicha casilla.

3. S es un sentido I o D (izquierda o derecha) que nos indica en qué sentido se mueve la cabeza
q0

 Es el estado inicial.

 B Es el símbolo del espacio en blanco B ∈  , y aparecerá inicialmente en todas las casillas de
la cinta, menos en aquellas que contienen los símbolos de entrada

 F ∁ es el conjunto de estados finales o de aceptación

Definición formal: 4.1def2

Una Máquina de Turing (MT) es una tupla M = (K, Σ, δ, s), donde

• K es un conjunto finito de estados, h  K.

• Σ es un alfabeto finito, # ∈   Σ.

Ingeniería en Sistemas Computacionales


22
Libertad de espíritu en ciencia y tecnología

BIBLIOGRAFÍA AF
 3.1a: LENGUAJES REGULARES Y 3.2c SINTAXIS Y SEMÁNTICA DEL
 AUTOMATAS FINITOS/U.T.N. –  F.R.T. /S. y S. LENGUAJE UTN FRSF  –   APUNTENRO.
de los L./ING. JORGE BUABUD 2/AUTÓMATAS FINITOS/2009
http://www.slideshare.net/jbuabud/lenguajes-
regulares-y-autmatas-finitos-clase-7  3.3 CONVERSIÓN DE UN AFN A UN
AFD/EDGAR RUIZ L., EDUARDO RAFFO
3.1b: CAPÍTULO 3/AUTÓMATAS DE L./DOCENTE DEL DEPARTAMENTO DE
ESTADOS FINITOS/S.Takahashi INGENIERÍA DE SISTEMAS E
INFORMÁTICA./FACULTAD DE
3.1c: TEORÍA DE AUTÓMATAS, INGENIERÍA INDUSTRIAL, UNMSM E-
LENGUAJES Y COMPUTACIÓN/John E. MAIL: ERUIZL@UNMSM.EDU.PE/
Hopcroft, Rajeev Motwani, Jeffrey D. DOCENTE DEL DEPARTAMENTO DE
Ullman/PEARSON ADDISON WESLY INGENIERÍA DE SISTEMAS E
INFORMÁTICA./FACULTAD DE
3.1d: TEMA II: INTRODUCCIÓN A LA INGENIERÍA INDUSTRIAL, UNMSM E-
TEORÍA DE AUTÓMATAS FINITOS/1. MAIL: ERAFFOL@UNMSM.EDU.PE
INTRODUCCION. DEFINICION /AUTÓMATAS FINITOS

3.1e: ING. FCO. RÍOS 3.4  CONVERSION DE ER A AFND/CAP. 2


ACOSTA/FRIOSAM@PRODIGY.NET.MX/ LENGUAJES REGULARES/ TEORIA DE LA
AUTÓMATAS FINITOS COMPUTACION/(LENGUAJES
FORMALES, COMPUTABILIDAD Y
3.2  SINTAXIS Y SEMÁNTICA DEL COMPLEJIDAD)/APUNTES Y
LENGUAJE UTN FRSF  –   APUNTE NRO. EJERCICIOS/GONZALO
2/AUTÓMATAS FINITO  NAVARRO/DEPARTAMENTO DE
CIENCIAS DE LA
3.2a  AUTÓMATAS FINITOS COMPUTACION/UNIVERSIDAD DE CHILE
DETERMINÍSTICOS AFD/ CUADERNILLO
DE APUNTES TEORÍA DE LA Blog de autómatas finitos...
COMPUTACIÓN/ MAGALY GONZÁLEZ http://automatas-finitos.blogspot.mx/
MOTA/30 DE JUNIO DE 2010
Autómatas Finitos
3.2.a SINTAXIS Y SEMÁNTICA DEL http://www.monografias.com/trabajos-
LENGUAJE UTN FRSF  –   APUNTENRO.  pdf/automatas-finitos/automatas-finitos.pdf
2/AUTÓMATAS FINITOS
Autómatas Finitos/Raúl Jiménez
3.2.b TEMA 4. AUTÓMATAS http://www.uhu.es/raul.jimenez/DIGITAL_II/d
FINITOS/CLASIFICACIÓN DE UN AF ig2_ii.pdf7
http://www.uhu.es/francisco.moreno/talf/docs/t
ema4_2.pdf 

Definiciones de autómatas finitos


http://trevinca.ei.uvigo.es/~formella/doc/talf09/
talf.pdf 

Ingeniería en Sistemas Computacionales


29
Libertad de espíritu en ciencia y tecnología

Tema 2_automatas finitos (BETKE,1997) BETKE M. Y GURVITS L.;


http://quegrande.org/apuntes/ETIS- “MOBILE ROBOT LOCALIZATION USING
USC/1/TALF1/teoria/07-08/tema_2_- LANDMARKS”. IEEE TRANSACTIONS ON
 _automatas_finitos.pdf  ROBOTICS AND AUTOMATION, VOL. 13 [2],
135-142, (1997)
Conversión AFND a AFD
http://sisbib.unmsm.edu.pe/bibvirtualdata/publi (FOX,1999) FOX D., BURGARD W.
caciones/indata/vol6_n1/pdf/conversion.pdf  Y THRUN S.;“MARKOV LOCALIZATION FOR
MOBILE ROBOTS IN DYNAMICS
3.5 Y 3. 6 (HOPCROFT,1997) HOPCROFT J. E.
ENVIRONMENTS”. JOURNAL OF
Y ULLMAN J. D.; INTRODUCCIÓN A LA
ARTIFICIAL INTELLIGENCE RESEARCH VOL.
TEORÍA DE AUTÓMATAS, LENGUAJES
11 391-427 (1999)
Y COMPUTACIÓN,
COMPAÑÍA EDITORIAL CONTINENTAL, S.A. (CATÁLOGO,2010) CATALOGO
DE C.V., MÉXICO (1997). ELECTRÓNICO DE CIRCUITOS
INTEGRADOS DATASHEET (2010).
(BROOKSHEAR,1989) BROOKSHEAR J.
G.; TEORÍA
HTTP://WWW.DATASHEET4U.COM/
DE LA COMPUTACIÓN, ADDISON WESLEY
IBEROAMERICANA, MEXICO (1989).
BIBLIOGRAFIA MT
(CROWLEY,1989) CROWLEY J.; “ WORLD
MODELING AND POSITION ESTIMATION
FOR A MOBILE ROBOT USING ULTRASONIC
RANGING”. IEEE CONFERENCE ON
ROBOTICS AND AUTOMATION, ICRA DEFINICIÓN DE UNA MÁQUINA DE
89, VOL. 3, 1574-1579 (1989). TURING/CUADERNILLO DE APUNTES TEORÍA DE
LA COMPUTACIÓN/MAGALY GONZÁLEZ
(MAES,1990) MAES P. Y BROOKS R.
MOTA/30 DE JUNIO DE 2010
A.;“LEARNING TO COORDINATE
BEHAVIORS”. MASSACHUSETTS INSTITUTE
PUBLICADO EL
“ JAVIER ORIBE” EN
OF TECHNOLOGY,1-7 (1990).
MÁQUINADETURING / ELMAQUINADETURING
(SENG,1997) SENG K. Y KLEEMAN L.;
HTTP://ELMAQUINADETURING.WORDPRESS.C
“ACCURATE   ODOMETRY AND
OM/2009/12/15/%C2%BFQUE-ES-UNA-
ERROR MODELLING FOR A MOBILE
MAQUINA-DE-TURING-I/
ROBOT”.  IEEE INTERNATIONAL
CONFERENCE ON ROBOTICS AND http://elmaquinadeturing.wordpress.com/200
AUTOMATION, 2783-2788 (1997). 9/12/16/%C2%BFque-es-una-maquina-de-
turing-ii/
(BORENSTEIN,1997) BORENSTEIN J., EVERETT
H. R., FENG L. Y WEHE D.; “MOBILE ROBOT
 LOURDES QUIROZ HERNANDEZ/TEORIA DE
POSITIONING SENSORS AND
LA COMPUTACION/INSTITUTO TECNOLOGICO
TECHNIQUES”. JOURNAL OF ROBOTIC
SUPERIOR DE SAN MARTIN TEXMELUCAN
SYSTEMS, SPECIAL ISSUE ON MOBILE
ROBOTS. VOL. 14 [4], 231 – 249 (1997).

Ingeniería en Sistemas Computacionales


30
Libertad de espíritu en ciencia y tecnología

DEFINICIÓN DE UNA MÁQUINA DE COMPUTACIÓN/MC. JOSÉ ÁNGEL TOLEDO


TURING/CUADERNILLO DE APUNTES TEORÍA DE ÁLVAREZ/ESTADO DEL ARTE DE LA MÁQUINA
LA COMPUTACIÓN/MAGALY GONZÁLEZ DE TURING
MOTA/30 DE JUNIO DE 2010

TEORIA DE LA
COMPUTACION/(LENGUAJES FORMALES,
COMPUTABILIDAD Y COMPLEJIDAD)/APUNTES Y
EJERCICIOS/GONZALO
NAVARRO/DEPARTAMENTO DE CIENCIAS DE LA
COMPUTACION/UNIVERSIDAD DE CHILE

4.2a CONSTRUCCIÓN MODULAR DE UNA


MT/CUADERNILLO DE APUNTES TEORÍA DE LA
COMPUTACIÓN/MAGALY GONZÁLEZ MOTA/30
DE JUNIO DE 2010

LOURDES QUIROZ HERNANDEZ/TEORIA DE


LA COMPUTACION/INSTITUTO TECNOLOGICO
SUPERIOR DE SAN MARTIN TEXMELUCAN

 TEORIA DE LA COMPUTACION/(LENGUAJES
FORMALES, COMPUTABILIDAD Y
COMPLEJIDAD)/APUNTES Y
EJERCICIOS/GONZALO
NAVARRO/DEPARTAMENTO DE CIENCIAS DE LA
COMPUTACION/UNIVERSIDAD DE CHILE

MAQUINA DE TURING/ CONSTRUCCIÓN


MODULAR DE LAS MAQUINAS DE TURING/
SÁBADO, 20 DE NOVIEMBRE DE 2010

4.3a  DEFINICIÓN DE UNA MÁQUINA DE


TURING/CUADERNILLO DE APUNTES TEORÍA DE
LA COMPUTACIÓN/MAGALY GONZÁLEZ
MOTA/30 DE JUNIO DE 2010

4.3b INSTITUTO TECNOLÓGICO DE


MINATITLÁN/ PEÑA GARCÍA
EVELIA/05231149/5°/Semestre/TEORÍA DE LA

Ingeniería en Sistemas Computacionales


31