Slides til 12.1 Formelt språk og formell grammatikk

Størrelse: px
Begynne med side:

Download "Slides til 12.1 Formelt språk og formell grammatikk"

Transkript

1 Slides til 12.1 Formelt språk og formell grammatikk Andreas Leopold Knutsen April 6, 2010

2 Introduksjon Grammatikk er studiet av reglene som gjelder i et språk. Syntaks er læren om hvordan ord settes sammen til større enheter, dvs. setninger og fraser. Semantikk er den grenen av språkvitenskapen som studerer ordenes betydning, både enkeltvis og i sammenstilte strukturer (setninger). Vårt mål er syntaktisk korrekthet (ikke semantisk). Naturlig språk er ekstremt komplisert. Formelt språk er bestemt av en veldenert (gjerne endelig) mengde av syntaktiske regler. Programmeringsspråk er formelle språk.

3 Syntaktiske kategorier Substantiv (SUB) Adjektiv (ADJ) Artikkel (ART) Verb (V) Adverb (ADV) En frase er i grammatikken en gruppe ord som fungerer som en enkelt enhet i en setnings syntaks. Nominalfrase fungerer som et substantiv. (Eks: En ganske snill mann) Verbalfrase fungerer som et verb. (Eks: springer veldig fort)

4 Grammatikk, uformelt En setning består av en nominalfrase og en verbalfrase. En nominalfrase består av en artikkel etterfulgt av et substantiv, muligens med et adjektiv imellom. En verbalfrase består av et verb, muligens etterfulgt av et adverb. Et substantiv er student eller foreleser. Et adjektiv er ittig eller trett. En artikkel er en. Et verb er leker eller sover. Et adverb er dypt eller best.

5 Eksempel på gyldig setning med denne grammatikken setning nominalfrase verbalfrase artikkel adjektiv substantiv verbalfrase artikkel adjektiv substantiv verb adverb En adjektiv substantiv verb adverb En trett substantiv verb adverb En trett foreleser verb adverb En trett foreleser sover adverb En trett foreleser sover dypt Også mulig: En ittig student leker best. En student leker dypt. Ikke mulig: Flittig leker dypt.

6 Grammatikk, formelt S NF VF NF ART SUB, NF ART ADJ SUB, VF V, VF V ADV SUB student, SUB foreleser ADJ ittig, ADJ trett ART en V leker, V sover ADV dypt, ADV best Å generere en setning: S NF VF ART ADJ SUB V ADV en trett foreleser sover dypt Trestruktur på tavlen

7 Denisjoner i formell språkteori Et alfabet (eller vokabular) V er en endelig, ikketom mengde. Elementene i V kalles symboler. Et ord (eller en setning ) over V er en streng av endelig lengde av elementer i V, inkludert den tomme strengen/nullstrengen λ uten symboler V = mengden av alle ord over V. Et språk over V er en delmengde L V.

8 I vårt eksempel: V = {S, NF, VF, ART, ADJ, SUB, V, ADV, en, foreleser, student, trett, ittig, leker, sover, dypt, best} en trett foreleser sover dypt er et element i V. Men også ittig ADV ART er et element i V. Vi ga i tillegg regler for å generere setninger ved at symboler fra delmengden N = {S, NF, VF, ART, ADJ, SUB, V, ADV } V kunne erstattes med symboler fra seg selv eller fra delmengden T = {en, foreleser, student, trett, ittig, leker, sover, dypt, best} V Reglene var på formen w 1 w 2, der w 1 N og w 2 V.

9 Frasestrukturgrammatikk En frasestrukturgrammatikk G = (V, T, S, P) består av: Et vokabular/alfabet V. En delmengde T V, hvis elementer kalles terminale. (Elementene i komplemementet N = V T kalles ikketerminale eller variable.) Et element S V, kalt startsymbol. En endelig mengde P av regler, kalt produksjoner, for å erstatte et symbol i en streng over V med et annet symbol. Skrives som w 1 w 2, der w 1, w 2 V. Krav: enhver produksjon må inneholde minst ett element fra N på sin venstre side.

10 I vårt eksempel igjen: N = {S, NF, VF, ART, ADJ, SUB, V, ADV } V T = {en, foreleser, student, trett, ittig, leker, sover, dypt, best} V S er startelement P = {S NF VF, NF ART SUB, NF ART ADJ SUB, VF V, VF V ADV, SUB student, SUB foreleser, ADJ ittig, ADJ trett, ART en, V leker, V sover, ADV dypt, ADV best}

11 Variasjon... Vi kan også ha produksjoner som ikke er på formen ikketerminal streng av symboler Hvis vi f.eks. ønsker at adjektivet trett kun skal brukes for en student og ittig kun skal brukes for en foreleser kan vi bytte ut med ADJ ittig, ADJ trett ADJ foreleser ittig foreleser, ADJ student trett student Grammatikken går fra å være kontekstfri til kontekstsensitiv (mer om dette senere).

12 Backus-Naur form for produksjonene ::= for for alternativer ikketerminale elementer i klammer I vårt eksempel kan produksjonene skrives som S ::= NF VF NF ::= ART SUB ART ADJ SUB VF ::= V V ADV ART ::= en ADJ ::= trett ittig SUB ::= student foreleser V ::= leker sover ADV ::= dypt best

13 Avledninger/derivasjoner Hvis z 0 z 1 er en produksjon, z 0, z 1 V, kan vi f.eks. erstatte strengen w 0 = lz 0 r med w 1 = lz 1 r Vi skriver w 0 w 1 og sier at w 1 er direkte avledbar/avledet/derivérbar fra w 0 Dersom w 0 w 1, w 1 w 2,..., w n 1 w n for w 0, w 1..., w n V, sier vi at w n er (indirekte) avledbar/avledet/derivérbar fra w 0 og skriver w 0 wn Sekvensen w 0 w 1, w 1 w 2,..., w n 1 w n kalles en avledning/derivasjon Språket generert av/språket til grammatikken G er denert som L(G) = {w T S w} V (alle strenger av terminale objekter som er avledbare fra startsymbolet S) NB: Forskjellige grammatikker kan generere samme språk (se Eks. 6 og Oppg. 10 i 12.1)

14 I vårt eksempel igjen: En trett foreleser sover dypt L(G) En trett foreleser V ADV L(G) Flittig leker dypt L(G) Men alle disse er elementer i V, dvs. ord (strenger) over V.

15 Nye eksempler (endelig!) V = {S, A, B, a, b}, med T = {a, b}, og S er startsymbol. Eksempel 1: P = {S AB, S aa, A a, B ba}. Da er L(G) = {aba, aa}. Eksempel 2: P = {S AA, S B, A aaa, A aa, B bb, B b}. Da er L(G) = {a 2n n Z, n 2} {b m m Z, m 1}. På tavlen: derivasjonstre for a 6

16 Eksempel på syntaksanalyse Syntaksanalyse = parsing = skille mellom lovlige og ulovlige uttrykk. Eksempel: G = (V, T, S, P) V = {a, b, c, A, B, C, S} T = {a, b, c} P = { S ::= A B, A ::= C a, B ::= B a C b b, C ::= cb b} Oppgave (vises på tavlen): (a) Vis at cbaba L(G) (b) Vis at bbbcba L(G)

