Kapitel 1
hela 1.1 och 1.2
1.3 utan beviset på lemma 1.60 (sidorna 69 längst ner t.o.m. 76)
hela 1.4
Kapitel 2
hela 2.1 med mindre vikt på Chomsky-normalformen (som jag bara nämnde vid sidan av)
2.2 om stackautomater krävs inte men rekommenderas för de som vill lära sig lite mer
delar av eller hela 2.3, beroende på ambitionsnivån (minst ska man kunna formulera pumpinglemmat och ha kollat något av exemplen)
Kapitel 3
hela kapitlet
Kapitel 4
4.1 med mest vikt på avsnittet DECIDABLE PROBLEMS CONCERNING REGULAR LANGUAGES
4.2, ev. utan THE DIAGONALIZATION METHOD – men rekommendationen är att läsa även det
Kapitel 5
5.1 minst t.o.m. beviset på teorem 5.2 (jämför med beviset jag gav på föreläsningen)
hela 5.3 (ev. med undantag av teorem 5.30)
Kapitel 6
får utelämnas
Kapitel 7
7.1 utan "lilla ordo" och med mindre vikt på COMPLEXITY RELATIONSHIPS AMONG MODELS
7.2 utan teorem 7.15
7.3 utan teorem 7.25
7.4 t.o.m. sidan 280
7.5 krävs inte men det kan vara bra att försöka förstå några av reduktionerna
http://www.cs.umu.se/kurser/TDBA64/VT07/las.html Responsible for the page: Frank Drewes Last modified 2007-01-15 Copyright © 2007. All rights reserved. |