Syntaks og semantik foråret 2011

Dette er hjemmesiden for kurset Syntaks og semantik, der findes på 4. semester af datalogi- og softwareuddannelserne og 6. semester af bachelor-IT ved Aalborg Universitet. Denne gang er websiden fri for Flash og "smarte" menuer.

Spørgetime i dag - og en lille fejl i pensum

• Der er spørgetime i dag d. 30. maj kl. 12.30-14.00 i 0.1.95 (auditoriet).
• Jeg er blevet gjort opmærksom på, at der havde indsneget sig en fejl i eksamenspensum. Jeg havde nævnt to ikke-eksisterende eksempler, Eksempel 1.5 og 1.6. De er ikke med. Jeg har lagt det korrekte eksamenspensum op på kursets webside nu, og jeg beklager forvirringen.
  

Revision af tekstspørgsmål

I kan uploade rettelser til jeres tekstspørgsmål indtil onsdag d. 11. maj kl. 19.00.
Rettelserne skal være i et særligt dokument, som kommer til sidst i jeres samlede portfolio.
Rettelserne vil i upload-systemet fremgå som "16. kursusgang"; Kurt siger, at det er lettest sådan.
Rettelserne skal være korte og bestå i egentlige, reviderede svar (altså ikke ekstra, urelaterede noter),
så det samlede dokument må ikke fylde mere end ca. 4 sider.

Husk at sikre jer, at filen med rettelser kan kompileres uden problemer.

Her er den LaTeX-skabelon, som I skal bruge.

Brev fra årgang 2011 til den kommende årgang

Sidste nyt (pr. 28.4)

• Eksamen er skriftlig og afholdes fredag d. 3. juni kl. 9.00-12.00.
  
• Eksamenspensum er nu tilgængeligt her (som PDF-fil).
• Jeg har lagt en zip-fil med opgavesættene fra alle 15 øvelsesgange plus de 3 prøveeksamener op. I kan hente den her.
  
• Jeg har lagt en liste over matematisk notation op som PDF-fil. Se herunder.
  

Kurset er lavet om!

Kurset Syntaks og semantik har eksisteret i snart mange år, men denne gang sker der store ændringer af kursets form og eksamen.
Jeg har lavet en helt ny manual for kurset. Hent den her som PDF-fil og læs den - den rummer en hel masse praktiske oplysninger.

Lærebøger

I syntaksdelen er grundbogen (forkortet ITTTOC i det følgende):

Michael Sipser: Introduction to the Theory of Computation, PWS Publishing Co..

Det er værd at investere i bogen. Ikke bare er den usædvanligt velskrevet, men den skal også bruges som eneste bog i kurset Beregnelighed og kompleksitet på Dat 3/SW5.

I semantikdelen skal du bruge

Hans Hüttel: Transitions and Trees: An Introduction to Structural Operational Semantics, Cambridge University Press 2010.

som du vil kunne købe i Centerboghandlen i løbet af februar.

Denne bog er selvfølgelig også usædvanligt velskrevet; vi kommer igennem det meste af den, og de resterende emner vil have relevans for projekterne. Du skal ikke bruge den før 8. kursusgang, så du behøver ikke at købe den ved kursets start. Centerboghandelen har også et lille antal eksemplarer af den danske udgave, der hedder Pilen ved træets rod.

Indgang til websystemet for tekstspørgsmål

Liste over matematiske standardsymboler (fra Danmarks Matematikundervisningskommission)

Hent filen standard.tex her.

Kursusplan

Syntaks - regulære sprog

Syntaks - kontekstfrie sprog

Semantik - operationel semantik

Teoretisk grundlag