17 Kontekstfrie grammatikker Kontekstfri grammatikk: alle produksjonene er på formen A w, der A N og w V. Kalles også grammatikk av type II. Et språk som kan genereres av en kontekstfri grammatikk kalles et kontekstfritt språk. Alle eksemplene hittil (bortsett fra variasjonen) har vært slik. Men det nnes grammatikker og språk som ikke er kontekstfrie, se neste side.

18 Eksempel 7 -Oppgave 12 i 12.1 G = (V, T, S, P) V = {0, 1, 2, S, A, B} T = {0, 1, 2} P = {S 0SAB, S λ, BA AB, 0A 01, 1A 11, 1B 12, 2B 22} (merk trykkfeil i boken) G er ikke kontekstfri grammatikk pga. (hvilken som helst av) de fem siste produksjonene Vises på tavlen hvis tid: L(G) = {0 n 1 n 2 n n N}, med konvensjonen = λ. Man kan vise at ingen av grammatikkene som genererer språket {0 n 1 n 2 n n N} er kontekstfrie, slik at språket ikke er kontekstfritt.

19 Kontekstsensitive grammatikker Kontekstsensitiv grammatikk: alle produksjonene er på formen lar lwr, der A N og w, l, r V, w λ. Produksjonen S λ er også tillatt, dersom S ikke forekommer på høyresiden av noen annen produksjon. Kalles også grammatikk av type I. Et språk som kan genereres av en kontekstsensitiv grammatikk kalles et kontekstsensitivt språk.

20 Tilbake til Eksempel 7 -Oppgave 12 i 12.1 G = (V, T, S, P) V = {0, 1, 2, S, A, B} T = {0, 1, 2} P = {S 0SAB, S λ, BA AB, 0A 01, 1A 11, 1B 12, 2B 22} G er ikke kontekstsensitiv grammatikk pga. produksjonen BA AB og felles forekomst av S λ og S 0SAB. (Her står det feil i Eks. 10 i boken) Likevel er L(G) = {0 n 1 n 2 n n N} et kontekstsensitivt språk fordi det kan genereres av en kontekstsensitiv grammatikk: Bytt ut {S λ, S 0SAB} med {S 0AB, S 0SAB}. Introdusér nytt ikketerminalt symbol C og bytt ut BA AB med {BA CA, CA CB, CB AB}.

21 Fortsettelse... Vi får den kontekstsensitive grammatikken G = (V, T, S, P ) V = {0, 1, 2, S, A, B, C} T = {0, 1, 2} P = {S 0AB, S 0SAB, BA CA, CA CB, CB AB, 0A 01, 1A 11, 1B 12, 2B 22} Lett å se at L(G ) = L(G) = {0 n 1 n 2 n n N}. Konklusjon: {0 n 1 n 2 n n N} er et et kontekstsensitivt språk, som hevdet i Eks. 10 i boken.

INF1820 2013-04-12 INF1820. Arne Skjærholt INF1820. Dagens språk: Russisk. dyes yataya l yektsiya. Arne Skjærholt. десятая лекция

INF1820 2013-04-12 INF1820. Arne Skjærholt INF1820. Dagens språk: Russisk. dyes yataya l yektsiya. Arne Skjærholt. десятая лекция Arne Skjærholt десятая лекция Dagens språk: Russisk. dyes yataya l yektsiya Arne Skjærholt десятая лекция N,Σ,R,S Nå er vi tilbake i de formelle, regelbaserte modellene igjen, og en kontekstfri grammatikk

Detaljer

INF2820 Datalingvistikk V2011. Jan Tore Lønning & Stephan Oepen

INF2820 Datalingvistikk V2011. Jan Tore Lønning & Stephan Oepen INF2820 Datalingvistikk V2011 Jan Tore Lønning & Stephan Oepen FORMELLE OG NATURLIGE SPRÅK KONTEKSTFRIE GRAMMATIKKER 7. februar 2011 2 Naturlige språk som formelle språk Et formelt språk består av: En

Detaljer

Stoff som i boka står i kap 4, men som er

Stoff som i boka står i kap 4, men som er INF5110 V2011 Stoff som i boka står i kap 4, men som er generelt stoff om grammatikker 9. Februar 2011 Stein Krogdahl, Ifi, UiO Oppgaver som gjennomgås gå tirsdag 15/2: - Spørsmålene på de to siste foilene

Detaljer

2/6/2012. Begrensninger ved regulære språk. INF2820 Datalingvistikk V2012. Formelle språk som ikke er regulære KONTEKSTFRIE GRAMMATIKKER.

2/6/2012. Begrensninger ved regulære språk. INF2820 Datalingvistikk V2012. Formelle språk som ikke er regulære KONTEKSTFRIE GRAMMATIKKER. INF2820 Datalingvistikk V2012 Jan Tore Lønning Begrensninger ved regulære Regulære er ikke ideelle modeller for naturlige, dvs Verken regulære uttrykk eller NFA er ideelle for å beskrive naturlige fordi:

Detaljer

INF2820 Datalingvistikk V2012. Jan Tore Lønning

INF2820 Datalingvistikk V2012. Jan Tore Lønning INF2820 Datalingvistikk V2012 Jan Tore Lønning BEGRENSNINGER VED REGULÆRE SPRÅK OG KONTEKSTFRIE GRAMMATIKKER 2 I dag 1. Begrensninger ved regulære språk 2. Noen egenskaper ved naturlige språk 3. Kontekstfrie

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UIVERSITETET I OSLO et matematisk-naturvitskapelige fakultet Eksam i: IF1820 Introduksjon til språk- og kommunikasjonsteknologi Eksamsdag: 17. juni 2016 Tid for eksam: 14.30 18.30 Oppgavesettet er på 6

Detaljer

. Grammatiske problem med å beskrive ordklassen adverb og setningsleddet adverbial i norsk. Sverre Stausland Johnsen Universitetet i Oslo

. Grammatiske problem med å beskrive ordklassen adverb og setningsleddet adverbial i norsk. Sverre Stausland Johnsen Universitetet i Oslo .. Grammatiske problem med å beskrive ordklassen adverb og setningsleddet adverbial i norsk Sverre Stausland Johnsen Universitetet i Oslo stausland.johnsen@iln.uio.no Universitetet i Stavanger 15. januar

Detaljer

INF2820 V2017 Oppgavesett 6 Gruppe 7.3

INF2820 V2017 Oppgavesett 6 Gruppe 7.3 INF2820 V2017 Oppgavesett 6 Gruppe 7.3 Oppgave 1: Lag en kontekstfri grammatikk som beskriver samme språk som nettverket under. S a S S c S S b A1 A1 a S A1 c S A1 b A2 A2 c S A2 a S A2 b A3 A3 a A3 A3

Detaljer

Hvor er vi nå - kap. 3 (+4,5)? Forenklet skisse av hva en parser gjør PARSER. Kontekstfrie grammatikker og syntaksanalyse (parsering)

