Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Adp y MT
Adp y MT
Desde luego lo primero que debe ocurrir es que para cada trio (q,a,Z), δ (q,a,Z)
sea vacío o unitario, es decir |δ(q,a,Z)|≤1. Pero no basta con esto porque si
tuviésemos δ(q,a,Z)=(r,Y) y δ(q,λ,Z)=(s,X) con (r,Y)≠(s,X) entonces si el
autómata se encuentra en estado q, leyendo en cinta a, y en la cima de la pila
se encuentra Z, podría pasar al estado r, procesar la a de la cinta y sustituir en
la cima de la pila la Z por la Y; o bien podría pasar al estado s, no procesar la a
de la entrada y sustituir en la cima de la pila la Z por la X. Es decir seguiría
habiendo no determinismo. De manera que para decir que el autómata sea
determinista debe cumplir además que para cada a∈Σ y para cada Z∈∆, como
máximo uno de los cuatro tríos (q,a,Z),(q,a,λ),(q,λ,Z),(q,λ,λ) tenga imagen no
vacía a través de δ.
Ejemplos:
de Turing.
- Constan de 3 cintas:
- La máquina universal:
• La máquina universal continúa con este proceso hasta que llega al estado de
parada de la máquina simulada. Entonces copia la cinta 2 en la cinta 1, coloca
la cabeza de la cinta 1 donde se encontraba la de la cinta 2 y se detiene.
Máquina Turing Multicintas
Es como una máquina ordinaria con muchas cintas. Cada cinta tiene su propia
cabeza de la cinta. Inicialmente la cadena de entrada se encuentra en la cinta 1
y las otras cintas están en blanco. La función de transición se modifica para
permitir la lectura, escritura y movimiento de todas las cintas simultáneamente.
Formalmente, se define como:
δ: Q x Γk → Q x Γk x { L, R }k,
Pareciera que las máquinas de Turing multicinta son más poderosas que las
máquinas de Turing ordinarias, pero podemos mostrar que son equivalentes.
Recordemos que dos máquinas son equivalentes si reconocen el mismo
lenguaje.
Mostramos como convertir una MT multicinta M a una MT S con una sola cinta.
La idea principal es mostrar como simular M con S.
Sea una MT de dos cintas, que reconoce el lenguaje L={a^i b^i c^i:i≥0}