1. es
1.1. un modelo computacional
1.1.1. Reconoce
1.1.1.1. lenguajes
1.1.1.1.1. Regulares
1.1.1.1.2. Independientes de contexto
1.1.1.1.3. Entre otros
1.1.2. elementos
1.1.2.1. Q (Conjunto Finito de estados)
1.1.2.2. Σ (Alfabeto de maquina)
1.1.2.3. T (Alfabeto de Cinta)
1.1.2.4. S E Q (Estado inicial)
1.1.2.5. B E T (Estado blanco)
1.1.2.6. F E Q (Conjunto estados finales Aceptados)
1.1.2.7. δ: Q x T -> Q x T x {L, R} (Funcion de transicion)
1.1.3. Se representan mediante
1.1.3.1. Grafos
2. Funcionamiento
2.1. mueve
2.1.1. Cabezal (Estritura/Lectura)
2.1.1.1. El cual
2.1.1.1.1. Lee (ceros y unos)
2.1.1.1.2. Borra (ceros y unos)
2.1.1.1.3. Escribe (ceros y unos)
2.1.1.2. Contiene
2.1.1.2.1. Serie de estados internos finitos
2.2. Se limita
2.2.1. Avanzar el cabezal
2.2.1.1. Izquierda
2.2.1.2. Derecha
3. Representacion
3.1. Funcionamiento Grafico (para ver la animacion dar clic en el enlace http://upload.wikimedia.org/wikipedia/commons/9/94/TuringBeispielAnimatedGIF.gif )
4. Modificaciones
4.1. MT con movimiento stay
4.1.1. δ: Q x T -> Q x T x {L, R, S} (Funcion de transicion)
4.1.1.1. Donde S es
4.1.1.1.1. Stay (Espera)
4.2. MT con cinta infinita a ambos lados
4.2.1. δ: Q x T -> Q x T x {L, R} (Funcion de transicion)
4.2.1.1. se diferencia en
4.2.1.1.1. Cinta infinita por ambos lados (Izquierda y derecha)
4.3. MT con cinta multipista
4.3.1. δ: Q x T -> Q x T x {L, R} (Funcion de transicion)
4.3.1.1. se diferencia en
4.3.1.1.1. Cada Celda de la Cinta Contiene Sub celdas
4.4. MT con multicinta
4.4.1. δ: Q x T -> Q x T x {L, R} (Funcion de transicion)
4.4.1.1. Consiste en
4.4.1.1.1. hay k cabezales (Lectura y Escritura)
4.4.1.1.2. hay k cintas Infinitas
4.4.1.1.3. un movimiento
4.4.1.1.4. Representacion
4.5. MT multidimensional
4.5.1. δ: Q x T -> Q x T x {L,R,U,D} (Funcion de transicion)
4.5.1.1. Conciste en
4.5.1.1.1. la cinta crece
4.5.1.1.2. movimiento varia (cabezal)
4.5.1.1.3. Representacion