Hvor er vi nå - kap. 3 (+4,5)? Forenklet skisse av hva en parser gjør PARSER. Kontekstfrie grammatikker og syntaksanalyse (parsering) Hvor er vi nå - kap. 3 (+4,5)? Kontekstfrie grammatikker og syntaksanalyse (parsering) INF5110 - kap.3 i Louden + hjelpenotat (se hjemmesida) Arne Maus Ifi, UiO v2006 program Pre - processor Makroer Betinget

Detaljer

Kap. 5, del 1: Parsering nedenfra-opp (Bottom up parsing) INF5110. Stein Krogdahl Ifi, UiO

Kap. 5, del 1: Parsering nedenfra-opp (Bottom up parsing) INF5110. Stein Krogdahl Ifi, UiO Kap. 5, del 1: Parsering nedenfra-opp (Bottom up parsing) INF5110 NB: Disse foilene er litt justert og utvidet i forhold til de som er delt ut tidligere på en forelesning. Ta dem ut på nytt! Stein Krogdahl

Detaljer

INF 2820 V2016: Innleveringsoppgave 3 del 1

INF 2820 V2016: Innleveringsoppgave 3 del 1 INF 2820 V2016: Innleveringsoppgave 3 del 1 Pga tekniske problemer er oppgaveteksten delt i to. Dette er første del. Andre del legges ut mandag 13.3! Besvarelsene skal leveres i devilry innen fredag 24.3

Detaljer

Repetisjon. 1 binærtall. INF3110 Programmeringsspråk. Sist så vi ulike notasjoner for syntaks: Jernbanediagrammer. BNF-grammatikker.

Repetisjon. 1 binærtall. INF3110 Programmeringsspråk. Sist så vi ulike notasjoner for syntaks: Jernbanediagrammer. BNF-grammatikker. INF3 Programmeringsspråk INF3 Programmeringsspråk Dagens tema Syntaks (Komp 47, kap 3 (og noe 4)) Repetisjon Regulære språk i klassisk NF Regulære språk i utvidet NF Regulære språk i jerbanediagrammer

Detaljer

INF INF1820. Arne Skjærholt. Negende les INF1820. Arne Skjærholt. Negende les

INF INF1820. Arne Skjærholt. Negende les INF1820. Arne Skjærholt. Negende les Arne Skjærholt egende les Arne Skjærholt egende les σύνταξις Syntaks, fra gresk for oppstilling, er studiet av hvordan vi bygger opp setninger fra ord. Pāṇini (ca. 400 år f.kr.) er den første som formulerer

Detaljer

INF1820: Introduksjon til språk-og kommunikasjonsteknologi

INF1820: Introduksjon til språk-og kommunikasjonsteknologi INF1820: Introduksjon til språk-og kommunikasjonsteknologi Fjerde forelesning Lilja Øvrelid 6 februar, 2014 OVERSIKT Såkalt endelig tilstand (finite-state) -teknologi er kjapp og effektiv nyttig for et

Detaljer

INF1820: Introduksjon til språk-og kommunikasjonsteknologi

INF1820: Introduksjon til språk-og kommunikasjonsteknologi INF1820: Introduksjon til språk-og kommunikasjonsteknologi Fjerde forelesning Lilja Øvrelid 6 februar, 2014 OVERSIKT Såkalt endelig tilstand (finite-state) -teknologi er kjapp og effektiv nyttig for et

Detaljer

NORSKPRØVEN 2014 ny muntlig prøve. Sett inn sted, dato og foredragsholder Kurs i vurdering av ny muntlig prøve, i regi av Vox

NORSKPRØVEN 2014 ny muntlig prøve. Sett inn sted, dato og foredragsholder Kurs i vurdering av ny muntlig prøve, i regi av Vox NORSKPRØVEN 2014 ny muntlig prøve Sett inn sted, dato og foredragsholder Kurs i vurdering av ny muntlig prøve, i regi av Vox Innhold Teoretisk innledning Hva er muntlige språkferdigheter? Utfordringer

Detaljer

Semantisk Analyse del I

Semantisk Analyse del I Semantisk Analyse del I Attributtgrammatikker Kapittel 6.1-6.2 26.02.2013 1 Statisk semantisk analyse kapittel 6: Innhold Generelt om statisk semantisk analyse Attributt-grammatikker (kapittel 6.1-6.2)

Detaljer

Løsningsforslag til obligatorisk oppgave 3 INF1800 Logikk og beregnbarhet, høsten 2009

Løsningsforslag til obligatorisk oppgave 3 INF1800 Logikk og beregnbarhet, høsten 2009 Løsningsforslag til obligatorisk oppgave 3 INF1800 Logikk og beregnbarhet, høsten 2009 Torgeir Lebesbye torgeirl@ifi.uio.no Universitetet i Oslo Lars-Erik Bruce larsereb@ifi.uio.no Universitetet i Oslo

Detaljer

INF5110 Kap. 5: Parsering nedenfra-og-opp (Bottom-up parsing) 21/ Stein Krogdahl Ifi, UiO. Angående Oblig 1:

INF5110 Kap. 5: Parsering nedenfra-og-opp (Bottom-up parsing) 21/ Stein Krogdahl Ifi, UiO. Angående Oblig 1: INF5110 Kap. 5: Parsering nedenfra-og-opp (Bottom-up parsing) Del 1 21/2-2014 Stein Krogdahl Ifi, UiO ngående Oblig 1: Blir lagt ut tirsdag/onsdag neste uke Oblig-ansvarlig Henning Berg orienterer 28/2

Detaljer

INF1820: Ordklasser 2014-02-13. INF1820: Ordklasser. Arne Skjærholt. 13. februar. INF1820: Ordklasser. Arne Skjærholt. 13. februar

INF1820: Ordklasser 2014-02-13. INF1820: Ordklasser. Arne Skjærholt. 13. februar. INF1820: Ordklasser. Arne Skjærholt. 13. februar Arne Skjærholt 13. februar Arne Skjærholt 13. februar Ordklasser Ordklasser Ordklassene er bindeleddet mellom ordet (det morfologiske nivået) og syntaksen (setningsstrukturen). Det kan bestemme hva slags

Detaljer

INF 2820 V2016: Innleveringsoppgave 3 hele

INF 2820 V2016: Innleveringsoppgave 3 hele INF 2820 V2016: Innleveringsoppgave 3 hele Dette er det komplette settet! Besvarelsene skal leveres i devilry innen fredag 24.3 kl 18.00 Det blir 5 sett med innleveringsoppgaver. Hvert sett gir inntil

Detaljer

Dagens tema Syntaks (kapittel Komp. 47, kap. 1 og 2)

Dagens tema Syntaks (kapittel Komp. 47, kap. 1 og 2) Dagens tema Syntaks (kapittel 2.1 + Komp. 47, kap. 1 og 2) 1/19 Forelesning 6 1.10.2003 Litt om kompilering og interpretering En kompilator oversetter et program til et annet språk, for eksempel maskinspråk.

