Definiciones previas

Transcripción

1 Máquina de Turing

2 Definiciones previas Definición. Alfabeto: Diremos que un conjunto finito Σ es un alfabeto si Σ y ( x)(x Σ x es un símbolo indivisible) Ejemplos Σ ={a,b}, Σ ={0,1}, Σ ={a,b, z} son alfabetos Σ ={0,1,00,01} Σ ={sa,ca,casa} no lo son

3 Definiciones previas Definicion. Palabra: Se dice que w es una palabra (cadena o string) sobre Σ si w es una secuencia finita de símbolos de Σ Ejemplos: si Σ ={0,1}, entonces: 0011, 101, 1 son palabras sobre Σ

4 Definiciones previas Definicion. Longitud de una palabra: Se denota w, es el número de símbolos que contiene w. Por ejemplo: perro =5 010 =3 Nota: notaremos con Σ* al conjunto de todas las palabras formadas por símbolos de Σ incluída la cadena nula (o vacía) que tiene longitud cero y denotaremos con λ. ( λ = 0) Ejemplo: Σ = {a,b} Σ* = {λ,a,b,aa,ab,ba,bb,aaa }

5 Definiciones previas Concatenación: La notación utilizada para denotar la concatenación de dos palabras w y v es w.v (o simplemente wv). La concatenación es asociativa pero no conmutativa: (v.w).x = v.(wx) v.w w.v Se cumple que: v.w = v + w La cadena vacía es el elemento neutro para la concatenacion λ.w = w.λ = w

6 Definiciones previas Definición. Sea una cadena w Σ y un número natural i, se define la potencia i-ésima de w como: w 0 = λ w (i+1) = w.w i ( i) (i 0 ) Ejemplo: si w = ab, w 3 = ababab

7 Definiciones previas Definición. Se denomina lenguaje definido sobre Σ a cualquier subconjunto de Σ* Ejemplo: si Σ = {0,1} Σ* {λ} {w Σ* / w comienza con 1} {1w0 / w Σ* } Son lenguajes sobre Σ

8 Características del proceso de cálculo de una persona Se concentra en una porción restringida del papel Trabaja con un número finito de símbolos Puede cambiar la sección de papel en que se concentra (de acuerdo al símbolo que observa y a sus estado mental) Pasa por un número finito de estados mentales distinguibles Se asume que siempre contará con el papel suficiente para sus cálculos (se asume infinito)

9 Máquina de Turing En cada instante, la máquina se encuentra en algún estado q i, perteneciente al conjunto finito Q de todos los estados posibles Q={q 0,q 1,q 2, q n }

10 Configuración inicial La cinta inicialmente se encuentra en blanco (símbolo especial B en cada celda), la máquina comienza en un estado inicial q 0 apuntando al primer símbolo del string escrito sobre la cinta (si es que éste existe). Obsérvese que dicho string estará limitado por infinitos B a izquierda y derecha.

11 Comportamiento de la máquina de Turgin El comportamiento de la máquina está definido por una fución de transición (programa) Dependiendo del símbolo en la celda actual y del estado corriente, la máquina efectúa las siguientes acciones 1. Cambia de estado (o vuelve a elegir el actual) 2. Escribe un símbolo en la celda actual, reemplazando lo que allí había (puede escribir el mismo símbolo que estaba) 3. Mueve el cabezal a la izaquierda o la derecha, exactamente una celda

12 Ejemplos

13

14 Comportamiento de la máquina de Turgin El programa de la MT no es un programa secuencial sino que es una función matemática de transición. La máquina trabaja haciendo pattern matching, es decir, busca en la memoria del programa cuál es la línea (transición) que debe aplicar. Debe existir sólo una línea que haga pattern matching (si hubiese más no sería una función matemática). Si no existe ninguna transición definida para el estado actual y el símbolo leído en la cinta la máquina se detiene.

15 Ejemplos

16 Ejemplos

17 Actividades Escribir símbolos 1 a la derecha indefinidamente Escribir símbolos 0 a la izquierda indefinidamente Escribir la palabra casa Escribir indefinidamente casa casa casa casa hacia la izquierda Escribir 1 hacia la derecha y 0 hacia la izquierda en zigzag indefinidamente, es decir me voy a izquierda para escribir un 1 al final, y cambio el sentido hacia la izquierda para escribir un 0, y cambio sentido hacia la derecha, así indefinidamente

18 Ejercicio Construir una máquina de Turing que agregue un bit de paridad a una secuencia binaria para que la cantidad de 1 sea par. Γ={0,1,Β} El conjunto Γ es el conjunto de símbolos que pueden encontrarse en la cinta. Este dato es importante porque la máquina se detiene cuando se encuentra en una situación indefinida.

19 Ejercicio

20 Qué hacen las siguientes máquinas de Turing?

21 Ejercicio Sumar 1 al número unario existente en la cinta Γ = {1,B}. En unario, el número n se representa como una cadena de n símbolos 1 (el cero es un string vacío). Construir una máquina de Turing que haga un corrimiento a derecha del string binario en la cinta, marcando con un símbolo especial # la cinta que correspondía al primer símbolo desplazado. Γ = {B,#,0,1}. (5 minutos para hacerlo en clase)

22 Máquina de Turing como reconocedoras de cadenas de símbolos Alcanza con identificar los estados que se consideran finales (aceptadores). Se dice que una máquina de Turing M acepta un string w M se detiene en un estado final.

23 Máquina de Turing como reconocedoras de cadenas de símbolos

24 Máquina de Turing como reconocedoras de cadenas de símbolos

25 Modelo Estándar de máquina de Turing Definición. Una máquina de Turing es una 6-tupla M = <Q, Σ, Γ, δ, q 0, 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 (Γ Σ ) q 0 es el estado inicial de M (q 0 Q) F es el conjunto de estados finales de M. (F Q) δ es la función de transición de M. Se define δ: Q x Γ Q x Γ x {D, I}, D e I representan el movimiento del cabezal a derecha e izquierda respectivamente.

26 Modelo Estándar de máquina de Turing

27 Ejemplo (revisitado)

28 Ejemplo (revisitado)

29 Descripción instantánea de una máquina de Turing

30 Movimiento de una máquina de Turing

31 Movimiento de una máquina de Turing

32 Lenguaje aceptado por una máquina de Turing

33 Lenguaje aceptado por una máquina de Turing

34 Lenguaje aceptado por una máquina de Turing