Maquinas Abstractas

Teoría de la Computación Máquinas Abstractas

Máquinas Abstractas ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Autómatas Finitos ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

d: dígito d d d 7 d d d d 6 5 4 3 2 1 E E +, - d E + - 1 2 2 2 5 3 3 4 4 4 5 5 7 6 6 6 7 7 7 * * 

Autómatas Finitos ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Autómatas con Pila ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Autómatas con Pila ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

q0 q1 0,0/00 0,z/0z 1,0/  1,0/   ,z/   ,z/  ¿Lenguaje? ¿APD?

Máquinas de Turing ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Ejemplo q0 (q1,x,D) (q3,y,D) q1 (q1,0,D) (q2,y,I) (q1,y,D) q2 (q2,0,I) (q0,x,D) (q2,y,I) *q4 q3 (q3,y,D) (q4,Δ,D) 0 1 x y Δ  0/x,D y/y,D 0/0,D 1/y,I y/y,D 0/0,I x/x,D y/y,I q0 q1 q2 q3 q4 y/y,D Δ /Δ,D

Máquinas de Turing ,[object Object],[object Object],[object Object],[object Object],[object Object]

Máquinas de Turing ,[object Object],[object Object]

Máquinas de Turing ,[object Object],[object Object],[object Object],[object Object]

Construcción de Máquinas de Turing ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Construcción de Máquinas de Turing ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Composición de Máquinas de Turing ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],L Δ R a b s=Δ s  Δ

¿Qué hacen las siguientes máquinas de Turing? R s=a s=b a b R s  Δ s= Δ R Δ ΔR 2 Δ sL 2 Δ s T 1 T 2 ¿Cómo quedaría la máquina que reconoce {a n b n c n  n  0}?

Modificaciones a la máquina de Turing ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Modificaciones a la máquina de Turing ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Modificaciones a la máquina de Turing ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Máquina de Turing Universal ,[object Object],[object Object],[object Object],[object Object]

Máquina de Turing Universal ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Máquina de Turing Universal ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Lenguajes recursivos y recursivamente enumerables ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Lenguajes recursivos y recursivamente enumerables ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Lenguajes recursivos y recursivamente enumerables ,[object Object],[object Object],[object Object],[object Object],[object Object]

Halting Problem ,[object Object],[object Object],[object Object],[object Object]

Halting Problem ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Otros Problemas Insolubles ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Ambigüedad en gramáticas independientes del contexto ,[object Object],[object Object],[object Object],[object Object],[object Object],p o q y r E E E p o q E q y r y r p o ,[object Object],[object Object],T  p T  q T  r

Corrección de programas ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Maquinas Abstractas

Empfohlen

Empfohlen

Weitere ähnliche Inhalte

Was ist angesagt?

Was ist angesagt? (20)

Andere mochten auch

Andere mochten auch (20)

Ähnlich wie Maquinas Abstractas

Ähnlich wie Maquinas Abstractas (20)

Mehr von Stefano Salvatori

Mehr von Stefano Salvatori (20)

Maquinas Abstractas