Detaljer

Litt om kompilering og interpretering. Dagens tema Syntaks (kapittel Komp. 47, kap. 1 og 2) Syntaks og semantikk

Litt om kompilering og interpretering. Dagens tema Syntaks (kapittel Komp. 47, kap. 1 og 2) Syntaks og semantikk Litt om kompilering og interpretering Dagens tema Syntaks (kapittel 2. + Komp. 47, kap. og 2) En kompilator oversetter et program til et annet språk, for eksempel maskinspråk. Et program interpreteres

Detaljer

Slides til 1.6 og 1.7. Andreas Leopold Knutsen

Slides til 1.6 og 1.7. Andreas Leopold Knutsen Slides til 1.6 og 1.7 Andreas Leopold Knutsen January 17, 2010 Begreper Matematiske resultater/utsagn som er sanne kalles gjerne: Teorem = viktig utsagn Proposisjon/Sats/Setning = litt mindre viktig utsagn

Detaljer

INF3110 Programmeringsspråk

INF3110 Programmeringsspråk INF3 Programmeringsspråk Dagens tema Syntaks (Komp 47, kap 3 (og noe 4)) Repetisjon Regulære språk i klassisk BNF Regulære språk i utvidet BNF Regulære språk i jerbanediagrammer Regulære språk og automater

Detaljer

Enkel beskrivelse av somali

Enkel beskrivelse av somali Enkel beskrivelse av somali Både kunnskaper om andrespråksutvikling, om trekk ved elevers morsmål og om norsk språkstruktur er til god nytte i undervisningen. Slike kunnskaper gjør at læreren lettere forstår

Detaljer

Setningsledd. Arne Martinus Lindstad Tekstlaboratoriet Universitetet i Oslo.

Setningsledd. Arne Martinus Lindstad Tekstlaboratoriet Universitetet i Oslo. Setningsledd Arne Martinus Lindstad Tekstlaboratoriet Universitetet i Oslo http://www.hf.uio.no/tekstlab Hvorfor lære setningsanalyse? Økt forståelse for hvordan man bygger opp setninger i skriftlige arbeider

Detaljer

INF2820 Datalingvistikk V Gang Jan Tore Lønning

INF2820 Datalingvistikk V Gang Jan Tore Lønning INF2820 Datalingvistikk V2016 5. Gang - 17.2 Jan Tore Lønning I dag Kontekstfrie grammatikker, avledninger og trær Kontekstfrie grammatikker og regulære språk Kontekstfrie grammatikker for naturlige språk

Detaljer

INF2820 Datalingvistikk V2014. Jan Tore Lønning

INF2820 Datalingvistikk V2014. Jan Tore Lønning INF2820 Datalingvistikk V2014 Jan Tore Lønning ENDELIGE TILSTANDSTEKNIKKER OG REGULÆRE UTTRYKK I DATALINGVISTIKK 19. januar 2014 2 Naturlige språk En mann kjøpte en bil av en mann som hadde eid bilen i

Detaljer

Oppgave 1 Vi har gitt følgende grammatikk for noe vi kan kalle speilengelsk :

Oppgave 1 Vi har gitt følgende grammatikk for noe vi kan kalle speilengelsk : Eksempelspørsmål Spørsmål av denne typen kan forventes til eksamen, men kanskje ikke så mange. I hvert fall ville dette pluss spørsmål fra første del av pensum blitt for mye for en tretimers eksamen. Oppgave

Detaljer

Chapter 6 - Discrete Mathematics and Its Applications. Løsningsforslag på utvalgte oppgaver

Chapter 6 - Discrete Mathematics and Its Applications. Løsningsforslag på utvalgte oppgaver Avsnitt 6. Chapter 6 - Discrete Mathematics and Its Applications Løsningsforslag på utvalgte oppgaver Oppgave a) Valget av en fra matematikk og en fra data er uavhengig av hverandre. Dermed blir det 35

Detaljer

Enkel beskrivelse av islandsk språk

Enkel beskrivelse av islandsk språk Enkel beskrivelse av islandsk språk Både kunnskaper om andrespråksutvikling, om trekk ved elevers morsmål og om norsk språkstruktur er til god nytte i undervisningen. Slike kunnskaper gjør at læreren lettere

Detaljer

INF2820 Datalingvistikk V Gang Jan Tore Lønning

INF2820 Datalingvistikk V Gang Jan Tore Lønning INF2820 Datalingvistikk V2016 6. Gang - 24.2 Jan Tore Lønning PARSING DEL 1 2 I dag Hva er parsing? Høyre- og venstreavledninger Recursive-Descent parser (top-down) Shift-Reduce parser (bottom-up) Pythonimplementasjon:

Detaljer

INF2820 Datalingvistikk V2015. Forelesning 4, 9.2 Jan Tore Lønning

INF2820 Datalingvistikk V2015. Forelesning 4, 9.2 Jan Tore Lønning INF2820 Datalingvistikk V2015 Forelesning 4, 9.2 Jan Tore Lønning I dag Oppsummering av endelige tilstandsteknikker Begrensninger ved regulære språk Regulære uttrykk: teoretiske og praktiske Noen egenskaper

Detaljer

Turingmaskiner en kortfattet introduksjon. Christian F Heide

Turingmaskiner en kortfattet introduksjon. Christian F Heide 13. november 2014 Turingmaskiner en kortfattet introduksjon Christian F Heide En turingmaskin er ikke en fysisk datamaskin, men et konsept eller en tankekonstruksjon laget for å kunne resonnere omkring

Detaljer

Enkel beskrivelse av bulgarsk språk

Enkel beskrivelse av bulgarsk språk Enkel beskrivelse av bulgarsk språk Både kunnskaper om andrespråksutvikling, om trekk ved elevers morsmål og om norsk språkstruktur er til god nytte i undervisningen. Slike kunnskaper gjør at læreren lettere

Detaljer

"Det er fort gjort og skrive feil." En presentasjon av en automatisk grammatikkontroll for bokmål

Det er fort gjort og skrive feil. En presentasjon av en automatisk grammatikkontroll for bokmål 1 av 5 02.06.2010 17:00 "Det er fort gjort og skrive feil." En presentasjon av en automatisk grammatikkontroll for bokmål Av Kristin Hagen og Pia Lane Det siste året har Tekstlaboratoriet ved Universitetet

Detaljer

Syntaksanalyse. Skanner (repetisjon) Parsering top-down bottom-up LL(1)-parsering Recursive descent Forutsetninger. IN 211 Programmeringsspråk

Syntaksanalyse. Skanner (repetisjon) Parsering top-down bottom-up LL(1)-parsering Recursive descent Forutsetninger. IN 211 Programmeringsspråk Syntaksanalyse Skanner (repetisjon) Parsering top-down bottom-up LL(1)-parsering Recursive descent Forutsetninger Ark 1 av 26 Forelesning 15.10.2001 Syntaksanalyse En parser er et program som analyserer

Detaljer

INF2820 Datalingvistikk V2012. Jan Tore Lønning & Stephan Oepen

