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. Modificaciones
3.1. MT con movimiento stay
3.1.1. δ: Q x T -> Q x T x {L, R, S} (Funcion de transicion)
3.1.1.1. Donde S es
3.1.1.1.1. Stay (Espera)
3.2. MT con cinta infinita a ambos lados
3.2.1. δ: Q x T -> Q x T x {L, R} (Funcion de transicion)
3.2.1.1. se diferencia en
3.2.1.1.1. Cinta infinita por ambos lados (Izquierda y derecha)
3.3. MT con cinta multipista
3.3.1. δ: Q x T -> Q x T x {L, R} (Funcion de transicion)
3.3.1.1. se diferencia en
3.3.1.1.1. Cada Celda de la Cinta Contiene Sub celdas
3.4. MT con multicinta
3.4.1. δ: Q x T -> Q x T x {L, R} (Funcion de transicion)
3.4.1.1. Consiste en
3.4.1.1.1. hay k cabezales (Lectura y Escritura)
3.4.1.1.2. hay k cintas Infinitas
3.4.1.1.3. un movimiento
3.4.1.1.4. Representacion
3.5. MT multidimensional
3.5.1. δ: Q x T -> Q x T x {L,R,U,D} (Funcion de transicion)
3.5.1.1. Conciste en
3.5.1.1.1. la cinta crece
3.5.1.1.2. movimiento varia (cabezal)
3.5.1.1.3. Representacion