Oversættere Skriftlig eksamen onsdag d. 24. januar 2007

Transkript

1 Københavns Universitet Naturvidenskabelig Embedseksamen Oversættere Skriftlig eksamen onsdag d. 24. januar 2007 Eksamenstiden er to timer. Opgavernes vægt i procent er angivet ved hver opgave. Den skriftlige eksamen i Oversættere er bestået, hvis minimum 50% af opgaven er besvaret tilfredsstillende, eller en proportionalt større del er løst delvist tilfredsstillende. Hver opgaves vægt i procent er angivet ved opgavens start. Ligeledes er de enkelte spørgsmåls andel i denne vægt angivet. Alle de sædvanlige hjælpemidler må benyttes, herunder også lydløse elektroniske lommeregnere og PDA ere (f.eks. Palm Pilot), dog ikke hvis disse har trådløs netadgang eller telefoni. En almindelig bærbar PC vil ikke være tilstrækkelig lydløs p.g.a. blæser, harddisk og støjende tastatur. I tvivlstilfælde gælder eksamensvagtens afgørelse. Det er tilladt at bruge blyant til besvarelsen, såfremt denne er tydeligt læselig.

2 Skriftlig eksamen onsdag d. 24. januar 2007 i Oversættere side 1 af 5 Opgave 1: Syntaksanalyse (32%) Betragt følgende grammatik: Spørgsmål 1.1 (5%) A a A B B b B B A Vis at grammatikken er tvetydig ved at vise to forskellige syntakstræer for samme tegnfølge. Spørgsmål 1.2 (8%) Beregn FIRST for hver højreside i grammatikken og FOLLOW for hver nonterminal. Husk at medtage $ i beregningen af FOLLOW. Vink: Der er ingen tomme produktioner, så du behøver ikke beregne Nullable (den kan antages falsk for alle nonterminaler). Spørgsmål 1.3 (10%) Lav en LL(1) syntaksanalysetabel for grammatikken. Spørgsmål 1.4 (9%) Da grammatikken er tvetydig, har LL(1) tabellen konflikter. Fjern konflikterne (uden at ændre på det sprog, der genkendes) ved at fjerne produktioner fra tabellen. Vis den konfliktfri tabel. Opgave 2: Regulære udtryk (5%) Spørgsmål 2.1 (5%) Lav en funktion minlength, der givet et regulært udtryk finder størrelsen af den korteste tegnfølge, som det regulære udtryk genererer (genkender). Lav funktionen, så den er rekursiv over strukturen af det regulære udtryk, dvs. på formen

3 Skriftlig eksamen onsdag d. 24. januar 2007 i Oversættere side 2 af 5 minlength(a) =... minlength(ε) =... minlength(s t) =...minlength(s)...minlength(t)... minlength(st) =...minlength(s)...minlength(t)... minlength(s ) =...minlength(s)... Opgave 3: Regulære udtryk (6%) Heltalskonstanter i C kan være oktale, decimale eller hexadecimale. En følge af cifre, der starter med 0, betragtes som en oktal konstant, og kan følgelig kun indeholde cifre under 8. En følge af decimale cifre, som ikke starter med 0, er en almindelig decimal konstant. Tegnfølgen 0x efterfulgt af hexadecimale cifre er en hexadecimal konstant. Hexadecimale cifre er 0 9 samt A F. Spørgsmål 3.1 (6%) Opskriv et regulært udtryk for heltalskonstanter i C, sådan som de er beskrevet herover. Opgave 4: Endelige automater (9%) Man kan udvide NFAer, så man tillader mere end en starttilstand. I stedet for en starttilstand s 0 er der altså en mængde S 0 af starttilstande (ligesom der er en mængde F af accepterende tilstande). Man kan ved genkendelse af en tegnfølge vælge en vilkårlig starttilstand, ligesom man kan vælge frit mellem overgange med samme symbol. Spørgsmål 4.1 (3%) Angiv en metode, der kan konvertere en sådan NFA til en NFA med kun en starttilstand. Spørgsmål 4.2 (3%) Angiv, hvordan delmængdekonstruktionen (algoritme 2.3 i Basics of Compiler Design) 1 skal modificeres, så den kan konvertere en NFA med flere startilstande til en DFA (der som sædvanligt kun har en starttilstand). 1 Side 37 i 2006 udgaven og side 35 i 2004 og 2005 udgaverne

