Complexiteit. Rick Nouwen. Inleiding Taalkunde
|
|
- Christiana van Dam
- 7 jaren geleden
- Aantal bezoeken:
Transcriptie
1 Complexiteit Rick Nouwen Inleiding Taalkunde
2 Vandaag: Complexiteit Hoofdstuk 12, sectie 12.6: voorproefje op hoofdstuk 16 Hoofdstuk 14, sectie 14.10: complexiteit van parsing (achtergrondmateriaal, hier komen statistische termen in voor die we niet behandelen) Hoofdstuk 16: complexiteit
3 Het college vandaag Formele talen & de Chomsky-hierarchie De generatieve kracht van talen Hoe herken je de generatieve kracht: het pomp-lemma Welke generatieve kracht is nodig voor (de syntaxis van) natuurlijke talen Complexiteit bij menselijke taalverwerking Methode Garden path-zinnen Experimenten
4 Formele Talen (I) Een formele taal is een verzameling symbolenrijtjes, ofwel een verzameling strings De symbolen waaruit de strings kunnen bestaan vormen het alfabet Alfabet: A ={a, b, c} Een formele taal L over A: {abc, aabbcc, aaabbbccc,...}
5 Formele talen Formele talen over het alfabet {0, 1} {01, 0101, , ,...} {01, 001, 0001, 00001, ,...} {01, 0011, , } Formele talen over het alfabet {a, b, c,... z} {ab, ac, ad,..., abab, abac,...} {sofuto, kanazawa, riku, arigato,...} Formele talen over het alfabet {Jan, Marie, haat, kust,...} {Jan kust Marie, Marie kust Jan, Jan haat Marie,... }
6 Formele Talen (II) Hoe definieer je een formele taal?
7 Formele Talen (II) Hoe definieer je een formele taal? Met een grammatica die de verzameling strings in de taal genereert Met een automaat die de verzameling strings in de taal herkent S ba A aba A ɛ b(ab)
8 Vragen over formele talen Gegeven een alfabet, welke talen zijn er zoal mogelijk? In welke interessante formele opzichten verschillen die talen? Is er bv. een interessant verschil tussen de volgende 2 talen? {b, bab, babab, bababab,...} {ba, bbaa, bbbaaa, bbbbaaaa,...} Antwoord: Ja! formele talen zijn in te delen in complexiteitsklassen
9 De Chomsky-hierarchie Recursief Opsombare Talen Context-gevoelige Talen Context-vrije Talen Recursief opsombare talen Reguliere Talen
10 Het idee achter de Chomsky-hierarchie De Chomsky-hierarchie verdeelt formele talen in 4 klassen Bij elke klasse hoort een klasse van grammatica s en automaten De klassen verschillen in kracht Hoe krachtiger een grammatica/automaat, hoe meer (soorten) talen hij kan genereren/herkennen
11 De Chomsky-hierarchie (sterk ) Type 0 recursief opsombare talen turing-machine Type 1 context-gevoelige talen context-gevoelige grammatica Type 2 context-vrije talen context-vrije grammatica en pushdown automaat Type 3 reguliere talen eindige automaten en reguliere expressies (zwak )
12 Type 3 Reguliere talen Precies de klasse talen die herkend kan worden door eindige automaten Precies de klasse talen die gegenereerd kan worden door reguliere grammatica s Regels van de vorm: A x*b en A x*. Óf regels van de vorm: A Bx* en A x*. (niet-terminale symbolen transformeren naar een string van terminale symbolen, eventueel gevolgd/voorafgegaan door een niet-terminaal symbool) Dus niet: A bac Precies de klasse talen die je met reguliere expressies kan beschrijven
13 Type 3: {b, bab, babab, bababab,...} S ba A ɛ A as S Ab A ɛ A Sa S b S T T b A b A a A a S a
14 Type 3: {b, bab, babab, bababab,...} S ba A ɛ A as Rechts-lineaire reguliere grammatica S Ab A ɛ A Sa S b S T T b A b A a A a S a
15 Type 3: {b, bab, babab, bababab,...} S ba A ɛ A as S Ab A ɛ A Sa Rechts-lineaire reguliere grammatica Links-lineaire reguliere grammatica S b S T T b A b A a A a S a
16 Type 3: {b, bab, babab, bababab,...} S ba A ɛ A as S Ab A ɛ A Sa S b S T T b A b A a A a S a Rechts-lineaire reguliere grammatica Links-lineaire reguliere grammatica Dit is geen reguliere grammatica
17 Type 3: {b, bab, babab, bababab,...} S ba A ɛ A as S Ab A ɛ A Sa S b S T T b A b A a A a S a Rechts-lineaire reguliere grammatica Links-lineaire reguliere grammatica Dit is geen reguliere grammatica maar wel een reguliere taal
18 De Chomsky-hierarchie Recursief Opsombare Talen Context-gevoelige Talen Context-vrije Talen Recursief opsombare talen Reguliere Talen
19 De Chomsky-hierarchie (sterk ) Type 0 recursief opsombare talen turing-machine Type 1 context-gevoelige talen context-gevoelige grammatica Type 2 context-vrije talen context-vrije grammatica en pushdown automaat Type 3 reguliere talen eindige automaten en reguliere expressies (zwak )
20 Type 2 Context-vrije talen Precies de klasse talen die herkend kan worden met push-down automaten (gaan we het niet over hebben) Precies de klasse talen die gegenereerd kan worden door context-vrije grammatica s Regels van de vorm: A rijtje symbolen Voorbeeld van context-vrije grammatica: S bsa S ɛ
21 Type 2 Context-vrije talen Precies de klasse talen die herkend kan worden met push-down automaten (gaan we het niet over hebben) Precies de klasse talen die gegenereerd kan worden door context-vrije grammatica s Regels van de vorm: A rijtje symbolen Voorbeeld van context-vrije grammatica: S bsa S ɛ Bijbehorende grammatica: b n a n
22 Type 3 en 2 De Chomsky-hierarchie is een hierarchie Context-vrije grammatica s genereren ook reguliere talen! Context-vrije grammatica s hebben grotere generatieve kracht (ofwel grotere complexiteit) dan reguliere grammatica s Reguliere grammatica s zijn tegelijkertijd context-vrij Regulier: A x*b of A x* Context-vrij: A rijtje symbolen {b,bab,babab,... } is zowel een reguliere als een context-vrije taal. {ba,bbaa,bbbaaa,... } is een context-vrije taal, maar geen reguliere taal.
23 Probeer het uit The context-free grammar tool:
24 Type 1 Context-gevoelige talen Precies de klasse talen die door een lineair gebonden automaat herkend kan worden (gaan we het niet over hebben) Precies de klasse talen die door een context-gevoelige grammatica kan worden gegenereerd Regels van de vorm: αaβ αγβ (α, β, γ zijn hier willekeurige strings van terminale of niet-terminale symbolen; γ is niet ɛ)
25 Type 1 αaβ αγβ met γ ɛ 1 S abc 2 S asbc 3 cb Bc 4 bb bb
26 Type 1 αaβ αγβ met γ ɛ 1 S abc 2 S asbc 3 cb Bc 4 bb bb Geeft: a n b n c n voor n 1 S 2 asbc 2 aasbcbc 1 aaabcbcbc 3 aaabbccbc 4 aaabbccbc 3 aaabbcbcc 3 aaabbbccc 4 aaabbbccc Deze taal kan niet context-vrij gegenereerd worden
27 Type 0 Recursief opsombare talen De klasse talen die door een Turing machine herkend kunenn worden De klasse talen die door een onbeperkte grammatica gegenereerd kunnen worden Elke regel is toegestaan zo lang de linker-kant niet gelijk is aan ɛ
28 Hoe herken je formele talen? Enkele typische patronen: Reguliere talen kunnen locale afhankelijkheden aan {bab, babab, bababab,...} Context-vrije talen kunnen geneste afhankelijkheden aan {lepel, parterretrap, bob,...} Context-gevoelige talen kunnen gekruiste afhankelijkheden aan {abcabc, bcabca, cbacba,...}
29 Het pomp-lemma Het pomp-lemma gebruik je om aan te tonen dat een taal niet regulier is Reguliere talen: vastliggend aantal toestanden, onafhankelijk van de string strings met meer symbolen dan het aantal toestanden moeten dus gemaakt zijn mbv een loop Het lemma: Laat L een reguliere taal zijn. Dan bestaan er strings x, y, z met y niet-leeg zodat xy n z L voor n 0 Toepassing: als je voor een expressie in taal L geen x, y, z kunt vinden waarvoor y gepompt kan worden, dan is L geen reguliere taal
30 Toepassing van het pomp-lemma Laat L een reguliere taal zijn. Dan bestaan er strings x, y, z met y niet-leeg zodat xy n z L voor n 0 Is a n b n regulier? Mogelijkheden voor toepassing v/h lemma y bestaat alleen uit a s: dan bestaat x uit a s en z bestaat uit alle b s: y kan niet gepompt worden y bestaat alleen uit b s: dan bestaat x uit alle a s en z uit de rest van de b s: y kan niet gepompt worden y bestaat uit a s en b s: dan bestaat x uit a s en z uit b s: xy n z zal nu b s in zich hebben die voor a s staan => Gevolg: deze taal is niet regulier
31 De Chomsky-Hierarchie en Natuurlijke Taal Met welke soorten formele talen corresponderen aspecten van natuurlijke taal? Welke grammatica s hebben we nodig voor natuurlijke taal? Met andere woorden: wat is krachtig genoeg, maar niet te krachtig? Niet te krachtig: Krachtige mechanismen zijn computationeel lastiger Krachtige mechanismen leren ons niets over de limieten van cognitieve modules We gaan nu onderzoeken wat voor talen we nodig hebben om natuurlijke taal te modelleren...
32 Fonologie Generatieve fonologie gebruikte context-gevoelige regels Computationele fonologie erkent dat context-gevoelige grammatica s te krachtig zijn Fonologische (en ook morfologische) processen kunnen met een reguliere taal gemodelleerd worden Zijn misschien alle talige fenomenen modeleerbaar met eindige automaten?
33 Center-embedding The man likes Mary. The man the boy saw likes Mary. The man the boy the dog bit saw likes Mary. The man the boy the dog the cat chased bit saw likes Mary.
34 Center-embedding The man likes Mary. The man the boy saw likes Mary. The man the boy the dog bit saw likes Mary. The man the boy the dog the cat chased bit saw likes Mary. Hoe meer center-embedding, hoe moeilijker te begrijpen Toch bestaan er goeie voorbeelden van herhaalde center-embedding The pictures that the photographer who I met at the party took turned out very well. Idee: herhaalde center-embedding is grammaticaal, maar moeilijk te begrijpen door limieten aan ons korte-termijn-geheugen Gevolg: Engels (competence) is niet regulier
35 Center-embedding / Pomp-lemma The man the boy the dog bit saw likes Mary. NP NP NP V V VP Center-embedding-zinnen: Een n aantal NPs gevolgd door een n 1 aantal Vs gevolgd door een VP Ofwel: a n b n 1 c => niet regulier
36 Dus natuurlijke taal is context-vrij?
37 Dus natuurlijke taal is context-vrij? Engelse syntaxis is niet regulier Is een context-vrije grammatica genoeg? Schwyzerdütsch (Zwitserland/Italië) (Jan zegt dat:) mer d chind em Hans es huus haend wele laa hälfe aastriiche (Jan zegt dat we de kinderen Hans het huis hebben willen laten helpen schilderen) [de kinderen].acc [Hans].DAT [es huus].acc haen wele [laa] ACC [hälfe] DAT [aastriiche] ACC X (NP-dat) m (NP-acc) n (V dat ) m (Vacc) n Y Deze kruisende afhankelijkheden zijn typisch voor context-gevoelige talen: voorbeeld: a n b m c n d m is context-gevoelig en niet context-vrij
38 Meer kruisende afhankelijkheden dat Jan Marie het kind zag helpen leren zwemmen
39 Conclusie Er zijn aanwijzigingen dat natuurlijke talen niet regulier zijn Er zijn aanwijzigingen dat talen als het Nederlands en het Schwuzerdütsch niet context-vrij zijn Kanttekeningen: Zinnen die op een context-vrije grammatica duiden zijn moeilijk te begrijpen (center-embedding) Kruisende afhankelijkheden komen zelden voor in talen Al deze overwegingen beperken zich tot syntaxis De aanname is dat center-embedding en kruisende afhankelijkheden oneindig diep toepasbaar zijn Het is dus interessant om wat beter te kijken wat nu het verwerken van bepaalde zinnen moeilijk maakt
40 Complexiteit bij menselijke taalverwerking Niet alle grammaticale zinnen zijn even gemakkelijk te verwerken (processing) Lees bijvoorbeeld de volgende zin:
41 The horse raced past the barn fell
42 Ik heb de stoel aangeboden op het internet onlangs gekocht.
43 Complexiteit bij menselijke taalverwerking Niet alle grammaticale zinnen zijn even gemakkelijk te verwerken (processing) The horse raced past the barn fell Hoe meet je eigenlijk of mensen moeite met een zin hebben? Waardoor ontstaan processing-problemen?
44 Gardenpath-zinnen To lead someone up/down the gardenpath iemand op een dwaalspoor brengen Beroemdste voorbeeld: The horse raced past the barn fell Probleem: je begint met de zin te verwerken voordat we de hele zin gehoord hebben... maar je neemt het verkeerde pad Je neemt aan dat the horse het onderwerp is en raced het werkwoord.
45 The horse raced past the barn fell NP Det the N horse
46 The horse raced past the barn fell S NP VP Det the N horse V raced
47 The horse raced past the barn fell S NP VP Det N V PP the horse raced P NP past Det the N barn
48 The horse raced past the barn fell S + V NP VP fell Det N V PP the horse raced P NP past Det the N barn
49 The horse raced past the barn fell NP Det the N horse
50 The horse raced past the barn fell NP NP S Det N VP the horse V PP raced P NP past Det the N barn
51 The horse raced past the barn fell S NP VP Det NP N S VP V fell the horse V PP raced P NP past Det the N barn
52 Meer gardenpaths
53 Meer gardenpaths [1] While Anna dressed the baby spat up on the bed.
54 Meer gardenpaths [1] While Anna dressed the baby spat up on the bed. [2] I convinced her children are noisy.
55 Meer gardenpaths [1] While Anna dressed the baby spat up on the bed. [2] I convinced her children are noisy. [3] The old man the boat.
56 Meer gardenpaths [1] While Anna dressed the baby spat up on the bed. [2] I convinced her children are noisy. [3] The old man the boat. [4] Fat people eat accumulates.
57 Meer gardenpaths [1] While Anna dressed the baby spat up on the bed. [2] I convinced her children are noisy. [3] The old man the boat. [4] Fat people eat accumulates. [5] The man who whistles tunes pianos.
58 Meer gardenpaths [1] While Anna dressed the baby spat up on the bed. [2] I convinced her children are noisy. [3] The old man the boat. [4] Fat people eat accumulates. [5] The man who whistles tunes pianos. [6] While John hunted the deer ran into the woods. Garden paths-zinnen zijn niet altijd moeilijk Ze zijn moeilijk omdat we een andere parse verwachtten Echter: je verwachtingen zijn contekst-afhankelijk
59 Meet-methodes Lees-snelheid / Reactie-snelheid Eye-tracking ERP (Event related brain potential) de gemeten response in termen van brein-activiteit op een bepaalde stimulus bijvoorbeeld, N100: een piek van negatief voltage 100ms na de stimulus N400: typisch geassocieerd met semantisch onverwachte stimulus P600: typisch geassocieerd met syntactisch onverwachte stimulus
60 Een experiment Trueswell et al. 1999: Put the frog on the napkin into the box Gaat het om [de kikker op het servet]? Of gaat het erom de kikker op het servet te zetten?
61 Put the frog on the napkin into the box
62 Put the frog on the napkin into the box Volwassenen gebruiken de context: B => D Kinderen rond de 5 jaar: B => D (39%) A => C (19%) A => C en dan van C => D (15%) A => C en B=>D (15%)
63 Samenvattend: complexiteit Soorten formele talen, soorten grammatica s De Chomsky-hierarchie Natuurlijke taal lijkt context-vrij, misschien zelfs context-gevoelig Taalverwerking door mensen: garden paths
Complexiteit. Anna Chernilovskaya. Inleiding Taalkunde
Complexiteit Anna Chernilovskaya Inleiding Taalkunde Vandaag: Complexiteit Hoofdstuk 12, sectie 12.6: voorproefje op hoofdstuk 16 Hoofdstuk 14, sectie 14.10: complexiteit van parsing (achtergrondmateriaal,
Nadere informatieTalen & Automaten. Wim Hesselink Piter Dykstra Opleidingsinstituut Informatica en Cognitie 9 mei 2008
Talen & Automaten Wim Hesselink Piter Dykstra Opleidingsinstituut Informatica en Cognitie www.cs.rug.nl/~wim 9 mei 2008 Talen & automaten Week 1: Inleiding Dit college Talen Automaten Berekenbaarheid Weekoverzicht
Nadere informatieInleiding: Combinaties
Zinnen 1 Inleiding: Combinaties Combinaties op verschillende niveaus: Lettergrepen als combinaties van fonemen. Woorden als combinaties van morfemen. Zinnen als combinaties van woorden en woordgroepen.
Nadere informatieAutomaten & Complexiteit (X )
Automaten & Complexiteit (X 401049) Beschrijven van reguliere talen Jeroen Keiren j.j.a.keiren@gmail.com VU University Amsterdam 5 Februari 2015 Talen Vorig college: Talen als verzamelingen Eindige automaten:
Nadere informatieAutomaten en Berekenbaarheid 2016 Oplossingen #4
Automaten en Berekenbaarheid 2016 Oplossingen #4 28 oktober 2016 Vraag 1: Toon aan dat de klasse van context vrije talen gesloten is onder concatenatie en ster. Antwoord Meerdere manieren zijn mogelijk:
Nadere informatieAutomaten. Informatica, UvA. Yde Venema
Automaten Informatica, UvA Yde Venema i Inhoud Inleiding 1 1 Formele talen en reguliere expressies 2 1.1 Formele talen.................................... 2 1.2 Reguliere expressies................................
Nadere informatieAI Kaleidoscoop. College 9: Natuurlijke taal. Natuurlijke taal: het probleem. Fases in de analyse van natuurlijke taal.
AI Kaleidoscoop College 9: atuurlijke taal Het Probleem Grammatica s Transitie netwerken Leeswijzer: Hoofdstuk 14.0-14.3 AI9 1 atuurlijke taal: het probleem Communiceren met computers als met mensen, middels
Nadere informatieInhoud eindtoets. Eindtoets. Introductie 2. Opgaven 3. Terugkoppeling 6
Inhoud eindtoets Eindtoets Introductie 2 Opgaven 3 Terugkoppeling 6 1 Formele talen en automaten Eindtoets I N T R O D U C T I E Deze eindtoets is bedoeld als voorbereiding op het tentamen van de cursus
Nadere informatieTENTAMEN Basismodellen in de Informatica VOORBEELDUITWERKING
TENTAMEN Basismodellen in de Informatica vakcode: 211180 datum: 2 juli 2009 tijd: 9:00 12:30 uur VOORBEELDUITWERKING Algemeen Bij dit tentamen mag gebruik worden gemaakt van het boek van Sudkamp, van de
Nadere informatieDe klasse van recursief opsombare talen is gesloten onder en. Dit bewijzen we met behulp van een recursieve opsomming
Recursieve talen De klasse van recursief opsombare talen is gesloten onder en. Echter, het is niet zo dat L recursief opsombaar is voor alle recursief opsombare talen L. Dit bewijzen we met behulp van
Nadere informatieFundamenten van de Informatica
Fundamenten van de Informatica Luc De Raedt Academiejaar 2006-2007 naar de cursustekst van Karel Dekimpe en Bart Demoen A.1: Talen en Eindige Automaten 1 Deel 1: Inleiding 2 Motivatie Fundamenten van de
Nadere informatieEr zijn alle soorten modificaties hoe je deze FST beter kan maken. Bijvoorbeeld, door - teen van thirteen - nineteen in het algemeen te lezen.
3. FST Het antwoord is: Er zijn alle soorten modificaties hoe je deze FST beter kan maken. Bijvoorbeeld, door - teen van thirteen - nineteen in het algemeen te lezen. Het idee is duidelijk hoop ik: voor
Nadere informatieFormeel Denken. Herfst 2004
Formeel Denken Herman Geuvers Deels gebaseerd op het herfst 2002 dictaat van Henk Barendregt en Bas Spitters, met dank aan het Discrete Wiskunde dictaat van Wim Gielen Herfst 2004 Contents 1 Talen 1 1.1
Nadere informatiec, X/X a, c/λ a, X/aX b, X/X
ANTWOORDEN tentamen FUNDAMENTELE INFORMATICA 3 vrijdag 25 januari 2008, 10.00-13.00 uur Opgave 1 L = {x {a,b,c} n a (x) n b (x)} {x {a,b,c} n a (x) n c (x)}. a. Een stapelautomaat die L accepteert: Λ,
Nadere informatie1e Deeltentamen Inleiding Taalkunde
1e Deeltentamen Inleiding Taalkunde 28/05/2009 13.15-16.15 Dit tentamen heeft 5 vragen. Je hebt drie uur de tijd om deze te beantwoorden. Vergeet niet je naam en studentnummer steeds duidelijk te vermelden.
Nadere informatieopgaven formele structuren deterministische eindige automaten
opgaven formele structuren deterministische eindige automaten Opgave. De taal L over het alfabet {a, b} bestaat uit alle strings die beginnen met aa en eindigen met ab. Geef een reguliere expressie voor
Nadere informatieNatuurlijke-Taalverwerking I
1 atuurlijke-taalverwerking I Gosse Bouma en Geert Kloosterman (pract) 2e semester 2005/2006 Overzicht Week1 : Inleiding, Context-vrije grammatica. Week 2-3 : Definite Clause Grammar Regels, gebruik van
Nadere informatieLTX016B05. Nieuwe ontwikkelingen in de syntaxis. College 2
LTX016B05 Nieuwe ontwikkelingen in de syntaxis College 2 2/104 Vandaag: 3/104 Vandaag:! Algemene aspecten van de generatieve syntaxistheorie 4/104 Vandaag:! Algemene aspecten van de generatieve syntaxistheorie
Nadere informatieAutomaten & Complexiteit (X )
Automaten & Complexiteit (X 401049) Inleiding Jeroen Keiren j.j.a.keiren@vu.nl VU University Amsterdam Materiaal Peter Linz An Introduction to Formal Languages and Automata (5th edition) Jones and Bartlett
Nadere informatieOneindig in Wiskunde & Informatica. Lezing in de reeks Oneindig 3 oktober 2007 / Studium Generale TU Delft. Tom Verhoeff
Oneindig in Wiskunde & Informatica Lezing in de reeks Oneindig 3 oktober 2007 / Studium Generale TU Delft Tom Verhoeff Technische Universiteit Eindhoven Faculteit Wiskunde & Informatica http://www.win.tue.nl/~wstomv/
Nadere informatieReguliere Expressies
Reguliere Expressies Een reguliere expressie (regexp, regex, regxp) is een string (een woord) die, volgens bepaalde syntaxregels, een verzameling strings (een taal) beschrijft Reguliere expressies worden
Nadere informatieZinnen 1. Henriëtte de Swart
Zinnen 1 Henriëtte de Swart Combinaties Taal maakt combinaties op verschillende niveaus: Fonemen combineren tot morfemen (creëren van betekenis) Morfemen combineren tot woorden (complexe betekenissen)
Nadere informatieLogische Complexiteit Hoorcollege 4
Logische Complexiteit Hoorcollege 4 Jacob Vosmaer Bachelor CKI, Universiteit Utrecht 8 februari 2011 Contextvrije grammatica s Inleiding + voorbeeld Definities Meer voorbeelden Ambiguiteit Chomsky-normaalvormen
Nadere informatieTentamen TI2310 Automaten en Talen. 19 april 2012, uur
TECHNISCHE UNIVERSITEIT DELFT Faculteit Elektrotechniek, Wiskunde en Informatica TP Delft Tentamen TI2310 Automaten en Talen 19 april 2012, 14.00-17.00 uur Totaal aantal pagina's (exclusief dit titelblad):
Nadere informatieNatuurlijke-taalverwerking. Week 2
Natuurlijke-taalverwerking Week 2 Overzicht Context-vrije Grammatica s CFGs in Prolog Definite Clause Grammars (DCGs) Construeren van bomen Recapitulatie Doel: computers taal laten begrijpen Noodzaak:
Nadere informatie3 De stelling van Kleene
18 3 De stelling van Kleene Definitie 3.1 Een formele taal heet regulier als hij wordt herkend door een deterministische eindige automaat. Talen van de vorm L(r) met r een reguliere expressie noemen we
Nadere informatieStudentnummer: Inleiding Taalkunde 2013 Eindtoets Zet op ieder vel je naam en studentnummer!
Inleiding Taalkunde 2013 Eindtoets Zet op ieder vel je naam en studentnummer! Dit tentamen bestaat uit 7 vragen. Lees elke vraag goed, en gebruik steeds de witte ruimte op de pagina, of de achterkant van
Nadere informatieFormeel Denken 2014 Uitwerkingen Tentamen
Formeel Denken 2014 Uitwerkingen Tentamen (29/01/15) 1. Benader de betekenis van de volgende Nederlandse zin zo goed mogelijk (6 punten) door een formule van de propositielogica: Als het regent word ik
Nadere informatieFormele talen. Elfde college
12 Formele talen Elfde college 1 verkeerslicht? 신호등을지킵시다 (Automatische) Vertaling van het Koreaans You should observe the traffic lights Is Koreaans een formele taal? Nee natuurlijk niet! Alleen, voor
Nadere informatieTaaltechnologie. Januari/februari Inhoud
Taaltechnologie Januari/februari 2002 1 Finite state............................................... 4 1.1 Deterministic finite state automata.................... 4 1.2 Non-deterministic finite state automata................
Nadere informatieCombinaties. Stof bij dit college
Combinaties Taal maakt combinaties op verschillende niveaus: Fonemen combineren tot morfemen (creëren van betekenis) Morfemen combineren tot woorden (complexe betekenissen) Woorden combineren tot woordgroepen,
Nadere informatieHet omzetten van reguliere expressies naar eindige automaten, zie de vakken Fundamentele Informatica 1 en 2.
Datastructuren 2016 Programmeeropdracht 3: Patroonherkenning Deadlines. Woensdag 23 november 23:59, resp. vrijdag 9 december 23:59. Inleiding. Deze opdracht is gebaseerd op Hoofdstuk 13.1.7 in het boek
Nadere informatieNatuurlijke-taalverwerking 1. Daniël de Kok
Natuurlijke-taalverwerking 1 Daniël de Kok Natuurlijke-Taalverwerking Het college Natuurlijke-taalverwerking is een inleiding in de computationele taalkunde en maakt deel uit van het curriculum van Informatiekunde
Nadere informatieInleiding taalkunde. Inleiding - 23 april 2013 Marieke Schouwstra
Inleiding taalkunde Inleiding - 23 april 2013 Marieke Schouwstra 1 Dit college Overzicht cursus Wat is natuurlijke taal? Wat is taalkunde? 2 Docenten Marieke Schouwstra taalevolutie en betekenis Yoad Winter
Nadere informatieHet minimale aantal sleutels op niveau h is derhalve
1 (a) In een B-boom van orde m bevat de wortel minimaal 1 sleutel en maximaal m 1 sleutels De andere knopen bevatten minimaal m 1 sleutels en maximaal m 1 sleutels (b) In een B-boom van orde 5 bevat elke
Nadere informatieInleveropdracht 1: Morfologie & Syntaxis
Inleveropdracht 1: Morfologie & Syntaxis Inleiding Taalkunde 2013 Lever de uitwerking van deze opgaves op papier in tijdens college of in het cursuspostvak op Trans 10, kamer 0.16b (dat is de kamer direct
Nadere informatieLTX016B05. Nieuwe ontwikkelingen in de syntaxis. College 11
LTX016B05 Nieuwe ontwikkelingen in de syntaxis College 11 2/68 Vandaag: tweede college Minimalisme (2/4) 3/68 Minimalisme! voortzetting van de generatieve syntaxis (1991-heden)! kernidee: de grammatica
Nadere informatieNatuurlijke Taalverwerking I shift-reduce en chart parsing
Natuurlijke Taalverwerking I shift-reduce en chart parsing Gosse Bouma en Geert Kloosterman 2e semester 2005/2006 Shift-reduce conflicten Epsilon-regels Breadth-first zoeken Gebruik van een chart Toepassing:
Nadere informatieVerzamelingen deel 2. Tweede college
1 Verzamelingen deel 2 Tweede college herhaling Deelverzameling: AB wil zeggen dat elk element van A ook in B te vinden is: als x A dan x B Er geldt: A=B AB en BA De lege verzameling {} heeft geen elementen.
Nadere informatieTaalkennis & Taalevolutie
Rick Nouwen Overzicht 1 Indeling van het vakgebied taalkunde 2 Een eerste blik op de formele structuren in taal 3 Evolutie (literatuur: Kirby 2007, vooral sect.1, 2 en 3) Waarom is taal zo als ze is? Hoe
Nadere informatieLTX016B05. Nieuwe ontwikkelingen in de syntaxis. College 4
LTX016B05 Nieuwe ontwikkelingen in de syntaxis College 4 2/111 Vandaag: eerste college Regeer- en Bindtheorie (1/6) 3/111 Vandaag:! inhoudelijk gedeelte (een paar onderdelen van de theorie)! theoretisch
Nadere informatieUitwerking Opgaven Formele talen, grammaticas en automaten Week 1
Uitwerking Opgaven Formele talen, grammaticas en automaten Week 1 Bas Westerbaan bas@westerbaan.name 24 april 2012 1 Opgave 1.1 Een goed en voldoende antwoord is: L 1 = L 2, want L 1 en L 2 zijn alle woorden
Nadere informatieOpgaven 1. Verwijzingen in deze opgaven betreffen het boek van Peter Linz.
Opgaven Verwijzingen in deze opgaven betreffen het boek van Peter Linz.. Toon de volgende eigenschappen uit de verzamelingenleer aan: Exercises, 3, 5, 6, 7, 0 blz. 2-3 (neem aan dat er een universele verzameling
Nadere informatieInhoud. Introductie tot de cursus
Inhoud Introductie tot de cursus 1 Plaats en functie van de cursus 7 2 Inhoud van de cursus 7 2.1 Tekstboek 7 2.2 Voorkennis 8 2.3 Leerdoelen 8 2.4 Opbouw van de cursus 9 3 Leermiddelen en wijze van studeren
Nadere informatieInleiding. Syntaxis: de combinaties van woorden tot woordgroepen en zinnen.
Zinnen 2 Inleiding Syntaxis: de combinaties van woorden tot woordgroepen en zinnen. Wat voor rol spelen de kenmerken van de woorden hierbij? Wat voor soort woordvolgordes vinden we? Hoe kunnen die woordvolgordes
Nadere informatieOpdracht 1 Topics on Parsing and Formal Languages - fall 2010
Opdracht 1 Topics on Parsing and Formal Languages - fall 2010 Rick van der Zwet 13 november 2010 Samenvatting Dit schrijven zal uitwerkingen van opgaven behandelen uit het boek [JS2009]
Nadere informatieCollege 4: Gegeneraliseerde Kwantoren
Semantiek CKI/CAI Utrecht, herfst 2008 College 4: Gegeneraliseerde Kwantoren Onderwerpen: NP denotaties als verzamelingen van verzamelingen, monotoniciteit bij kwantoren, determiner denotaties als relaties
Nadere informatie1 Introductie. 2 Oppervlakteformules
Introductie We werken hier met ongeoriënteerde lengtes en voor het gemak laten we de absoluutstrepen weg. De lengte van een lijnstuk XY wordt dus ook weergegeven met XY. Verder zullen we de volgende notatie
Nadere informatieNatuurlijke-Taalverwerking
Natuurlijke-Taalverwerking Week 5 Parsing Overzicht DCG s en links-recursie Shift-reduce parsing Chart parsing Generatie Links-recursie?- voorouder(geert,youri). ouder(geert,jan). ouder(jan,youri). voorouder(x,y)
Nadere informatieDe wissel-eigenschap voor vermenigvuldigen Vermenigvuldigen kan in omgekeerde volgorde gebeuren, want voor ieder paar getallen a enbgeldt: a b=b a.
98 Algebra 3.3 Variabelen 3.3.1 Inleiding F= 9 5 15+32= 27+32=59 15 C= 59 F In de inleidende tekst aan het begin van dit hoofdstuk staat een afkorting waarmee de temperatuur in graden Celsius in graden
Nadere informatieOpdracht 1 Topics on Parsing and Formal Languages - fall 2010
Opdracht 1 Topics on Parsing and Formal Languages - fall 2010 Rick van der Zwet 8 december 2010 Samenvatting Dit schrijven zal uitwerkingen van opgaven behandelen uit het boek [JS2009]
Nadere informatieZinnen 2. Inleiding. Inleiding. Kenmerken. Syntaxis: de combinaties van woorden tot woordgroepen en zinnen. Kenmerken (Features)
Inleiding Zinnen 2 Syntaxis: de combinaties van woorden tot woordgroepen en zinnen. Wat voor rol spelen de kenmerken van de woorden hierbij? Wat voor soort woordvolgordes vinden we? Hoe kunnen die woordvolgordes
Nadere informatieopgaven formele structuren tellen Opgave 1. Zij A een oneindige verzameling en B een eindige. Dat wil zeggen (zie pagina 6 van het dictaat): 2 a 2.
opgaven formele structuren tellen Opgave 1. Zij A een oneindige verzameling en B een eindige. Dat wil zeggen (zie pagina 6 van het dictaat): ℵ 0 #A, B = {b 0,..., b n 1 } voor een zeker natuurlijk getal
Nadere informatieTaal en Cognitie: Een Black Box Revelation. Esli Struys WOT/WOLEC, 10 mei 2011
Taal en Cognitie: Een Black Box Revelation Esli Struys WOT/WOLEC, 10 mei 2011 Overzicht Historisch overzicht Chomsky vs Skinner Cognitieve linguïstiek Psycho/neurolinguïstiek Casus Syntaxis en het brein
Nadere informatieEXAMENVRAGEN RUIMTEMEETKUNDE I (niet-analytische meetkunde)
EXAMENVRAGEN RUIMTEMEETKUNDE I (niet-analytische meetkunde). (4 p) Geef drie verschillende mogelijkheden waardoor in de driedimensionale ruimte een rechte bepaald is? 2. (6 p) Wanneer zijn de snijlijnen
Nadere informatieKijk eens in het brein!
Kijk eens in het brein! Hersenen en taal Hersenen als onderzoeksdomein Cognitief proces als onderzoeksdomein bouwstenen, chemie anatomie localisatie functies fasen en verloop cognitief proces neurale representatie
Nadere informatieAutomaten en Berekenbaarheid
Automaten en Berekenbaarheid Bart Demoen KU Leuven 2016-2017 Les 8: 118-125 orakels en reducties met orakels Turing-berekenbare functies de bezige bever Orakelmachines I 2/14 we kennen al: een TM die een
Nadere informatie(a) schaling (b) rotatie (c) translatie (d) spiegeling. 4. De overeenkomst tussen de Mandebrotfiguur en het bifurcatiediagram van de logistische
Inleiding Adaptieve Systemen Omdat er afgelopen vrijdag een probleem was met de zaalruimte is de deadline van de eerste practicumopdracht verschoven naar 7 juni. Je kunt er op de sessie van 6 juni dus
Nadere informatieIN2505 II Berekenbaarheidstheorie Tentamen Maandag 2 juli 2007, uur
TECHNISCHE UNIVERSITEIT DELFT Faculteit Elektrotechniek, Wiskunde en Informatica Mekelweg 4 2628 CD Delft IN2505 II Berekenbaarheidstheorie Tentamen Maandag 2 juli 2007, 14.00-17.00 uur BELANGRIJK Beschikbare
Nadere informatieLTX016B05. Nieuwe ontwikkelingen in de syntaxis. College 13 (slot)
LTX016B05 Nieuwe ontwikkelingen in de syntaxis College 13 (slot) 2/69 Vandaag: vierde college Minimalisme (4/4) 3/69 Minimalisme! voortzetting van de generatieve syntaxis (1991-heden)! kernidee: de grammatica
Nadere informatieNatuurlijke-Taalverwerking 1
Natuurlijke-Taalverwerking 1 Week 3 Definite Clause Grammar (vervolg) Overzicht 1 DCG Hoofdzinnen en bijzinnen Betekenis Generatie Automatisch Vertalen Meer dan context-vrije grammatica Een toepassing
Nadere informatieFormele talen. Tiende college
12 Formele talen Tiende college 1 verkeerslicht? 신호등을지킵시다 (Automatische) Vertaling van het Koreaans You should observe the traffic lights Is Koreaans een formele taal? Nee natuurlijk niet! Alleen, voor
Nadere informatieOpdrachten Werkcollege 4
1. Vertaling in predicatenlogica Opdrachten Werkcollege 4 Vertaal de volgende zinnen naar de eerste orde predicatenlogica: Jan of Piet studeert wiskunde Moskou is een stad in Rusland Geen student die 5
Nadere informatieω-automaten Martijn Houtepen, november 2008 Begeleider: R. Iemhoff
ω-automaten Martijn Houtepen, 0208523 Begeleider: R. Iemhoff 26 november 2008 1 Inhoudsopgave 1 Inleiding 3 2 Eindige automaten 4 3 Büchi-automaten 4 3.1 Büchi-automaten........................... 4 3.2
Nadere informatieKennisrepresentatie & Redeneren. Piter Dykstra Instituut voor Informatica en Cognitie
Kennisrepresentatie & Redeneren Piter Dykstra Instituut voor Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl 8 oktober 2007 GRAMMATICA S Kennisrepresentatie & Redeneren Week6: Grammatica
Nadere informatieGegeneraliseerde Kwantoren
Semantiek CKI Utrecht, lente 2012 Gegeneraliseerde Kwantoren Onderwerpen: NP denotaties als verzamelingen van verzamelingen, monotoniciteit bij kwantoren, determiner denotaties als relaties tussen verzamelingen,
Nadere informatieCover Page. The handle holds various files of this Leiden University dissertation.
Cover Page The handle http://hdl.handle.net/1887/31633 holds various files of this Leiden University dissertation. Author: Kant, Anne Marie van der Title: Neural correlates of vocal learning in songbirds
Nadere informatieTaalkunde en Computertaalkunde in de Lage Landen: een verhouding die eerst spannend was, dan gespannen en nu gewoon ontspannen
Taalkunde en Computertaalkunde in de Lage Landen: een verhouding die eerst spannend was, dan gespannen en nu gewoon ontspannen Frank Van Eynde Centrum voor Computerlinguïstiek KULeuven CLIN 25, Antwerpen,
Nadere informatieTwaalfde college complexiteit. 7 mei NP-volledigheid IV Cook-Levin Savitch 1
college 12 Twaalfde college complexiteit 7 mei 2019 NP-volledigheid IV Cook-Levin Savitch 1 Turing machine {0 n 1 n n 0} q Y 0/b, +1 b/b, 0 q N 0/0, +1 1/1, +1 b/b, 1 q 1 q 2 q 0 1/1, 0 b/b, +1 0/0, 0
Nadere informatieFormele talen. uitgebreid
Formele talen 12 1 uitgebreid verkeerslicht? 신호등을지킵시다 (Automatische) Vertaling van het Koreaans You should observe the traffic lights is Koreaans een formele taal? nee natuurlijk niet! alleen, voor iemand
Nadere informatieSpeaking of Reading. The Role of Basic Auditory and Speech Processing in the Manifestation of Dyslexia in Children at Familial Risk B.E.
Speaking of Reading. The Role of Basic Auditory and Speech Processing in the Manifestation of Dyslexia in Children at Familial Risk B.E. Hakvoort Samenvatting Dyslexie komt voor bij ongeveer 3 tot 10%
Nadere informatieling van die eigenschap binnen het model geldt. In het bijzonder bij het wiskundig modelleren van een programma kan een eigenschap met wiskundige zeke
De Nederlandse samenvatting van een proefschrift is bij uitstek het onderdeel van het proefschrift dat door familie en vrienden wordt gelezen. Voor hen wil ik deze samenvatting dan ook schrijven als een
Nadere informatieBijzondere getallen. Oneindig (als getal) TomVerhoeff. Technische Universiteit Eindhoven Faculteit Wiskunde en Informatica
Bijzondere getallen Oneindig (als getal) TomVerhoeff Technische Universiteit Eindhoven Faculteit Wiskunde en Informatica T.Verhoeff@TUE.NL http://www.win.tue.nl/~wstomv/ Oneindig ... Oneindig 2 Top tien
Nadere informatieFinite-state pre-processing for natural language analysis Prins, Robbert
Finite-state pre-processing for natural language analysis Prins, Robbert IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please check the
Nadere informatieEVC- ERKEND. EVC - Aanbieder 04 0(-&1"$02(%(" $012$ 32.2$"'-("31. Dit format is onderdeel van de Kwaliteitscode EVC.
EC- EC - Aanbieder 04 0-&1"02%" 2 012 32.2"'-"31..: 1229;2:2? 3463A21.AB:
Nadere informatieLTX016B05. Nieuwe ontwikkelingen in de syntaxis. College 10
LTX016B05 Nieuwe ontwikkelingen in de syntaxis College 10 2/79 Vandaag: eerste college Minimalisme (1/4) 3/79 Minimalisme! voortzetting van de generatieve syntaxis (1991-heden)! kernidee: de grammatica
Nadere informatieTaal in het Kleuterbrein EEG in de praktijk
Taal in het Kleuterbrein EEG in de praktijk Nina Davids & Judith Pijnacker - senior onderzoekers Petra van Alphen - projectleider Expertise & Innovatie, PonTeM Taal in het Kleuterbrein Waarom EEG? Wat
Nadere informatieIntroductie tot de cursus
Inhoud introductietalen en ontleders Introductie tot de cursus 1 Plaats en functie van de cursus 7 2 Inhoud van de cursus 7 2.1 Voorkennis 7 2.2 Leerdoelen 8 2.3 Opbouw van de cursus 8 3 Leermiddelen en
Nadere informatieDe mens. Een machine?
De mens. Een machine? Het argument van J.R. Lucas tegen het mechanisme G.J.E. Rutten De verhouding tussen mens en machine Mechanisme (materialisme, sciëntisme) De mens is niets meer dan een complexe machine
Nadere informatieVorig college. IN2505-II Berekenbaarheidstheorie. Turingmachines. Turingmachine en Taal. College 2
Vorig college College 2 Algoritmiekgroep Faculteit EWI TU Delft Welke problemen zijn (niet) algoritmisch oplosbaar? Wat is een probleem? Wat is een algoritme? 13 april 2009 1 2 Turingmachines Turingmachine
Nadere informatieEmbedded implicatures!?!
Embedded implicatures!?! Belief reports Jan gelooft dat Piet ziek is. = Piet is ziek B j (Piet is ziek) Belief reports met scalaire elementen Jan gelooft dat Piet enkele boeken van Chomsky gelezen heeft
Nadere informatieMeetkundige Ongelijkheden Groep 2
Meetkundige Ongelijkheden Groep Trainingsweek Juni 009 1 Introductie We werken hier met ongeoriënteerde lengtes en voor het gemak laten we de absoluutstrepen weg. De lengte van een lijnstuk XY wordt dus
Nadere informatieFormeel Denken 2013 Uitwerkingen Tentamen
Formeel Denken 201 Uitwerkingen Tentamen (29/01/1) 1. Benader de betekenis van de volgende Nederlandse zin zo goed mogelijk (6 punten) door een formule van de propositielogica: Het is koud, maar er ligt
Nadere informatieEindexamen wiskunde B1-2 vwo 2005-I
Inademen Bij controlemetingen aan de ademhaling wordt men gevraagd om diep uit te ademen en vervolgens gedurende vijf seconden zo diep mogelijk in te ademen. Tijdens het inademen is de hoeveelheid verse
Nadere informatieKlanken 1. Tekst en spraak. Colleges en hoofdstukken. Dit college
Tekst en spraak Klanken 1 Representatie van spraak vereist representaties van gedeeltes die kleiner dan woorden zijn. spraaksynthese (tekst-naar-spraak) rijtje letters! akoestische golfvorm http://www.fluency.nl/
Nadere informatieModelleren en Programmeren: Prolog
Modelleren en Programmeren: Prolog Marijn Schraagen 20 januari 2016 Herhaling Gebruik negatie, assert Uitbreidingen DCG s Niet-natuurlijke talen Tentamenvoorbereiding Practicum: ingebouwde predicaten In
Nadere informatieESA College 5b. Mark van der Zwaag. 7 oktober Programming Research Group, UvA. Mark van der Zwaag (PRG, UvA) ESA5a 7 oktober / 34
ESA College 5b Mark van der Zwaag Programming Research Group, UvA 7 oktober 2006 Mark van der Zwaag (PRG, UvA) ESA5a 7 oktober 2006 1 / 34 Vandaag: Reguliere Expressies en Grammatica s Formele talen Context-vrije
Nadere informatieOriëntatie Kunstmatige Intelligentie. Taalverwerving
Oriëntatie Kunstmatige Intelligentie Taalverwerving Taalverwervingsparadox Het leren van een taal: Makkelijk voor kinderen Maar moeilijk voor volwassenen en computers Hoe leren kinderen hun moedertaal?
Nadere informatieLTX016B05. Nieuwe ontwikkelingen in de syntaxis. College 9
LTX016B05 Nieuwe ontwikkelingen in de syntaxis College 9 2/97 Vandaag: zesde college Regeer- en Bindtheorie (6/6) 3/97 Vorige colleges:! structuur van alle woordgroepen (X -theorie) XP YP X X ZP specifier
Nadere informatieRuimtemeetkunde deel 1
Ruimtemeetkunde deel 1 1 Punten We weten reeds dat Π 0 het meetkundig model is voor de vectorruimte R 2. We definiëren nu op dezelfde manier E 0 als meetkundig model voor de vectorruimte R 3. De elementen
Nadere informatieOngelijkheden groep 2
Ogelijkhede groep 2 Jese e Muirhead Traiigsweek 8 13 jui 2009 1 Jese Defiitie covex) Zij f : R R ee fuctie. We oeme f covex op [a, b] als voor elke x, y [a, b] geldt de koorde met eidpute x, fx)) e y,
Nadere informatieAlgemene relativiteitstheorie
Algemene relativiteitstheorie HOVO cursus Jo van den Brand Les 1: 5 november 015 Copyright (C) Vrije Universiteit 015 Overzicht Docent informatie Jo van den Brand, Gideon Koekoek Email: jo@nikhef.nl, gkoekoek@gmail.com
Nadere informatieFaculteit Elektrotechniek - Leerstoel ES Tentamen Schakeltechniek. Vakcode 5A050, 17 november 2004, 9:00u-12:00u
achternaam : voorletters : identiteitsnummer : opleiding : Tijdens dit tentamen is het gebruik van rekenmachine of computer niet toegestaan. Vul je antwoorden in op dit formulier. Je dient dit formulier
Nadere informatieAutomaten en Berekenbaarheid
Automaten en Berekenbaarheid Bart Demoen KU Leuven 2016-2017 Les 3: 36-54 Myhill-Nerode relaties; regulier pompen Myhill-Nerode equivalentieklassen in Σ I 2/10 belangrijk te verstaan: een equivalentie-relatie
Nadere informatieIN2505 II Berekenbaarheidstheorie. IN2505-II Berekenbaarheidstheorie. Practicum: Inschrijven. Practicum
IN2505 II Berekenbaarheidstheorie College 1 Algoritmiekgroep Faculteit EWI TU Delft 7 april 2009 Docent: Colleges/oefeningen: dinsdag 5 + 6 (EWI-A), vrijdag 1 + 2 (AULA-A) Boek: Michael Sipser, Introduction
Nadere informatieTaalverwerking in de Hersenen
Taalverwerking in de Hersenen Het taalvermogen? Frank Wijnen taalwetenschap psychologische functieleer lateraal mediaal dorsaal ventraal Lateralisatie van taal rechtshandige mensen: bij 98% is de linkerhemisfeer
Nadere informatieVoorbereidend Wetenschappelijk Onderwijs Tijdvak 1 Dinsdag 31 mei uur
wiskunde B,2 Examen VWO Voorbereidend Wetenschappelijk Onderwijs Tijdvak Dinsdag 3 mei 3.30 6.30 uur 20 05 Voor dit examen zijn maximaal 89 punten te behalen; het examen bestaat uit 20 vragen. Voor elk
Nadere informatieGödels theorem An Incomplete Guide to Its Use and Abuse, Hoofdstuk 3
Gödels theorem An Incomplete Guide to Its Use and Abuse, Hoofdstuk 3 Koen Rutten, Aris van Dijk 30 mei 2007 Inhoudsopgave 1 Verzamelingen 2 1.1 Definitie................................ 2 1.2 Eigenschappen............................
Nadere informatieBijzondere kettingbreuken
Hoofdstuk 15 Bijzondere kettingbreuken 15.1 Kwadratische getallen In het vorige hoofdstuk hebben we gezien dat 2 = 1, 2, 2, 2, 2, 2, 2,.... Men kan zich afvragen waarom we vanaf zeker moment alleen maar
Nadere informatie