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

Recommandé

Recommandé

Contenu connexe

Tendances

Tendances (20)

En vedette

En vedette (20)

Similaire à Maquinas Abstractas

Similaire à Maquinas Abstractas (20)

Plus de Stefano Salvatori

Plus de Stefano Salvatori (20)

Maquinas Abstractas