tar7-handout

tar7-handout - HP ≤ L =3-y ze`xdl witqn w hlw lr M x xy`k...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
xfr sc - 7 lebxz - zeiaeyig L =3 dtyd beeiq . L =3 6∈ RE :dprh :dgked . HP L =3 divwecx x`zp .oldl zx`ezn M x xy`k , f (( h M i ,x )) = h M x i :divwecxd : w hlw lr M x xe`iz .( w z`) zlawne zxver M x - w ∈ { ε, 0 , 1 } m` .( w z`) zlawn M x - ( x lr) zxver M m`e , x lr M z` dvixn M x :zepekp dxevdn opi`y zefexgnl mb ihxcphq ote`a dzxcbd z` miaigxny xg`l) d`ln xexiaa f .("dheyt divlitnew zlert") aeyigl zpzipe ,( ( h M i ,x ) :dtwz f ( h M i ,x ) HP x lr zxver dpi` M dpi`e (oey`xd alya) w ∈ { ε, 0 , 1 } milind z` zlawn M x x lr M zvxda (ipyd alya "zrwzp") milind x`y lr zxver ⇒ | L ( M x ) | = 3 ⇒ h M x i ∈ L =3 ( h M i ,x ) 6∈ HP x lr zxver M ⇒ { ε, 0 , 1 } milind z`) w Σ * milind lk z` zlawn M x ( x lr M zvxd meiq xg`l milind x`y z`e ,oey`xd alya ⇒ | L ( M x ) | = Σ * ⇒ h M x i 6∈ L =3 ( L =3 6∈ RE e`) L =3 6∈ coRE :dprh :dgked .( L =3 6∈ RE okle , HP L =3 -y raep o`kn ik)
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: HP ≤ L =3-y ze`xdl witqn : w hlw lr , M x xy`k , f (( h M i ,x )) = h M x i :divwecxd . x lr M z` dvixn • .zxg` dgece , w ∈ { ε, , 1 } m` w z` zlawn M x • :zepekp .aeyigl zpzipe d`ln xexiaa f • :dtwz f • ( h M i ,x ) ∈ HP ⇒ x lr zxver M ⇒ (2 alya) xg` hlw lk dgece w ∈ { ε, , 1 } dlin lk zlawn M x ⇒ L ( M x ) = { ε, , 1 } ⇒ | L ( M x ) | = 3 ⇒ h M x i ∈ L =3 ( h M i ,x ) 6∈ HP ⇒ x lr zxver dpi` M ⇒ (1 alya "zrwzp") w hlw s` lr zxver dpi` M x ⇒ L ( M 3 ) = ∅ ⇒ | L ( M x ) | = 0 ⇒ h M x i 6∈ L =3...
View Full Document

This note was uploaded on 03/12/2011 for the course CS 236343 taught by Professor Bensasson during the Winter '11 term at Technion.

Ask a homework question - tutors are online