tar5-Handout

tar5-Handout - -y gikep L ε z` lawzy M ε h"n dpap x...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
xfr itc - 5 'qn lebxz - zeiaeyigd zxez zerixk i` zety :1 xfr sc :zexcbd . q Rej e q Acc miiteq miavn ipy zlra h"n `id zety iedifl h"n . q Acc avna zxver x lr M zvix m` x hlw zlawn , M ,zety iedifl h"n . q Rej avna zxver `id m` x hlw dgec M . x z` dgec M e` x lr zxver dpi` M m` x z` zlawn dpi` M lk zveawk zxcben ( L ( M ) i"r dpnqp) M h"n i"r zlawznd dtyd :zlawn M oze` zefexgnd L ( M ) = { x Σ * : x z` zlawn M } M x L lkl xnelk L = L ( M ) m` L dtyd z` zlawn M ik xn`p zxver M y xne` `l df) x z` zlawn dpi` M x / L lkle x z` zlawn (hlw lk lr lkl zxver M oke L z` zlawn M m` L dtyd z` drixkn M ik xn`p ( x z` dgec M x / L hlw lkle x z` zlawn M x L hlw lkl) .hlw RE e R zewlgnd (zerixk e`) zeiaiqxewix zety R = { L : L z` drixknd M h"n zniiw } ziaiqxewix dipnl zepzip zety RE = { L : L z` zlawnd M h"n zniiw } zetqep zexcbd :ceciw h M i ∈ { 0 , 1 } * xnelk { 0 , 1 } a"` lrn M h"n ly ihxcphq ceciw `ed h M i z` ulnql jkae M ly mixarnd zivwpet z` `exwl ozip h M i jezn .oezp hlw lr dzvix :dxivrd zira HP = { ( h M i , h x i ) | x lr zxver M } HP RE \ R epi`x d`vxda 1
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
L ε RE - dgked :2 xfr sc L ε RE
Background image of page 2
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: -y gikep L ε z` lawzy M ε h"n dpap x hlw lr M ε zlert .(h"n ly ceciw) h M i dxevdn `ed x hlwdy z`ceen • ε lr M zvix z` zvlnqn • M enk dgec e` zlawn • :dprh L ( M ε ) = L ε :dgked h M i ∈ L ε = ⇒ L ε zxcbd ε z` zlawn M = ⇒ M ε zlert h M i z` zlawn M ε = ⇒ zlawn h"ny dty zxcbd h M i ∈ L ( M ε ) h M i / ∈ L ε = ⇒ L ε zxcbd ε z` zlawn `l M = ⇒ dgece zxver ε hlw lr M zxver `l ε hlw lr M = ⇒ L ε zlert h M i z` dgcz M ε dty zxcbd = ⇒ zlawn h"ny h M i / ∈ L ( M ε ) = ⇒ L ε zlert xevrz `l M ε h M i hlw lr dty zxcbd = ⇒ zlawn h"ny h M i / ∈ L ( M ε ) dpi` M m`y oeeikn z`fe .dze` drixkn dpi` j` L ε z` zlawn ef h"n . h M i hlw lr xevrz `l l"pk h"n f` ε hlw lr zxver 2...
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.

Page1 / 2

tar5-Handout - -y gikep L ε z` lawzy M ε h"n dpap x...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online