Beskjeder - Side 3

Det blir ikke forelesninger neste uke p? grunn av smittefaren. F?lg med p? kurssidene.

De siste dagene, og s?rlig i dag,  har jeg  mottatt mye informasjon og r?d om tiltak i forbindelse med faren  for koronasmitte. Det er ikke i strid med noen av r?dene jeg har mottatt at vi avvikler forelesningene som normalt i neste uke. Vi er normal f?rre enn 20 mennesker p? forelesningene, og dessuten er rommene s? stort at vi kan holde stor fysisk avstand til hverandre. R?dene (p?leggene) fra Ifi sier at kun forelesninger med mer enn 100 tilstedev?rende skal avlyses.

 I ?yeblikket planlegger jeg ? forelese som normal  neste uke, men dere m? f?lge med: r?dene (p?leggene) vi mottar kan raskt forandre seg. Vi skal f?lge de  r?dene som instituttet gir.

Jeg har n? forelest til og med seksjon 5.1. Jeg har ikke snakket om alle detaljene i sekjon 5.1 (men hele seksjonen er pensum).

Neste ukie vil jeg forelese seksjon 5.2 og seksjon 5.3.

3.15-3.17, 3.12, 3.13, 4.1-4.5, og 4.13.

Jeg har ogs? lagt ut en artikkel om tellbarhet og overtellbarhet. Den er relatert til det vi sankket om p? forelesningen i dag.

Artikkelen

"Turings teorem og myten om en tese"

kan n? lastes ned ved ? klikke p? "undervisningsdokumenter" i sidemenyen til venstre. (Jeg f?r ikke linken vi snakket om p? forelesningen i dag til ? virke.)

I dag (tirsdag) startet jeg ? forelese kap. 4. I morgen vil vi gj?re oss ferdig med kap. 4.  Hvis vi har tid til overs, s? begynner jeg ? forelese kap. 5.

Alt stoffet i kap. 4 er viktig. Alt stoffet i kap. 4 foreleses grundig.

I oblig 2 kommer dere til ? f? bruk for denne turingmaskinsimulatoren. P? gruppetimen i morgen (9. mars) vil det bli vist hvordan dette programmet fungerer. Programmet krever at dere kan kj?re java p? datamaskinen, men dere trenger ikke ? kunne programmere i java.

Vi vil ogs? se p? oppgavene 3.1-3.3, og 3.5-3.9, og kanskje 3.15 om det blir tid. Dere vil f? tid til ? jobbe med oppgavene, og pr?ve TM-simulatoren i gruppetimen.

NB: Deler av oppgave 3.8 vil dukke opp i oblig 2.

Oppdatering: Lysark om TM-simulatoren fra gruppetimen

Jeg er (nesten) ferdig med ? forelese kapittel 3. Neste uke starter jeg p? kapitekk 4.

Vi er godt i gang med kapittel 3. I morgen (onsdag)  starter vi med eksempel  3.11 p? side 174. Deretter vil forelesningen f?lge boka side for side ut kapitlet. Alt stoff i kapittel 3 er viktig. Alt stoff i kapittel 3 blir forelest grundig.

Dere finner n? oblig 2 i oblig-mappen.

I morgen begynner jeg ? forelese kap. 3 (Lars).

P? denne nettsiden kan man visualisere finite automata og simulere hvordan strings blir lest, steg for steg:

http://ivanzuzak.info/noam/webapps/fsm_simulator/

Vi vil kjapt vise hvordan man bruker simulatoren p? gruppetimen i morgen. Dette verkt?yet kan ogs? brukes til ? finne en finite automata for en gitt regular expression, men legg merke til at automataen som blir laget ikke er garatert til ? v?re den mest optimale automataen.

2.42, 2.43, 2.44, 2.50

Neste uke er det gruppetime p? mandag men ikke forelesninger tirsdag og onsdag. Oppgave legges ut i morgen tidlig.

2.1, 2.2, 2.5, 2.7, 2.12, 2.17, 2.30, 2.58

I morgen fortsetter vi med pushdown automater.
(NB. Jeg har oppdatert forelesningsplanen)

2.3, 2.4, 2.6, 2.8, 2.9,

2.13, 2.16,

2.18, 2.33 og 2.34

I dag blir forelesningen p? 1 time 14:15-15:00. Vi bruker tiden  p? kontekstfrie grammatikker og utsetter pushdown automater til neste uke.

Da er Oblig 1 lagt ut (se mapper Obliger). Frist 7 februar.

Dette semesteret kj?rer vi tavleforelesninger fordi vi mener stoffet egner seg best til en slik presentasjonsform. Hvis dere ?nsker slides eller screencasts, kan jeg anbefale at dere tar en titt p? Daniel Lupp og Evgenij Thorstensens flotte slides fra v?ren 2018 (lenke).