JBJDM179
En rettelse vedrørende forelæsningen den 2/11:
Jeg kom for skade at sige, at følgende gjalt for en turing maskine
M:
M afgør et sprog (L) medfører at M accepterer
.
En opmærksom tilhører påpegede at dette ikke passer med
lærebogens definition af at acceptere (Def. 4.2.1).
Det rigtige er i stedet følgende, som I bedes huske:
Hvis en turing maskine M afgør et sprog (L) så vil den
samme turing maskine semi-afgøre ,
jævnfør Definition 4.2.4.
Jeg beklager forvirringen!
Forelæsningen 9/11:
Afsnit 4.4 og 4.7 overspringes og er ikke pensum.
Opgaver til 11/11:
Opgaver fra tidligere ugesedler blive taget op i det omfang jeres instruktor finder det rimeligt.
Lærebogen 4.5.1 (b), 4.6.1, 4.6.2, samt eksamen Juni 96 opgave 3, Januar 98 opgave 2, Januar 99 opgave 1