4 Skriftlig eksamen onsdag d. 24. januar 2007 i Oversættere side 3 af 5 Spørgsmål 4.3 (3%) Kom med et eksempel (evt. flere) på situationer, hvor det bliver (en smule) lettere, når man kan have flere starttilstande i en NFA. Opgave 5: Bootstrapping (16%) En kildetekstoptimisator (source code optimizer) er et program, der kan optimere programmer på kildetekstniveau, dvs. at det tager et program P i kildetekst og returnerer et program P i samme sprog, hvor P er ækvivalent med P, men er mere optimeret. En kildetekstoptimisator kan betragtes som en oversætter, hvor kildesprog og målsprog er ens. En kildetekstoptimisator, der er skrevet i C og som optimerer C-programmer kan f.eks. beskrives med T-diagrammet C C C Spørgsmål 5.1 (4%) Udover ovenstående kildetekstoptimisator har du følgende komponenter: En oversætter fra C til ARM-kode, skrevet i ARM-kode. En ARM maskine (der kan afvikle ARM-kode). Et uspecificeret program skrevet i C. Vis disse komponenter som Bratman diagrammer. Brug bogstavet A til at indikere ARM-kode. Spørgsmål 5.1 (12%) Vis med Bratman diagrammer, hvordan man givet disse komponenter kan optimere og afvikle det uspecificerede C program.

5 Skriftlig eksamen onsdag d. 24. januar 2007 i Oversættere side 4 af 5 Opgave 6: Registerallokering (32%) Spill-metoden i Basics of Compiler Design gør to ting: 1. Omdøber hver forekomst af den spill ede variabel ved at tilføje et løbenummer (som subscript). 2. Indsætter lagerflytninger før og efter instruktioner, der bruger de nye variabler. Nedenstående figur viser programmet fra figur 8.2 i Basics of Compiler Design efter omdøbning af forekomsterne af variablen a, men inden indsættelsen af lagerflytninger. 1: a 1 := 0 2: b := 1 3: z := 0 4: LABEL loop 5: IF n = z THEN end ELSE body 6: LABEL body 7: t := a 2 + b 8: a 3 := b 9: b := t 10: n := n 1 11: z := 0 12: GOTO loop 13: LABEL end I stedet for at indsætte lagerflytninger, kan man på passende steder indsætte tildelinger, der kopierer en af de nye variabler over i en anden af de nye variabler, sådan at værdien af den oprindelige a hele tiden ligger i en af de nye variabler. Da a er levende ved udgangen af programmet, skal værdien til slut kopieres fra en af de nye variabler over i den oprindelige. Ideen er, at hver af de nye variabler vil have kortere levetid end den oprindelige, så de vil hver især interferere med færre andre variabler, og det kan (måske) gøre det muligt at registerallokere de nye variabler. Spørgsmål 6.1 (8%) Indsæt kopisætninger af formen a i := a j eller a := a i (hvor i og j er 1, 2 eller 3), sådan at ovenstående program er ækvivalent med programmet i figur 8.2 (dvs. før omdøbning af forekomsterne af a). Brug kun a := a i til sidst i programmet (efter sætning 13). Giv de nye sætninger numre, der er 0.5 større end de foregående sætninger, f.eks. vil kopieringen a := a i have nummer 13.5.

6 Skriftlig eksamen onsdag d. 24. januar 2007 i Oversættere side 5 af 5 Spørgsmål 6.2 (12%) Angiv for hver af variablerne a, a 1, a 2 og a 3 numrene på de instruktioner, hvor den pagældende variabel er levende ved udgangen af instruktionen. Se sidste kolonne i figur 8.4 i Basics of Compiler Design for levendehed for alle de oprindelige variabler. Vink: Når a er levende i det oprindelige program, er præcis en af a, a 1, a 2 eller a 3 levende i det nye program. Spørgsmål 6.3 (12%) Angiv for alle tildelingssætninger, hvori a, a 1, a 2 eller a 3 forekommer på enten venstre- eller højresiden, hvilken interferens disse sætninger genererer (jvf. definition 8.2 i Basics of Compiler Design) 2. Vis det på samme måde som tabellen sidst i afsnit 8.4 i Basics of Compiler Design). Vink: De andre variabler (dvs. n, z, b og t) er levende ved udgangen af en af de nye kopisætninger, netop hvis de er levende ved udgangen af den foregående sætning. 2 side 180 i 2006 udgaven og 178 i 2004 og 2005 udgaverne