INF2820 Datalingvistikk V2012. Jan Tore Lønning & Stephan Oepen INF2820 Datalingvistikk V2012 Jan Tore Lønning & Stephan Oepen ENDELIGE TILSTANDSTEKNIKKER OG REGULÆRE UTTRYKK I DATALINGVISTIKK 17. januar 2012 2 Naturlige språk En mann kjøpte en bil av en mann som hadde

Detaljer

Kap. 5, Del 3: INF5110, fra 1/3-2011

Kap. 5, Del 3: INF5110, fra 1/3-2011 Kap. 5, Del 3: LR(1)- og LALR(1)-grammatikker INF5110, fra 1/3-2011 Bakerst: Oppgaver til kap 5 (svar kommer til gjennomgåelsen) gåe Nytt 2/3: Nå også oppgave 2 fra eksamen 2006 Stein Krogdahl, Ifi, UiO

Detaljer

INF2820 Datalingvistikk V2017 Forelesning 1.2 Jan Tore Lønning

INF2820 Datalingvistikk V2017 Forelesning 1.2 Jan Tore Lønning INF2820 Datalingvistikk V2017 Forelesning 1.2 Jan Tore Lønning ENDELIGE TILSTANDSMASKINER OG REGULÆRE SPRÅK 19. januar 2017 2 Fysisk modell En tape delt opp i ruter. I hver rute står det et symbol. En

Detaljer

INF 2820 V2016: Obligatorisk innleveringsoppgave 3

INF 2820 V2016: Obligatorisk innleveringsoppgave 3 INF 2820 V2016: Obligatorisk innleveringsoppgave 3 Besvarelsene skal leveres i devilry innen torsdag 21.4 kl 18.00 Filene det vises til finner du i o /projects/nlp/inf2820/cfg Oppgave 1: Shift-reduce-effektivisering

Detaljer

Statisk semantisk analyse - Kap. 6

Statisk semantisk analyse - Kap. 6 Statisk semantisk analyse - Kap. 6 Generelt om statisk semantisk analyse Attributt-grammatikker Symboltabell Datatyper og typesjekking 3/15/11 1 Generelt om semantisk analyse Oppgave: Sjekke alle krav

Detaljer

Slides til 4.1 og 4.2: Eksempler på feil i induksjonsbevis. Andreas Leopold Knutsen

Slides til 4.1 og 4.2: Eksempler på feil i induksjonsbevis. Andreas Leopold Knutsen Slides til 4.1 og 4.2: Eksempler på feil i induksjonsbevis Andreas Leopold Knutsen February 9, 2010 Eks. 1: Finn feilen Fibonaccitallene F 1, F 2, F 3,... er denert rekursivt ved: F 0 = 0, F 1 = 1, og

Detaljer

a) Sett strek mellom ordene og forklaringene som betyr omtrent det samme. b) Sett inn riktig ord uten å

a) Sett strek mellom ordene og forklaringene som betyr omtrent det samme. b) Sett inn riktig ord uten å Innhold Forord......................................................... 17 Om å bruke Nå begynner vi!.... 19 Om hele lærebokserien Nettressursene: www.norskfordeg.no gruppen Læreplanen som grunnlag for

Detaljer

INF januar Forelesninger fremover:

INF januar Forelesninger fremover: Kontekstfrie grammatikker og syntaksanalyse (parsering) Kap. 3, 4 og 5 i Louden Kan også lese om dette i notat delvis brukt i INF 3/4110 Se kursets hjemmeside (foreløpig 2007): Pensum/læringskrav INF 5110

Detaljer

Beskrivelse av programmeringsspråket Simpila INF5110 - Kompilatorteknikk Våren 2012

Beskrivelse av programmeringsspråket Simpila INF5110 - Kompilatorteknikk Våren 2012 Beskrivelse av programmeringsspråket Simpila INF5110 - Kompilatorteknikk Våren 2012 Her beskrives syntaksen og den statiske semantikken (hva som skal sjekkes av kompilatoren) til språket Simpila. Den dynamiske

Detaljer

Matriser En matrise er en rektangulær oppstilling av tall og betegnes med en stor bokstav, f.eks. A, B, C,.. Eksempler:

Matriser En matrise er en rektangulær oppstilling av tall og betegnes med en stor bokstav, f.eks. A, B, C,.. Eksempler: Matriser En matrise er en rektangulær oppstilling av tall og betegnes med en stor bokstav, f.eks. A, B, C,.. Eksempler: Tallene i en matrise kalles elementer. En matrise har rader (vannrett, horisontalt)

Detaljer

INF1820: Introduksjon til språk-og kommunikasjonsteknologi

INF1820: Introduksjon til språk-og kommunikasjonsteknologi INF1820: Introduksjon til språk-og kommunikasjonsteknologi Niende forelesning Lilja Øvrelid 20 mars, 2017 1 Formelle modeller Kan fange inn den språklige kunnskapen v.hj.a et lite antall formelle modeller

Detaljer

