Mquina de Turing

Definiciones previas






Definicin. Alfabeto: Diremos que un conjunto finito es un alfabeto
si y (x)(x x es un smbolo indivisible)

Ejemplos ={a,b}, ={0,1}, ={a,b,z} son alfabetos
={0,1,00,01} ={sa,ca,casa} no lo son






Definiciones previas






Definicion. Palabra: Se dice que w es una palabra
(cadena o string) sobre si w es una secuencia finita de
smbolos de


Ejemplos: si ={0,1}, entonces:


0011, 101, 1 son palabras sobre






Definiciones previas


Definicion. Longitud de una palabra: Se denota |w|, es
el nmero de smbolos que contiene w.
Por ejemplo: |perro|=5 |010|=3


Nota: notaremos con * al conjunto de todas las palabras
formadas por smbolos de includa la cadena nula (o
vaca) que tiene longitud cero y denotaremos con
. (| | = 0)


Ejemplo: = {a,b}
* = {,a,b,aa,ab,ba,bb,aaa}






Definiciones previas


Concatenacin: La notacin utilizada para denotar la
concatenacin de dos palabras w y v es w.v
(o simplemente wv).


La concatenacin es asociativa pero no conmutativa:
(v.w).x = v.(wx) v.w w.v


Se cumple que:
|v.w|=|v|+|w|


La cadena vaca es el elemento neutro para la
concatenacion .w = w. = w


Definiciones previas
Definicin. Sea una cadena w y un nmero
natural i, se define la potencia i-sima de w
como:
w0 =
w(i+1) = w.wi ( i) (i 0 )

Ejemplo: si w = ab, w3 = ababab


Definiciones previas
Definicin. Se denomina lenguaje definido
sobre a cualquier subconjunto de *
Ejemplo: si = {0,1}
*
{ }
{w * / w comienza con 1}
{1w0 / w * }
Son lenguajes sobre
Caractersticas del proceso de
clculo de una persona
Se concentra en una porcin restringida del
papel
Trabaja con un nmero finito de smbolos
Puede cambiar la seccin de papel en que se
concentra (de acuerdo al smbolo que observa
y a sus estado mental)
Pasa por un nmero finito de estados
mentales distinguibles
Se asume que siempre contar con el papel
suficiente para sus clculos (se asume infinito)

Mquina de Turing



En cada instante, la mquina se encuentra en algn estado qi, perteneciente al
conjunto finito Q de todos los estados posibles
Q={q0,q1,q2, qn}


Comportamiento de la mquina
de Turgin
El programa de la MT no es un programa secuencial
sino que es una funcin matemtica de transicin.
La mquina trabaja haciendo pattern matching, es
decir, busca en la memoria del programa cul es la
lnea (transicin) que debe aplicar.
Debe existir slo una lnea que haga pattern
matching (si hubiese ms no sera una funcin
matemtica).
Si no existe ninguna transicin definida para el estado
actual y el smbolo ledo en la cinta la mquina se
detiene.


Modelo Estndar de mquina de Turing
Definicin. Una mquina de Turing es una 6-tupla
M = <Q, , , , q0, F>
tal que:
Q es un conjunto finito de estados de M
es el alfabeto de la entrada
es el alfabeto de la cinta. y B ( )
q0 es el estado inicial de M (q0 Q)
F es el conjunto de estados finales de M. (F Q)
es la funcin de transicin de M.
Se define : Q x Q x x {D, I},
D e I representan el movimiento del cabezal a derecha e
izquierda respectivamente.