TDT Øvingsforelesning 1. Tuesday, August 28, 12

Transkript

1 TDT 4165 Øvingsforelesning 1

2 Øvingsforelesningene Eksempelbaserte Sikter på å være på et snillere nivå enn øvingene og forelesningene Interaktive - spørsmål og dialog oppfordres Matnyttige- vil ta for seg eksamensspørsmål relatert til emnet.

3 Hello World! {Browse Hello World! } - åpner et redskap kalt browseren. Browseren viser som viser deg hva som finnes i lageret. Lageret er hvor Oz variable ligger. Syntaks: {Browse x}, f.eks: {Browse 5}

4 Variabler i Oz Deklarer variable slik: declare X, Y, Z... Kan bare binde variabler én gang. Eksempelvis gir dette feilmelding: x=5 x=6

5 Variabler i Oz II Når en variabel er deklarert legges den i lageret En variabel kan dernest bindes til en verdi, men den bindingen er evig.

6 Funksjoner i Oz Java/C: browse(string x) Oz: {Browse x} Merk: klammeparantesene dekker både funksjonsnavn og argumenter.

7 Funksjoner i Oz II Forteller hvor funksjonsdefinisjonen begynner med fun og slutter med end Må begynne en funksjonsdeklarasjon med declare - nøkkelordet.

8 Funksjoner i Oz III Eksempel: declare fun {ReturnHi} Hi end

9 Funksjoner i Oz IV Hva om du ønsker en funksjon som skriver ut Hi til browseren? fun {HiThere} end {Browse Hi} Koden over gir feilmeldingen: %** illegal arity in application (Problemet er at funksjoner alltid har en returverdi- men den er implisitt.)

10 Funksjoner i Oz V Prosedyrer har ingen returverdi- nøkkelordet er proc proc {HiThere} {Browse Hi there! } end Funker som forventet.

11 Lister i Oz [1 2 3] - listen med de tre første heltallene For at det skal være en liste, må den inneholde det tomme elemtentet som en sluttmarkør. Sluttelementet vises ikke når en lager lister med []- syntaksen.

12 Lister i Oz II Kan også slå sammen elementer med -operatoren binder sammen de tre første heltallene. Er lik [1 2 3]? (Svar: nei, lister må avsluttes med nil.) [1 2 3] er lik nil

13 Mønstergjenkjenning i Oz Kan dele opp lister i Oz med case -uttrykket L = [1 2 3] case L of H T then H end På norsk: Hvis L har strukturen H T så gi meg H H bindes altså til 1, T bindes til [2 3]

14 Mønstergjenkjenning i Oz II Kan liste opp flere struktur-alternativer: case L of H T then {Browse H} [] nil then {Browse nil} end [] angir alternativ- hvis det første ikke stemmer prøver en det andre. Kan ha vilkårlig mange [] -angitte alternativer

15 Mønstergjenkjenning i Oz III Med H T kan man hente ut hodet og halen- hvordan sjekke hva som ligger på en vilkårlig plass? case L of A B C then {Browse B} end Her skriver en ut B- det andre elementet. Men hva om du ønsker det tusende elementet? case A B C D... case-uttrykket alene blir for enkelt.

16 Rekursivitet! En funksjon kaller seg selv. Kvintessensielle eksempel, fibonaccirekken: declare fun {Fib N} if N < 2 then N else {Fib N - 1} +{Fib N - 2} end end

17 Lister og rekursivitet Case-setningen + rekursivitet = kraftig listebehandling Ønsker å finne ut om elementet 9 ligger i en liste

18 Lister og rekursivitet II fun {FindNine L} case L of H T then if H == 9 then true else {FindNine T} end [] H then false end end

19 Lister og rekursivitet III {FindNine [ ]} Første iterasjon H = 1, T = [2 9 8] Andre iterasjon H =2, T = [9 8] Tredje iterasjon H=9, T= [8] - søket over H==9!

20 Avansert eksempel: Listefiltrering Ønsker å lage en funksjon som tar inn en liste med tall og returnerer en kopi av listen rensket for oddetall.

21 Avansert eksempel: Listefiltrering II En begynnelse: fun {RemoveOdds L} case L of H T then if H mod 2 == 0 then H... Ok- fant element du ønsker å ta med, men hva nå? Må huske nåværende element, samt kalle RemoveOdds på resten...

22 Avansert eksempel: Listefiltrering III fun {RemoveOdds L} case L of H T then if H mod 2 == 0 then H {RemoveOdds T} else {RemoveOdds T} end [] nil then nil end end

23 Avansert eksempel: Listefiltrering IV Hva skjer her: case L of H T then??? if H mod 2 == 0 then H {RemoveOdds T} Hvis H er et partall, konkatenerer du det til resultatet av å kalle RemoveOdds på T.

24 Avansert eksempel: Listefiltrering V {RemoveOdds [ ]} Første iterasjon: H er 1, så kaller {RemoveOdds [2 3 4]}, uten å ta vare på H. Andre iterasjon: H er 2, så konkatenerer H til resultatet av kallet {RemoveOdds T} ( H {RemoveOdds T} blir 2 {RemoveOdds [3 4])...

25 Avansert eksempel: Listefiltrering VI RemoveOdds på [ ], returverdi per kall: 1. {RemoveOdds [ ]} 2. {RemoveOdds [2 3 4]} 3. 2 {RemoveOdds [3 4]} 4. {RemoveOdds [4]} 5. 4 {RemoveOdds nil}

26 Leksemer og tokens (teori) For å gjøre om koden du skriver ({Browse Hello world! }) til kode maskinen kan forstå ( ), må koden igjennom flere faser. Første trinn er å omgjøre ren tekst til tokens. Input er ren tekst: while(variablename == true) Output er en sekvens tokens: while ( variablename == true )

27 Leksemer og tokens (teori) II Lexeren ser ikke på om teksten er meningsfylt, den omformer den blindt til tokens. while )( 5 < Hello world! ville blitt tokenized som WHILE_STATEMENT, RIGHT_PARENTHESIS, LEFT_PARENTHESIS, INTEGER, COMPARATOR, STRING Men i neste stadie ville setningen blitt gjenkjent som tull.

28 Tokens? Tokens: en merkelapp på de minste enhetene i et programmeringsspråk. Eksempel: if x == 5 kan bli tokenisert som CONDITIONAL, VARIABLE_NAME, EQUALITY_OPERATOR, INTEGER Tokenene er CONDITIONAL, VARIABLE_NAME etc...

29 Leksemer? Et leksem er et token med en tilhørende verdi, dvs. et tuppel (token:, value: ). Eksempel: (token: STRING, value: Hello World! ) Et token kan ha mange leksemer (men et leksem kan bare ha én token): (token: INT, value: 42 ), (token: INT, value: 5 ) Et leksem trenger ikke å ha mer enn én tilhørende verdi: (token : LEFT_PARENTHESIS, value: ( )

30 Spørsmål?