Forelesning 9: Frsteordens logikk { kompletthet Roger Antonsen mars 2006

Forelesning 9: Frsteordens logikk { kompletthet Roger Antonsen mars 2006 Forelesning 9: Frsteordens logikk { kompletthet Roger Antonsen - 27. mars 2006 1 Kompletthet av LK 1.1 Overblikk Vi skal na bevise at LK er komplett. Ikke bare er LK sunn, den kan ogsa vise alle gyldige

Detaljer

Finne løsninger på ligninger numerisk: Newton-Raphson metoden og Fikspunktiterasjon MAT111, høsten 2017

Finne løsninger på ligninger numerisk: Newton-Raphson metoden og Fikspunktiterasjon MAT111, høsten 2017 Finne løsninger på ligninger numerisk: Newton-Raphson metoden og Fikspunktiterasjon MAT111, høsten 2017 Andreas Leopold Knutsen 4. oktober 2017 Problem og hovedidé Problem: Finn løsning(er) r på en ligning

Detaljer

Oppgaver til INF 5110, kapittel 5 Fullt svar på oppgave 5.4, og en del andre oppgaver med svar

Oppgaver til INF 5110, kapittel 5 Fullt svar på oppgave 5.4, og en del andre oppgaver med svar Oppgaver til INF 5110, kapittel 5 Fullt svar på oppgave 5.4, og en del andre oppgaver med svar Fra boka: 5.3, 5.4, 5.11, 5.12, 5.13. Oppgave 2 fra Eksamen 2006 (se undervisningsplanen 2008). Utvid grammatikken

Detaljer

Oppgave 2. INF5110 oppgave 2 på eksamen v04 med teori. FirstMengder. Arne Maus Ifi. Eks. 4.9 Beregning av First-mengde. terminal

Oppgave 2. INF5110 oppgave 2 på eksamen v04 med teori. FirstMengder. Arne Maus Ifi. Eks. 4.9 Beregning av First-mengde. terminal Oppgave 2 INF5110 oppgave 2 på eksamen v04 med teori rne Maus Ifi FirstMengder Def { terminal First () = { a finnes avledning * a α } Dessuten: Om er utnullbar, så er ε First() Eks. 4.9 eregning av First-mengde

Detaljer

Norsk minigrammatikk bokmål

Norsk minigrammatikk bokmål Norsk minigrammatikk bokmål Ordklassene Substantiv Adjektiv Artikler Pronomen Tallord Verb Adverb Konjunksjoner Preposisjoner Interjeksjoner ORDKLASSENE Den norske grammatikken inneholder ti ordklasser:

Detaljer

Statisk semantisk analyse - Kap. 6

Statisk semantisk analyse - Kap. 6 Statisk semantisk analyse - Kap. 6 Generelt om statisk semantisk analyse Attributt-grammatikker Symboltabell Datatyper og typesjekking 3110/4110-2004 5110-2009 3/3/2009 1 Generelt om semantisk analyse

Detaljer

Veiledning og tilleggsoppgaver til kapittel 6 i Her bor vi 1

Veiledning og tilleggsoppgaver til kapittel 6 i Her bor vi 1 Veiledning og tilleggsoppgaver til kapittel 6 i Her bor vi 1 Generelt om kapittel 6 Er du ferdig? Dette kapittelet foregår i den nye leiligheten til familien Okoko. Det er naturlig å arbeide med hva rommene

Detaljer

INF1820: Oppsummering

INF1820: Oppsummering Arne Skjærholt 8. mai Arne Skjærholt 8. mai Kurset gir en innføring i lingvistisk teori og relaterer denne til språkteknologiske problemområder, metoder og applikasjoner. Fokus er på å koble teori til

Detaljer

Bottom up parsering (nedenfra-og-opp) Kap. 5 del 1 Intro til parsering nedenfra-og-opp samt LR(0) og SLR(1) grammatikker INF5110 v2006

Bottom up parsering (nedenfra-og-opp) Kap. 5 del 1 Intro til parsering nedenfra-og-opp samt LR(0) og SLR(1) grammatikker INF5110 v2006 ottom up parsering (nedenfra-og-opp) Kap. 5 del 1 Intro til parsering nedenfra-og-opp samt LR(0) og LR(1) grammatikker INF5110 v2006 rne Maus, Ifi UiO t 1 t 2 t 3 t 7 t 4 t 5 t 6 LR-parsering og grammatikker

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Side 1 Det matematisk-naturvitenskapelige fakultet Eksamen i: INF2820 Datalingvistikk Eksamensdag: 6. juni 2014 Tid for eksamen: 1430-1830 Oppgavesettet er på 5 side(r) Vedlegg: 0

Detaljer

Innhold. Forord Om å bruke Norsk for deg: Grammatikkoppgaver Hovedfokus: Substantiv... 17

Innhold. Forord Om å bruke Norsk for deg: Grammatikkoppgaver Hovedfokus: Substantiv... 17 Forord....11 Om å bruke Norsk for deg: Grammatikkoppgaver...13 Tematisk fokusering en grammatisk veiviser.................................... 13 Minigrammatikk før noen av kapitlene.........................................

Detaljer

LØSNINGSFORSLAG EKSAMEN MNF130 VÅREN 2010 OPPGAVE 1

LØSNINGSFORSLAG EKSAMEN MNF130 VÅREN 2010 OPPGAVE 1 LØSNINGSFORSLAG EKSAMEN MNF130 VÅREN 2010 OPPGAVE 1 p q p p q p q T T F T T Sannhetstabell: T F F F F F T T T T F F T T T Siden proposisjonene p q og p q har samme sannhetsverdier (for alle sannhetsverdier

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i : INF5110 - Kompilatorteknikk Eksamensdag : Onsdag 5. juni 2013 Tid for eksamen : 14.30-18.30 Oppgavesettet er på : Vedlegg :

Detaljer

b) Hvis det er mulig å svare blankt (dvs. vet ikke) blir det 5 svaralternativer på hvert spørsmål, og dermed mulige måter å svare på.

b) Hvis det er mulig å svare blankt (dvs. vet ikke) blir det 5 svaralternativer på hvert spørsmål, og dermed mulige måter å svare på. Diskret matematikk - Høgskolen i Oslo Løsningsforslag for en del oppgaver fra boken Discrete Mathematics and Its Applications Forfatter: Kenneth H. Rosen Avsnitt 5. Oppgave 3 Når et spørsmål har 4 svaralternativer

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i : INF5110 - Kompilatorteknikk Eksamensdag : Onsdag 4. juni 2008 Tid for eksamen : 14.30-17.30 Oppgavesettet er på : 7 sider Vedlegg

Detaljer

INF1820: Introduksjon til språk-og kommunikasjonsteknologi

INF1820: Introduksjon til språk-og kommunikasjonsteknologi INF1820: Introduksjon til språk-og kommunikasjonsteknologi Tiende forelesning Lilja Øvrelid 20 mars, 2014 1 / 1 FORMELLE MODELLER kan representere den språklige kunnskapen v.hj.a et lite antall formelle

Detaljer

Kap. 5, del 1: Parsering nedenfra-opp (Bottom-up parsering) 16/ Stein Krogdahl Ifi, UiO

Kap. 5, del 1: Parsering nedenfra-opp (Bottom-up parsering) 16/ Stein Krogdahl Ifi, UiO Kap. 5, del 1: Parsering nedenfra-opp (Bottom-up parsering) INF5110 16/2-2011 tein Krogdahl Ifi, UiO 1 Bottom up parsering (nedenfra-og-opp) B B t 1 t 2 t 3 t 7 t 4 t 5 t 6 LR-parsering og grammatikker:

Detaljer

INF1820: Introduksjon til språk-og kommunikasjonsteknologi

INF1820: Introduksjon til språk-og kommunikasjonsteknologi INF1820: Introduksjon til språk-og kommunikasjonsteknologi Niende forelesning Lilja Øvrelid 20 mars, 2017 1 Formelle modeller Kan fange inn den språklige kunnskapen v.hj.a et lite antall formelle modeller

Detaljer

Overblikk over komplementer i kinesisk

Overblikk over komplementer i kinesisk Overblikk over komplementer i kinesisk Halvor Eifring 2. november 2001 1. Resultative komplementer 1.1. Struktur V1+V2 V1 er et verb, oftest transitivt: V2 er et adjektiv eller annen type verb: 1.2. Betydning

Detaljer

INF2820 Datalingvistikk V Gang Jan Tore Lønning

INF2820 Datalingvistikk V Gang Jan Tore Lønning INF2820 Datalingvistikk V2015 5. Gang - 16.2 Jan Tore Lønning I dag Kontekstfrie grammatikker, avledninger og trær (delvis repetisjon) Kontekstfrie grammatikker og regulære språk Kontekstfrie grammatikker

Detaljer

Spørsmål 1.1 (10%) Lag en ikke-deterministisk endelig tilstandsautomat (NFA) som beskriver dette språket.

Spørsmål 1.1 (10%) Lag en ikke-deterministisk endelig tilstandsautomat (NFA) som beskriver dette språket. 2 Du kan svare på norsk, dansk, svensk eller engelsk. Du skal besvare alle spørsmålene. Vekten på de ulike spørsmålene er oppgitt. Du bør lese gjennom hele settet slik at du kan stille spørsmål til faglærerne

Detaljer

INF2820 Datalingvistikk V Gang 13.4 Jan Tore Lønning

INF2820 Datalingvistikk V Gang 13.4 Jan Tore Lønning INF2820 Datalingvistikk V2015 11. Gang 13.4 Jan Tore Lønning I dag Unifikasjonsgrammatikker Repetisjon og overblikk: Formalisme Lingvistisk anvendelse Utvidelse av lingvistisk anvendelse NLTKs implementering

Detaljer

TID TEMA KOMPETANSEMÅL ARBEIDSMETODER VURDERINGSFORMER RESSURSER

TID TEMA KOMPETANSEMÅL ARBEIDSMETODER VURDERINGSFORMER RESSURSER RENDALEN KOMMUNE Fagertun skole Årsplan i norsk for 7. trinn 2015-16 Elevene skal gjennom hele skoleåret arbeide med skriftlige oppgaver innen sjangeren sakprosa/fagtekst og skjønnlitterære tekster. På

Detaljer

Følger Sipsers bok tett både i stoff og oppgaver.

Følger Sipsers bok tett både i stoff og oppgaver. 1 - hrj 1 Følger Sipsers bok tett både i stoff og oppgaver. Tirsdag forelesninger, nytt stoff Onsdag eksempler og utfyllende stoff Torsdag oppgaver fra uka før Start: kapittel 1 (2uker), 2 (2uker),3 (2uker),4

Detaljer

Dagens Tema: Grammatikker Kap. 3 i K. C. Louden

Dagens Tema: Grammatikker Kap. 3 i K. C. Louden INF 5110, 31. januar 2014 Stein Krogdahl Dagens Tema: Grammatikker Kap. 3 i K. C. Louden Min Foil-stil: Ofte mer tekst enn man helt kan få med seg på forelesningen, for at de skal være gode til repetisjon

Detaljer

Morfologi. Studiet av ordenes struktur Kap. 11 Om morfer (selvsagt) og litt større ting. EXFAC EURA 2. Morfologi1 1

Morfologi. Studiet av ordenes struktur Kap. 11 Om morfer (selvsagt) og litt større ting. EXFAC EURA 2. Morfologi1 1 Morfologi Studiet av ordenes struktur Kap. 11 Om morfer (selvsagt) og litt større ting EXFAC EURA 2. Morfologi1 1 Setninger består av ord (grupper av ord) Ord har struktur: les-te, en god les-er -te: bøyning

Detaljer

Forelesning januar 2006 Introduksjon, mengdelre og utsagnslogikk. 1 Praktisk informasjon. 1.1 Forelesere og tid/sted. 1.2 Obliger og eksamen

Forelesning januar 2006 Introduksjon, mengdelre og utsagnslogikk. 1 Praktisk informasjon. 1.1 Forelesere og tid/sted. 1.2 Obliger og eksamen Forelesning 1-23. januar 2006 Introduksjon, mengdelre og utsagnslogikk 1 Praktisk informasjon 1.1 Forelesere og tid/sted Forelesere: { Christian Mahesh Hansen (chrisha@ifi.uio.no) { Roger Antonsen (rantonse@ifi.uio.no)

Detaljer

Utviklingssak/ID Resume Endring (g2) Rettet i versjon (g1) Rettet i versjon

Utviklingssak/ID Resume Endring (g2) Rettet i versjon (g1) Rettet i versjon Utviklingssak/ID Resume Endring (g2) Rettet i versjon (g1) Rettet i versjon Ønsker at dager uten stemplinger legger seg i kolonnen ugyldig fravær når man Godkjennknapp er grået ut på dager uten stemplinger,

Detaljer

3. Generell presentasjon av MT-programmet

3. Generell presentasjon av MT-programmet 3. Generell presentasjon av MT-programmet Innhold: 3.1. Innledning 3.2. Grensesnitt 3.3. Oversettelsesmodell og paradigmetype 3.3.1. Oversettelsesmodell 3.3.2. Paradigmetype 3.4. Målgruppe/ anvendelsesområder

Detaljer

Forelesning 2: Induktive definisjoner, utsagnslogikk og sekventkalkyle Christian Mahesh Hansen januar 2007

Forelesning 2: Induktive definisjoner, utsagnslogikk og sekventkalkyle Christian Mahesh Hansen januar 2007 Forelesning 2: Induktive definisjoner, utsagnslogikk og sekventkalkyle Christian Mahesh Hansen - 29. januar 2007 1 Induktive definisjoner Induktive definisjoner Definisjon 1.1 (Induktiv definisjon). Å

Detaljer

Kap. 4, del I: Top Down Parsering Pluss oppgave til kapittel 3 INF5110 V2008

Kap. 4, del I: Top Down Parsering Pluss oppgave til kapittel 3 INF5110 V2008 Kap. 4, del I: Top Down Parsering Pluss oppgave til kapittel 3 INF5110 V2008 Stein Krogdahl Ifi, UiO NB: Av de foilene som ble delt ut på papir på forelesningen 5/2 så utgår nr 39 43. Foil 44 er tatt med

Detaljer

NORSK ANDRESPRÅKSKORPUS KURSHEFTE. ASK, kurshefte Hilde Johansen (2011) 1

NORSK ANDRESPRÅKSKORPUS KURSHEFTE. ASK, kurshefte Hilde Johansen (2011) 1 NORSK ANDRESPRÅKSKORPUS KURSHEFTE ASK, kurshefte Hilde Johansen (2011) 1 KURSHEFTETS INNHOLD 1. Antall ord i ulike delkorpus (testnivå og morsmål) 2. Persondata 3. Feilkoder 4. Oslo-Bergen-taggerens taggsett

Detaljer

Kontekstfrie grammatikker og syntaksanalyse (parsering)

Kontekstfrie grammatikker og syntaksanalyse (parsering) Kontekstfrie grammatikker og syntaksanalyse (parsering) INF5110 - kap.3 i Louden + hjelpenotat (se hjemmesida) Arne Maus Ifi, UiO v2005 Hvor er vi nå - kap. 3 (+4,5)? program Symboltabell tekst tokens

Detaljer

APPENDIKS D Geminittisk språk/grammatikk

APPENDIKS D Geminittisk språk/grammatikk 1 APPENDIKS D Geminittisk språk/grammatikk Jeg har latt overskriften på dette appendikset bli sående i sin opprinnelige form, selv om jeg kun har maktet å gi et nokså usystematisk og mangelfullt innblikk

Detaljer

Dagens Tema: Grammatikker

Dagens Tema: Grammatikker INF 5110, 9. februar 2010 Stein Krogdahl Dagens Tema: Grammatikker Kap. 3 i K. C. Louden Min Foil-stil: Ofte mer tekst enn man helt kan få med seg på forelesningen, for at de skal være gode til repetisjon

Detaljer

Dagens plan. INF3170 Logikk. Induktive definisjoner. Eksempel. Definisjon (Induktiv definisjon) Eksempel

Dagens plan. INF3170 Logikk. Induktive definisjoner. Eksempel. Definisjon (Induktiv definisjon) Eksempel INF3170 Logikk Dagens plan Forelesning 2: Induktive definisjoner, utsagnslogikk og sekventkalkyle Christian Mahesh Hansen Institutt for informatikk, Universitetet i Oslo 1 Induktive definisjoner 2 29.

Detaljer

INF1820: Ordklassetagging

INF1820: Ordklassetagging NF1820: Ordklassetagging NF1820: Ordklassetagging Arne Skjærholt 6. mars NF1820: Ordklassetagging Arne Skjærholt 6. mars NF1820: Ordklassetagging Ordklassetagging Never gonna give you up Never gonna let

Detaljer

Forelesning januar 2006 Induktive denisjoner og utsagnslogikk

Forelesning januar 2006 Induktive denisjoner og utsagnslogikk Forelesning 2-30. januar 2006 Induktive denisjoner og utsagnslogikk 1 Praktisk informasjon INF5170 { Logikkseminar Tirsdager 14:15-16:00 pa Buerommet (3. etg, I). Flg med pa forskning og aktuelle temaer

Detaljer

INF2820 Datalingvistikk V Gang 13.3 Jan Tore Lønning

INF2820 Datalingvistikk V Gang 13.3 Jan Tore Lønning INF2820 Datalingvistikk V2017 9. Gang 13.3 Jan Tore Lønning I dag chart-parsing Fortsatt fra sist: Chart-parsing: hovedideer BU chart-parsing: algoritmen NLTKs ChartParser Enkel Python-implementasjon av

Detaljer

Metaspråket for å beskrive grammatikk

Metaspråket for å beskrive grammatikk 1 SQL-syntaks Korrekt språkbruk bygger på et sett av regler. Eksempler: En SQL utvalgsspørring inneholder alltid ordene SELECT og FROM, mens WHERE og tilhørende betingelse er valgfri. Etter SELECT kan

Detaljer

Overblikk over komplementer i kinesisk

Overblikk over komplementer i kinesisk Overblikk over komplementer i kinesisk Halvor Eifring 11. februar 2009 1. Resultative komplementer 1.1. Struktur V1+V2 V1 er et verb, oftest transitivt: V2 er et adjektiv eller annen type verb: 1.2. Betydning

Detaljer

INF1820: Introduksjon til språk-og kommunikasjonsteknologi

INF1820: Introduksjon til språk-og kommunikasjonsteknologi INF1820: Introduksjon til språk-og kommunikasjonsteknologi Åttende forelesning Lilja Øvrelid 13 mars, 2017 1 I dag: Syntaks 2 Bakgrunn Syntaks: studiet av prinsipper og regler for setningsdannelse Beskrivelse

Detaljer

Løsningsforslag. Oppgavesettet består av 9 oppgaver med i alt 20 deloppgaver. Ved sensur vil alle deloppgaver telle omtrent like mye.

Løsningsforslag. Oppgavesettet består av 9 oppgaver med i alt 20 deloppgaver. Ved sensur vil alle deloppgaver telle omtrent like mye. Løsningsforslag Emnekode: ITF75 Dato: 5 desember Emne: Matematikk for IT Eksamenstid: kl 9 til kl Hjelpemidler: To A4-ark med valgfritt innhold på begge sider Kalkulator er ikke tillatt Faglærer: Christian

Detaljer

Syntax/semantics - I INF 3110/ /29/2005 1

Syntax/semantics - I INF 3110/ /29/2005 1 Syntax/semantics - I Program program execution Compiling/interpretation Syntax Classes of langauges Regular langauges Context-free langauges Scanning/Parsing Meta models INF 3/4-25 8/29/25 Program

Detaljer

Kap.4, del 2: Top Down Parsering Kap. 5, del 1: Bottom Up Parsing INF5110, 7/ Legger ut en oppgave til kap. 4 (se beskjed).

Kap.4, del 2: Top Down Parsering Kap. 5, del 1: Bottom Up Parsing INF5110, 7/ Legger ut en oppgave til kap. 4 (se beskjed). Kap.4, del 2: Top Down Parsering Kap. 5, del 1: Bottom Up Parsing INF5110, 7/2-2008 Legger ut en oppgave til kap. 4 (se beskjed). tein Krogdahl Ifi, UiO Merk: Av de foilene som ble delt ut på papir på

Detaljer

Oppgave 2. Eksamen INF2820, 2015, oppgave 2. La gramatikk G være:

Oppgave 2. Eksamen INF2820, 2015, oppgave 2. La gramatikk G være: 2 Eksamen INF2820, 2015, oppgave 2 Oppgave 2 La gramatikk G være: S > NP VP VP > VI VP > VTV NP VP > VS CP CP > C S NP > 'dyret' 'barnet' 'Kari' 'Ola' VI > 'sov' 'smilte' 'danset' VTV > 'kjente' 'likte'

Detaljer

EXFAC EURA Syntaks2 1

EXFAC EURA Syntaks2 1 EXFAC EURA Syntaks2 1 Språk Noen avvik fra og tillegg til kap. 12 (som ikke skal leses i sin helhet), bedre tilpasset ILOS-fagenes terminologi og språk Mest om form i dag og om verbet Feil i eksemplene?

Detaljer

Grammatikk En innføring av Anne Lene Berge

Grammatikk En innføring av Anne Lene Berge Grammatikk En innføring av Anne Lene Berge Det er vanlig å dele et språksystem inn i fire hoveddeler: fonologien, som beskriver lydsystemet, morfologien, som gjør greie for hvordan ord er bygd opp og hvordan

Detaljer

Beskrivelse av programmeringsspråket Compila15 INF Kompilatorteknikk Våren 2015

Beskrivelse av programmeringsspråket Compila15 INF Kompilatorteknikk Våren 2015 Beskrivelse av programmeringsspråket Compila15 INF5110 - Kompilatorteknikk Våren 2015 Her beskrives syntaksen og den statiske semantikken (hva som skal sjekkes av kompilatoren) til språket Compila15. Den

Detaljer

INF2820 Datalingvistikk V Gang Jan Tore Lønning

INF2820 Datalingvistikk V Gang Jan Tore Lønning INF2820 Datalingvistikk V2015 6. Gang - 23.2 Jan Tore Lønning PARSING DEL 1 2 I dag Høyre- og venstreavledninger Recursive-descent parser (top-down) Begynne Shift-reduce parser (bottom-up) 25. februar

Detaljer

Datatyper 2 generatorbasis for T er en endelig mengde T -produsenter som En utspenner hele verdimengden V tilsammen T. utgangspunktet kunne en type ha

Datatyper 2 generatorbasis for T er en endelig mengde T -produsenter som En utspenner hele verdimengden V tilsammen T. utgangspunktet kunne en type ha datatype T representerer en mengde verdier, V En T (av type T )., er praktisk også å assosiere med T en mengde funksjoner, Det uten T i domenet kalles en (relativ) T -konstant. T - produsent med kodomene

Detaljer