Kenneth C. Louden: Compiler Construction, Principles and Practice., 1997. PWS. ISBN: 0-534-93972-4. Rettelser/trykkfeil i pensum se nedenfor..
Trykkfeilsliste til Louden her
Detaljert pensumliste hentes her
Støttelitteratur om paraseringsalgoritmer etc.:
Kompendium 47 fra kurset INF 3/4110 (kan hentes her) omhandler en del av det samme som kapittlene 3, 4 og 5 Louden, og kan eventuelt leses som støttelitteratur. Men merk at det er stoffets fremstilling i Louden som er pensum. Visse ting sies litt annerledes i Kompendium 47, og de viktigste av disse er:
- I kompendiet brukes såkalte "syntaksparenteser", som er en linearisert måte å angi syntakstreet på.
- Kompentiet bruker ordet Meta-symbol om det Louden bruker ikke-termnelsyboler (nonterminals) og kompendiet bruker grunnsymbol der Louden bruker terminalsymbol (terminals).
- Før vi har fått rettet opp kompendiet er det feil pilretning på en av pilene på s.15 og en på s.20. Pilene som rettes skal gå mot høyre. På side 15 i fig (D) skal den pilen som produserer '1' nederst til høyre peke mot høyre, og likedan pilen på den øverste figuren fra startnoden merket 'H'.
- I kompendiet legger man på "S' -> S @" (der @ brukes som $ i Louden) som ekstra ytterste produksjon, mens man i Louden bare legger på "S' -> S".
- I kompendiet brukes en annen måte å angi at det for en ikke-terminal A finnes en avledning "A =>* epsilon". I Louden markeres dette ved at man i First(A) har en epsilon, mens man i kompendiet sier at A da er med i "meta-til-tom-mengden" (og denne mengden kan da beregnes før både First- og Follow-mengdene beregnes).