Fundamentos de la Computabilidad: Decidibilidad, Lenguajes Formales y Máquinas de Turing
Enviado por Chuletator online y clasificado en Matemáticas
Escrito el en
español con un tamaño de 6,04 KB
Decibilidad: ||
N= "sobre la ent.. B es AFN y w cad} ||
3.Si N acept, acepte ||
F="Sobre la entra.., A y B son AFD's
Un lengua L es decidibl cuando ||
1.Convierta el AFN B para un || Teorema 4.4:
Edfa = {<A> | A es un AFD y L(A) =∅} ||
Sea L(c) = L(A) ⊗L(B)=
L aceptada por una MT, la MT no hay loop || AFD equivale C || T=sobre entrad <A> don A es un AFD || (L(A)∩L(B)^c) ∪ (L(A)^c ∩L(B))
Acepta si w perten a L, contrario rechaza ||
2. Ejecute la MT M del teo4.1 ||
1. Marca el estado inicial de A || (todo menos la intersección)
Teorema4.1:
Aafd ={<B,w>| B es AFD q acep la cade w} || sobre <C,w> || 2.Repite hasta ningún nuevo estad sea marcado:
||
L(c)=⌀ si L(A)=L(B)
M=“Sobr la entr<B,w> B es un AFD, y... Continuar leyendo "Fundamentos de la Computabilidad: Decidibilidad, Lenguajes Formales y Máquinas de Turing" »