tar9-handout

Tar9-handout - 9 qn lebxz zeiaeyigd zxez oexkf zeikeaiq:1 wlg(zxekfz onfd a`ynl zexcbd.X lr dzvixa hlw lkl m` M ly aeyigd icrv xtqn `ed TM(X.1.2 M

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

View Full Document Right Arrow Icon
9 qn lebxz - zeiaeyigd zxez oexkf zeikeaiq :1 wlg :(zxekfz) onfd a`ynl zexcbd . X lr dzvixa M ly aeyigd icrv xtqn `ed T M ( X ) .1 hlw lkl m` M xear onf zeikeaiq mqg z`xwp T : N -→ N divwpet .2 . T M ( X ) T ( | X | ) miiwzn X onf zeikeaiq mqg deedny P mepilet miiw m` inepilet onfa zcaer M .3 .dxear :oexkf a`ynl zeliawn zexcbd . X lr dzvixa M dribn eil` xzeia ipnid `zd `ed S M ( X ) .1 hlw lkl m` M xear oexkf zeikeaiq mqg z`xwp S : N N divwpet .2 . S M ( X ) S ( | X | ) miiwzn X oexkf zeikeaiq mqg deedny P mepilet miiw m` inepilet oexkfa zcaer M .3 .dxear :zexrd dxwia mda mi`zd lk jqk zxcben S M ( X ) mihxq xtqn zlra h"n xear .1 . M lr zexney mixg` milcenl zeieliwydy `ceel ozip ,onf ly dxwna enk .2 .lcena dielz dpi` dxcbdd okle ,oexkfd zeinepilet :ze`ad zetyd zewlgn z` xicbdl ozip dzr P = { L | inepilet onfa L z` zlawnd zihqipinxhc h"n zniiw } PSPACE = { L | inepilet oexkfa L z` zlawnd zihqipinxhc h"n zniiw } 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
zihqipinxhc i` h"n - 2 wlg : δ -l hxt ,dlibx h"n enk zxcben (c"`) zihqipinxhc i` h"n δ : ( Q \ F × Γ) ( Q × Γ × { L,R,S } ) 2 crvl zeiexyt`d izyn zg` lk .jiyndl zeiexyt` izy yi crv lka xnelk
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the 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 / 4

Tar9-handout - 9 qn lebxz zeiaeyigd zxez oexkf zeikeaiq:1 wlg(zxekfz onfd a`ynl zexcbd.X lr dzvixa hlw lkl m` M ly aeyigd icrv xtqn `ed TM(X.1.2 M

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

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