Department of Computing Science Umeå University

Läsanvisningar


Kursbokens innehåller en del utöver det som ingår i kursen. Jag rekommenderar att fokusera på de delar som gicks igenom på föreläsningar men att faktiskt läsa lite mer än bara det för att uppnå en bättre förståelse. Nedan ser ni vad som är viktigast inom ramen för kursen. Någon som känner sig osäker vad gäller grundläggande matematiska begrepp, notationer och tekniker bör dessutom läsa kapitel 0.

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.