sung up

(1)

2 . Vor le

sung

ko

up

^lexi ^tats

^theorie

Steffen

Reith

8 . 5. 19

(2)

①

Die Leistuugsfahigheit

^von ^l ^- ^Band ^and ^Mehr ^baud uuascleiueu

auto

^Scheidel ^sick

^Kanin

^:

Saki

^Sei ^tan ^zu _, ^dawn ^kann

_je

^de ^Mehr ^band ^TM

^M

wit

DTI

Men

⁽ ^t

)

ooh einer A ^- Band Th _M ^' in

D

^TIME ^C t ^'

) ^simuliut

^werden ^.

Beavis

^: M

habe

k

Binder

^. dann ^wird ^M ^' wie

folgt

^nous ^veriest ^:

M ^' speicher t

auf

^ihr ^em

^Band

^die ^I ^' ^- ^and

Kopf position ^en

hiutveiuauder

_,

get

^recent ^durch ^ein

^Souder

^-

Zeicheu

Lz

.

B

.

# )

^.

^Ein ^Schnitt

^ocean

^bedeutet

, dass

(3)

②

M ^' das

gesammk Band durohlaufeuuuyf

âm âlle Ân _deranges

durchzufihreu

^: _← ^Zk

①

µ , fykopft M ^'^: p ^o

- . - D A O ^O D ^- ^-^.^. ^. ^- ^- Kopf ⁱ ⁱ

b ⁹

- - . D A Ô Ô ^# â b c B ^- ^- ^-

- - D ^a b c D ^.^. ^.^- ^. ^.^.

9 ^:

Kopf ² !^.

Ein Simulations

schnitt

beuotigt

^Oct

⁾

^Zeit ^,

^also beuiitigt

^die

_gauze ^Simulation ^Zeit ^Oceans ) ^#

Bae ^Der ^Kkk ^Sate lift ^sich ^auf

^Oct

^{logt )} ^verbesseru

^.

(4)

1.4 . Nicht deterministic die Berechuuugeu

③

Bei

_einer

deterministic

^hen _Berechuuug ex ^. ^max ^. ein

Nachfolge

^-

Schnitt ^C ^Arbeit )

alphabet

8

^: ^Zx -2 ^- ^o Z x -2 ^x LL _, R _, NS

-

Zustaude

w "^'che Kopf bewegung ^en

Bei

^nicht ^deter ^.

Berechuungeu

^ex ^.

ertl

^. mehrer e

Naohfolgeschrilte

,

d. ^h ^. die TM _a

verzeigt

^" ^sick ⁱⁿ ^" ^kopieu ^"

es eutsteht ein

Baum (

_"

Berechuuugsbaum

^"

I

(5)

- Start ^start

④

P A

N g R _] D

: akz abt

ten₎ ⁱ.

a _u r o r _u - -

'

: i

.

i

. akz ^! i ^!

I 1

Ig

-

r Stop âbc âble âblehueu

O O

" Determinists ^che TM^" ^awe ^I

ahzeptioeu

u Nicht def ^.

The

^"

^

leibeofuhrungsfht ^v. TM sich dana wie

folgt

^aus ^:

p

^#

n Pokuzmeuge

"

8

^: ^Z x -2 ^-0

(

^Zx ^-2 ^x ^LL, N _, R's

)

(6)

Sci M _eine nicht ^def^. TM and ^x eine

Eiugabe ⑤

armenian

^. ^. _.

{ Fetching ask "p :b :p :L 's 't Ii:

wit Ein

gabe

^x

uudef

^, ^sous ^t

Ns PACEM ^Cx

)

=q ) !jsAffah May

^" ^M

!:

^besuchteu

^Felder

^u ^,

wudef _, ^s

oust

Def

^:

^Eine

^nicht ^det ^.

^Mashie ^M ahzeptivt

^eine

^Sprache

^L ^,

wean

(7)

XEL

gdw

^FZ

(

^M

^I

^x ^Iz

)

^=L

)

, wobei

⑥

