Dat 2/F6S: Syntaks og semantik 2005 Centrale emner og eksamenspensum Hans Hüttel 14. juni 2005 Indhold 1 Centrale emner 1 2 Fuldt pensum 2 3 Reduceret pensum 3 3.1 Hvad er fjernet her?........................ 3 4 Pensum for studerende, der afleverede godkendte afleveringsopgaver 4 4.1 Hvad er fjernet her?........................ 4 5 Om eksamen og eksamensspørgsmålene 5 5.1 Eksamensformen......................... 5 5.2 Eksamensspørgsmålene...................... 5 1 Centrale emner Her er kursets vigtige nøgleord (bemærk at nogle ting står mere end eet sted). Alle disse begreber skal man være helt fortrolig med. Begreberne skrevet med særlig skrifttype er kun aktuelle for studerende med fuldt pensum. 1. Regulære sprog deterministiske endelige automater, nondeterministiske endelige automater, konvertering mellem automater, regulære udtryk, ækvivalens af automater og regulære udtryk, aflukningsegenskaber for regulære sprog, regulære sprogs begrænsninger (Pumping Lemma for regulære sprog), anvendelse af Pumping Lemma. 1
2. Kontekstfrie sprog kontekstfrie sprog, kontekstfrie grammatikker, derivationer, parsetræer, pushdown-automater, kontekstfrie sprogs begrænsninger (Pumping Lemma for kontekstfrie sprog), anvendelse af Pumping Lemma. 3. Operationel semantik konfigurationer, transitionsrelation, programadfærd modelleret ved transitionssystemer, transitionssystemer defineret ved et antal regler, derivationstræer, derivationsfølger, tilstande, big-step-semantik, small-step-semantik, ækvivalens mellem big-step- og small-step-semantik. 4. Operationel semantik for forskellige sproglige konstruktioner semantisk ækvivalens, egnethed til beskrivelse af abort, parallelisme og nondeterminisme. 5. Procedurer i operationel semantik scope-regler (statisk/dynamisk scope for procedurer og variable), procedure-environments, environment/storemodellen, 6. Funktionsorienterede programmeringssprog λ-kalkylen, frie og bundne variabler, susbtitution, beta-reduktion, sproget Fup, closures, big-step- og small-step-semantik. 7. Parametermekanismer Rekursive procedurer, formelle og aktuelle parametre, environment/store-modellen, call-by-reference, call-by-value, call-by-name, rekursive og ikke-rekursive kald. 8. Rekursive definitioner rekursive definitioner skal være meningsfulde, partielle ordninger, mindste øvre grænse, domæner, monotone og kontinuerte funktioner, sætning om eksistens af mindste fikspunkt, anvendelse af sætning om eksistebs af mindste fikspunkt. 2 Fuldt pensum Fuldt pensum består af alt materiale, der er tekst til de 15 kursusgange. Det vil sige: Afsnit 0.1-0.3, kapitlerne 1 og 2. Hans Hüttel: Pilen ved træets rod: Kapitel 1-7, 12 og afsnit 14.1-14.6.1 of 14.7.1-14.7.2. 2
Egen besvarelse af semantikopgaven 3 Reduceret pensum De fleste projektgrupper (alle pånær én) har fulgt den aftale om deltagelse i øvelserne, der berettiger til følgende pensum: Side 3-16, 31 83, 92 98, 115-119. Hans Hüttel: Pilen ved træets rod side 15-70 (men ikke bevis for Sætning 4.4.1 og 4.4.2 og de tilhørende lemmaer), 73 86 (men ikke bevis for Sætning 5.2.1), 89 103, 105 111, 187 199 (midt), 201 (midt) 202 (øverst). Egen besvarelse af semantikopgaven 3.1 Hvad er fjernet her? Følgende emner er fjernet: Chomsky-normalform Pushdown-automater Bevis for ækvivalens af big-step- og small-step-semantik for Bims Bevis for semantisk ækvivalens af repeat-konstruktionen med eksisterende Bims-konstruktion Navneparametre Funktionelle sprog 3
4 Pensum for studerende, der afleverede godkendte afleveringsopgaver Alle studerende, der har afleveret mindst fire godkendte løsninger på afleveringsopgaver, har følgende pensum: Side 3-16, 31 83, 92 98, 115-119. Hans Hüttel: Pilen ved træets rod side 15-70 (men ikke bevis for Sætning 4.4.1 og 4.4.2 og de tilhørende lemmaer), 73 86 (men ikke bevis for Sætning 5.2.1), 89 103, 105 111, 187 199 (midt), 201 (midt) 202 (øverst). Egen besvarelse af semantikopgaven Listen med navne på de studerende, der er omfattet af denne pensumreduktion, vil kunne ses på WWW sidst i maj 4.1 Hvad er fjernet her? Følgende emner er fjernet: Chomsky-normalform Pushdown-automater Ækvivalens af big-step- og small-step-semantik for Bims Bevis for semantisk ækvivalens af repeat-konstruktionen med eksisterende Bims-konstruktion Navneparametre Funktionelle sprog Rekursive definitioner. 4
5 Om eksamen og eksamensspørgsmålene 5.1 Eksamensformen Eksamen er med ekstern censor. Eksamen er individuel og mundtlig med 20 minutters forberedelsestid og 20 minutters eksamen. I forberedelsestiden må den studerende benytte sig af kursusmaterialet og egne notater. Under selve eksamen må den studerende anvende en disposition med hovedpunkter på den ene side af et A4-ark. Dispositionen skal udarbejdes i løbet af forberedelsestiden. 5.2 Eksamensspørgsmålene Eksamensspørgsmålene dækker alle en sammenhængende del af pensum. Deres ordlyd vil ikke være kendt af den enkelte studerende, før han/hun trækker sit spørgsmål ved eksamen. Hvert eksamensspørgsmål vil have en overskrift og et tilknyttet sidetal i teksten. Ved eksamen skal man tale om emner inden for denne del af teksten. Jeg vil ikke eksaminere nogen specifikt i spisesedlerne eller quizzerne. De er udelukkende en del af pensum, fordi man kan få udbytte af dem når man repeterer. Der kommer heller ingen eksamensspørgsmål i kapitlerne 1, 2 eller 3 i Pilen ved træets rod eller afsnit 0.3 i Introduction to the Theory of Computation; dette stof er fælles baggrundsstof som forudsættes kendt. 5