Teoría de Autómatas II 3º curso Ingeniería Técnica en Informática de Sistemas UNED
Teoría de Autómatas II3º Ing. Tec. Informática SistemasJosep Silva Galiana Sesión 4 Resolución de Funciones con Máquinas de Turing
Teoría de Autómatas II3º Ing. Tec. Informática SistemasJosep Silva Galiana Máquinas de Turing Repaso de máquinas de Turing – Figura 3.2 → página 146 – Ejercicio 1 → página 148 Máquinas compuestas – Figura 3.4 → página 153
Teoría de Autómatas II3º Ing. Tec. Informática SistemasJosep Silva Galiana Máquinas de Turing Máquinas elementales – Máquina R (Figura 3.5 → página 153) – Máquina L – Máquina R x (Figura 3.6 → página 154) – Máquina L x – Máquina R ¬x – Máquina L ¬x – Máquina S R (Figura 3.7 → página 155) – Máquina S L
Teoría de Autómatas II3º Ing. Tec. Informática SistemasJosep Silva Galiana Máquinas de Turing Las Máquinas de Turing pueden usarse para computar funciones Función f (w1, w2, w3, wm) = (v1, v2, v3, vn) – Entrada: ∆ w1 ∆ w2 ∆ w3 ∆ wm ∆ ∆ ∆ ∆… – Salida: ∆ v1 ∆ v2 ∆ v3 ∆ vn ∆ ∆ ∆ ∆…
Teoría de Autómatas II3º Ing. Tec. Informática SistemasJosep Silva Galiana Máquinas de Turing Ejemplo: función f (w1, w2, w3) = (w1, w3) Figura 4.10 (página 223) Funciones iniciales (Figura 4.11 → página 225): – Sucesor – Cero – Proyecciones
Teoría de Autómatas II3º Ing. Tec. Informática SistemasJosep Silva Galiana Máquinas de Turing Todas las funciones parciales son computables por máquinas de Turing La tesis de Church y la tesis de Turing son equivalentes Ejercicios: – Examen Ex01-1s: ejercicio 1.2 c – Examen Ex01-2s: ejercicio 1.2 b y 1.2 c