machines { Yankee z.bg REY :& :!:p! :

^" ^. ^.ee

uudef

^, ^s ^oust

BEI

. Man ueuut ^z ^ouch

Zuige

^oder

Beavis

^.

• Mau kaun

Nicht

^def ^. ^Auch in ander

Beredeuougs

^-

mo delle

la

_Spr

^adieu

^"

^/

_,_, Maschiueu ^"

)

_eiubaueu

In C ^:

Sai

Sai ^. ^. ^. i Su ^and ^si I Se

IS I

^. ^. ^. ^I ^su

- -

sequential ^nicht ^Iet ^.

(8)

⑦

For RAMs ^: _meh _re _re

Befehle

wit gleichen

Mummer

For

TN ^: sa ^- ^o se

'

ai re

- o

si ad

_q

}

^" ^mehrer

^Befehle ^wit

see

g

^kicker

^linker

^{Sei k}

"

Proposition

^Sei ^t ^: ^IN ^→ ^IN ^, ^dawn

gilt

DT IME

(

^t

)

^E ^N ^TIME ^C ^t

₎

^und

D

SPACE C^t

)

^E ^N ^SPACE ^Ct⁾

1.5 ^. lyrundlegeude Beziehungeu ^Zwischen

Uoupkxitats

^klassen

Saki

^Sei

this

zu _, dawn

gilt ^NT

^Melt ⁾

^EDIT

^ME ^C

^2T )

(9)

⑧

Bennis

^Sei ^M ^eine ^{nicht def}^. ^TM _, ^die in Zeit tu ) arbeit ^et _.

Bei

Êin _gabe ^no _sp âunt ^M êinen

Berechuuugsbauur

do

Tiefe

^Et ^Uwi

^{) auf}

^, ^Wo ^bei ^h ^-^- ^Iwl ^.

-

Baum

^kno ^ten ^I _" ^Simulation do Beredeuuug ^" , d. ^h.

2-_us Land_, In halted . Binder and

Kopf positioner

( _sogeuauak Acuff ^oration

^'g

⁾

- Verzioeiguugeu ^I ^nicht del . Dahl inoglichheiteu

Sci

^M ^' eine Iet .

TM

, du^' den Bereehuuugs

baum

Kuo^ten

f

^. ^kuoku

^kousfouiot ^and

^nach ^einer

^ate

^.

(10)

Die _Gripe ^des

Baucus ist

bis ! ! ^I ^⑨

Oct

)

=

2

,

sung up

sung

up

theorie

Reith

①

Die Leistuugsfahigheit

auto

Kanin

Saki

je

M

wit

Men

)

D

) simuliut

Beavis

habe

Binder

folgt

auf

Band

hiutveiuauder

get

Souder

Lz

B

# )

Ein Schnitt

bedeutet

②

gesammk Band durohlaufeuuuyf

durchzufihreu

Ein Simulations

beuotigt

)

also beuiitigt

gauze Simulation Zeit Oceans ) #

Bae Der Kkk Sate lift sich auf

logt ) verbesseru

③

Bei

deterministic

Nachfolge

alphabet

8

Bei

Berechuungeu

ertl

Naohfolgeschrilte

verzeigt

Baum (

Berechuuugsbaum

I

④

ahzeptioeu

The

folgt

p

8

(

)

Eiugabe ⑤

armenian

{ Fetching ask "p :b :p :L 's 't Ii:

gabe

uudef

)

=q ) !jsAffah May

!:

Felder

oust

Def

Eine

Mashie M ahzeptivt

Sprache

gdw

(

I

^theorie

^Kanin

_je

^M

) ^simuliut

^Band

^Souder

^Ein ^Schnitt

^bedeutet

⁾

^also beuiitigt

_gauze ^Simulation ^Zeit ^Oceans ) ^#

Bae ^Der ^Kkk ^Sate lift ^sich ^auf

^{logt )} ^verbesseru

^Felder

^Eine

^Mashie ^M ahzeptivt

^Sprache

^I

^adieu

^/

^Befehle ^wit

^linker

₎

gilt ^NT

^EDIT

^2T )

^{) auf}

( _sogeuauak Acuff ^oration

⁾

^kousfouiot ^and

^ate

Die _Gripe ^des

bis ! ! ^I ^⑨