Automaten & Complexiteit (X )
|
|
- Stefan van Doorn
- 7 jaren geleden
- Aantal bezoeken:
Transcriptie
1 Automaten & Complexiteit (X ) Beschrijven van reguliere talen Jeroen Keiren VU University Amsterdam 5 Februari 2015
2 Talen Vorig college: Talen als verzamelingen Eindige automaten: deterministisch en nondeterministisch Taal L is regulier L geaccepteerd door een dfa Taal L is regulier L geaccepteerd door een nfa 3 / 31
3 Grammatica s Een grammatica definieert een taal. Toepassingsgebieden zijn natuurlijke taal, kunstmatige intelligentie en syntax van programmeertalen. Voorbeeld zin lidw znw werkw lidw znw lidw de lidw een znw boer znw koe werkw melkt Met deze spelregels kun je een zin bouwen. 4 / 31
4 Grammatica s Voorbeeld de boer melkt een koe is een zin in de taal. zin lidw znw werkw lidw znw de znw werkw lidw znw de boer werkw lidw znw de boer melkt lidw znw de boer melkt een znw de boer melkt een koe Bijv. een koe melkt de boer is ook een zin in de taal. 5 / 31
5 Grammatica s Een grammatica G = (V, T, S, P) bestaat uit: eindige verzameling V van variabelen (in het voorbeeld: zin, lidw, znw, werkw ) eindige verzameling T van terminals (in het voorbeeld: de, een, boer, koe, melkt) symbool S V, de startvariabele (in het voorbeeld: zin ) eindige verzameling P van producties x y met x (V T ) + y (V T ) (meestal en in het voorbeeld: x V ) 6 / 31
6 Taal gegenereerd door een grammatica Als x y een productie in P is, dan is er voor elke u, v (V T ) een afleidingsstap uxv uyv Er is een afleiding u v (resp. u + v) als v uit u verkregen kan worden door nul (resp. één) of meer afleidingsstappen. Voor een grammatica G = (V, T, S, P) is de taal gegenereerd door G. L(G) = {w T S + w} 7 / 31
7 Taal gegenereerd door een grammatica Voorbeeld G = ({S}, {a, b}, S, P), waarbij P bestaat uit S asb S λ Dan geldt: L(G) = {a n b n n 0}. Vraag Geef een grammatica G zo dat L(G) = {a, b} {c}{b, c}. 8 / 31
8 Notationele conventies voor grammatica s Bij het definiëren van G = (V, T, S, P) gebruiken we hoofdletters voor variabelen en kleine letters voor terminals. We specificeren daarom vaak alleen de producties. Voorbeeld G 1 G 2 S Ab S asb A aab S b A λ L(G 1 ) = L(G 2 ) = {a n b n+1 n 0}. 9 / 31
9 B(ackus) N(aur) F(orm) Zet variabelen tussen en. Voorbeeld stm var := expr stm stm ; stm stm begin stm end stm if cond then stm else stm stm if cond then stm stm while cond do stm cond var expr Schrijf var ::= x y z in plaats van var x var y var z 10 / 31
10 Rechts-lineaire grammatica s Een grammatica G = (V, T, S, P) heet rechts-lineair als er alleen producties zijn van de vorm met A, B V en u T. A ub en A u Vraag Geef een rechts-lineaire grammatica G zo dat L(G) = {a, b} {aa}{b} 11 / 31
11 Rechts-lineaire grammatica s reguliere talen Stelling Taal L is regulier er is een rechts-lineaire grammatica G met L(G) = L Constructie ( = ) Voor elke rechts-lineaire grammatica G = (V, T, S, P) is er een nfa M = (Q, Σ, δ, q 0, F ) met L(M) = L(G). Σ = T V {A f } Q, met A f V. Voor elke rechterkant a 1 a n B (resp. a 1 a n ) in P met n 1 zit a i+1 a n B (resp. a i+1 a n A f ) in Q voor i = 1,..., n. q 0 = S F = {A f } 12 / 31
12 Rechts-lineaire grammatica s naar nfa s Voor elke productie in P van de vorm A a 1 a n B A a 1 a n met n 1 introduceren we in M pijlen A a 1 a 2 a n B a 2 a n B A a 1 a a 2 a n A 2 a f n Af Voor producties A B en A λ in P introduceren we pijlen A λ B A λ A f Er bestaat een afleiding in G van S naar u T dan en slechts dan als er een pad is in M van S naar A f met als labels achtereenvolgens de elementen van u. Oftewel, L(G) = L(M). 13 / 31
13 Vraag Geef een nfa die de taal accepteert die wordt gegenereerd door S at T abs b 14 / 31
14 Vraag Hoe kunnen we bij een nfa een equivalente rechts-lineaire grammatica bouwen? 15 / 31
15 Nfa s naar rechts-lineaire grammatica s Constructie ( ) Voor elke nfa M = (Q, Σ, δ, q 0, F ) is er een rechts-lineaire grammatica G = (V, T, S, P) met L(G) = L(M). V = Q en T = Σ en S = q 0. P bevat voor elke r δ(q, a) (of r δ(q, λ)) een productie en voor elke q F een productie q ar (of q r) q λ Er is een afleiding in G van S naar u T dan en slechts dan als er een pad is in M van S naar een toestand in F met als labels achtereenvolgens de elementen van u. Oftewel, L(G) = L(M). 16 / 31
16 Vraag Geef een rechts-lineaire grammatica die genereert. L({ab}({a} {cb}) {b}) 17 / 31
17 Links-lineaire grammatica s Een grammatica G = (V, T, S, P) heet links-lineair als er alleen producties zijn van de vorm met A, B V en u T. A Bu en A u Stelling Een taal L is regulier er is een links-lineaire grammatica G met L(G) = L. Dit volgt uit het feit dat L R regulier is voor reguliere talen L. 18 / 31
18 Links-lineaire grammatica s Rechts- en links-lineaire producties tezamen genereren niet altijd een reguliere taal. Voorbeeld G is de grammatica S aa A Sb S λ L(G) = {a n b n n 0} is niet regulier. 19 / 31
19 Reguliere expressies We definiëren de reguliere expressies over een input alfabet Σ: is een reguliere expressie λ is een reguliere expressie a is een reguliere expressie voor alle a Σ r 1 + r 2 is een reguliere expressie voor alle reg. expr. r 1 en r 2 r 1 r 2 is een reguliere expressie voor alle reg. expr. r 1 en r 2 r is een reguliere expressie voor alle reg. expr. r Elke reguliere expressie r definieert een taal L(r): L( ) = L(λ) = {λ} L(a) = {a} (a Σ) L(r 1 + r 2 ) = L(r 1 ) L(r 2 ) L(r 1 r 2 ) = L(r 1 )L(r 2 ) L(r ) = L(r) 20 / 31
20 Source: xkcd.com 21 / 31
21 Reguliere expressies Voorbeeld L((a + b) c ) = {a, b}{c} Reguliere expressies worden gebruikt om patronen in een stuk tekst te zoeken en manipuleren (bijv. grep in Unix). Script-talen Perl en Tcl/Tk zijn gebaseerd op reguliere expressies. Vraag Geef een reguliere expressie r over {a, b} zo dat L(r) uit de strings bestaat die het patroon bab bevatten. 22 / 31
22 Reguliere expressies corresponderen met reguliere talen Stelling Een taal L is regulier er is een reguliere expressie r met L(r) = L. Constructie Voor elke reguliere expressie r is er een nfa M met L(M) = L(r). We construeren inductief voor elke een reguliere expressie een nfa met dezelfde bijbehorende taal. Deze nfa heeft één eindtoestand, verschillend van de starttoestand. 23 / 31
23 Reguliere expressie naar nfa (1) λ λ a a λ r 1 λ r 1 + r 2 λ r 2 λ r 1 r 2 r 1 λ r 2 24 / 31
24 Reguliere expressie naar nfa (2) λ r λ r λ λ ((a ) b) laat zien dat de nieuwe begintoestand noodzakelijk is. (a (b )) laat zien dat de nieuwe eindtoestand noodzakelijk is. 25 / 31
25 nfa naar reguliere expressie (1) Voor elke nfa M is er een reguliere expressie r met L(r) = L(M). Voeg (als er meerdere eindtoestanden zijn) een nieuwe toestand q toe, en uit elke eindtoestand in M een pijl naar q met label λ. Laat alleen q eindtoestand zijn. We zetten nfa M met #F = 1 om in een reguliere expressie r met L(r) = L(M). We gebruiken gegeneraliseerde transitiegrafen, met reguliere expressies als labels van pijlen. Als er twee pijlen zijn van een q 1 naar een q 2, met labels r 1 en r 2, vervang deze dan door één pijl met label r 1 + r / 31
26 nfa naar reguliere expressie (2) Als er behalve q 0 en de eindtoestand nog andere toestanden zijn, verwijder dan één andere toestand q als volgt. Voeg voor elke pijl van een toestand q 1 naar q met label r 1 en voor elke pijl van q naar een toestand q 2 met label r 2 een nieuwe pijl toe van q 1 naar q 2 met label r 1 r 2 als er geen pijl is van q naar q, of met label r 1 r r 2 als de pijl van q naar q label r heeft. 27 / 31
27 nfa naar reguliere expressie (3) Als F {q 0 }, dan is de gegeneraliseerde transitiegraaf uiteindelijk van de vorm r 1 r 4 q 0 r 2 (eventueel met r 1, r 2, r 3 of r 4 gelijk aan ). L(r1 r 2 (r 4 + r 3 r1 r 2 ) ) = L(M) r 3 Vraag Welke gegeneraliseerde transitiegraaf en reguliere expressie krijgen we uiteindelijk in het geval dat F = {q 0 }? 28 / 31
28 Vraag Geef een reguliere expressie r zo dat L(r) = {w {a, b} n a (w) even en n b (w) oneven} met n a (w) en n b (w) respectievelijk het aantal a s en b s in w. 29 / 31
29 Alternatieve beschrijvingen van reguliere talen De volgende beweringen zijn equivalent: er is een dfa M met L(M) = L er is een nfa M met L(M) = L er is een rechts-lineaire grammatica G met L(G) = L er is een links-lineaire grammatica G met L(G) = L er is een reguliere expressie r met L(r) = L 30 / 31
30 Vooruit kijken Lees: Linz 1.2, Maak: Linz 1.2: 11a,b,c, 13, 14a,b,e,f,h Linz 3.1: 5, 7, 13, 16,a,b Linz 3.2: 1, 2, 4b,d, 9, 10a,c, 13a Linz 3.3: 1, 3, 6, 12 Volgend college: Eigenschappen van reguliere talen 31 / 31
Automaten & 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 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 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 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 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 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 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 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 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 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 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 informatieAutomaten & Complexiteit (X )
Automten & Complexiteit (X 401049) Eigenschppen vn reguliere tlen Jeroen Keiren j.j..keiren@vu.nl VU University Amsterdm 9 Februri 2015 Reguliere tlen Vorig college: De volgende beweringen zijn equivlent:
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 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 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 informatieFinite automata. Introductie 35. Leerkern 36. Zelftoets 44. Terugkoppeling 45
Finite automata Introductie 35 Leerkern 36 1 Deterministic finite accepters 36 2 Nondeterministic finite accepters 38 3 Equivalence of deterministic and nondeterministic finite accepters 41 Zelftoets 44
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 informatieAutomaten en Berekenbaarheid
Automaten en Berekenbaarheid Bart Demoen KU Leuven 2016-2017 Les 2: 20-35 reguliere expressies NFA DFA minimalisatie Van RE naar NFA I 2/11 structureel (als algebra s) zijn RegExp en de NFA s gelijk voor
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 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 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 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 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 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 informatieVorig college. IN2505-II Berekenbaarheidstheorie. Intermezzo / kleine opfriscursus. Deterministische eindige automaten (DFA) College 6
Vorig college College 6 Algoritmiekgroep Fculteit EWI TU Delft Hotel Hilbert Aftelbrheid vs. Overftelbrheid Digonlisering Overftelbrheid vn R 6 mei 2009 1 2 Intermezzo / kleine opfriscursus Deterministische
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 informatieLogische Complexiteit
Logische Complexiteit Universele Turing machines College 12 Donderdag 18 Maart 1 / 11 Hoog-niveau beschrijvingen en coderen Vanaf nu: hoog-niveau beschrijvingen van TM s. Daarbij worden objecten die geen
Nadere informatiepã~êí=påüéã~=s~äáç~íçê
pã~êí=påüéã~=s~äáç~íçê méíéê=_çóéå éêçãçíçê=w mêçñk=çêk=cê~åâ=kbsbk = báåçîéêü~åçéäáåö=îççêöéçê~öéå=íçí=üéí=äéâçãéå=î~å=çé=öê~~ç= j~ëíéê=áå=çé=áåñçêã~íáå~=ç~í~ä~ëéë Samenvatting XML (extensible Markup
Nadere informatieBerekenbaarheid 2015 Uitwerkingen Tentamen 5 november 2015
erekenbaarheid 2015 Uitwerkingen Tentamen 5 november 2015 1. Definieer een standaard Turing-machine M 1 met input alfabet Σ = {a, b} die twee a s voor zijn input plakt, dus met M 1 (w) = aaw voor alle
Nadere informatieBeslisbare talen (1) IN2505-II Berekenbaarheidstheorie. Beslisbare talen (2) Beslisbare talen (3) De talen: College 7
Beslisbare talen (1) College 7 Algoritmiekgroep Faculteit EWI TU Delft 10 mei 2009 De talen: A DFA = { M, w M is een DFA die w accepteert} A NFA = { M, w M is een NFA die w accepteert} E DFA = { M M is
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 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 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 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 informatieDeeltentamen Grammatica s en ontleden 22 december 2005
Tentamen Grammatica s en ontleden 22 december 2005 1 Deeltentamen Grammatica s en ontleden 22 december 2005 Let op: opgave 1 t/m 4 tellen voor (slechts) 5 punten mee, opgave 5 voor maar liefst 50 punten,
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 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 informatieCompilers (2IC25) docent: G. Zwaan, HG 5.41, tel. ( )4291, webpagina:
Compilers (2IC25) docent: G. Zwaan, HG 5.41, tel. (040 247)4291, e-mail: G.Zwaan@tue.nl webpagina: http://www.win.tue.nl/~wsinswan/compilers/ compileren compilatie vertalen (een werk) bijeenbrengen door
Nadere informatieBerekenbaarheid 2016 Uitwerkingen Tentamen 26 januari 2017
erekenbaarheid 2016 Uitwerkingen Tentamen 26 januari 2017 1. Geef een standaard Turing-machine M 1 die de volgende taal herkent door eindtoestand: L 1 := {w {a, b, c} w a + w b = w c } Hierin is w a een
Nadere informatieBerekenbaarheid 2013 Uitwerkingen Tentamen 23 januari 2014
erekenbaarheid 2013 Uitwerkingen Tentamen 23 januari 2014 1. Geef een standaard Turing-machine die de taal L 1 := {a n b n n N} = {λ, ab, aabb,... } herkent door stoppen. Je mag in je machine hulpsymbolen
Nadere informatieStelling. SAT is NP-compleet.
Het bewijs van de stelling van Cook Levin zoals gegeven in het boek van Sipser gebruikt niet-deterministische turing machines. Het is inderdaad mogelijk de klasse NP op een alternatieve wijze te definiëren
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 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 informatieGerichte Grafen Boolese Algebra s &. Logische Netwerken
Discrete Structuren Piter Dykstra Opleidingsinstituut Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl 10 maart 2009 Gerichte Grafen Boolese Algebra s &. Logische Netwerken. Paragrafen
Nadere informatieRuG-Informatica-cursus Discrete Structuren, versie 2009/2010
RuG-Informatica-cursus Discrete Structuren, versie 2009/2010 Handout 6A, paragraaf 4 (vervolg): Eindige automaten, gezien als multi-grafen Jan Terlouw woensdag 17 / donderdag 18 maart 2010 Het frame van
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 informatieAutomaten en Berekenbaarheid
Automaten en Berekenbaarheid 3 Bachelor Informatica Diverse Minoren en Kennisdomeinen 15 december 2015 B. Demoen KU Leuven Departement Computerwetenschappen Inhoudsopgave 1 Voorwoord 1 2 Talen en Automaten
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 informatieUitgebreide uitwerking Tentamen Complexiteit, mei 2007
Uitgebreide uitwerking Tentamen Complexiteit, mei 007 Opgave. a. Een beslissingsboom beschrijft de werking van het betreffende algoritme (gebaseerd op arrayvergelijkingen) op elke mogelijke invoer. In
Nadere informatieSemantische eigenschappen van XML-schematalen
transnationale Universiteit Limburg School voor Informatietechnologie Universiteit Hasselt Semantische eigenschappen van XML-schematalen Thesis voorgedragen tot het behalen van de graad van licentiaat
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 informatieDriehoeksongelijkheid en Ravi (groep 1)
Driehoeksongelijkheid en Ravi (groep 1) Trainingsdag 3, april 009 Driehoeksongelijkheid Driehoeksongelijkheid Voor drie punten in het vlak A, B en C geldt altijd dat AC + CB AB. Gelijkheid geldt precies
Nadere informatieGetallensystemen, verzamelingen en relaties
Hoofdstuk 1 Getallensystemen, verzamelingen en relaties 1.1 Getallensystemen 1.1.1 De natuurlijke getallen N = {0, 1, 2, 3,...} N 0 = {1, 2, 3,...} 1.1.2 De gehele getallen Z = {..., 4, 3, 2, 1, 0, 1,
Nadere informatieControle structuren. Keuze. Herhaling. Het if statement. even1.c : testen of getal even of oneven is. statement1 statement2
Controle structuren De algemene vorm: 1 bloks door middel van indentatie Keuze Herhaling if expressie :...... In de volgende vorm is het else gedeelte weggelaten: if expressie :... Het if keuze- of conditioneel
Nadere informatieElfde college complexiteit. 23 april NP-volledigheid III
college 11 Elfde college complexiteit 23 april 2019 NP-volledigheid III 1 TSP Als voorbeeld bekijken we het Travelling Salesman/person Problem, ofwel het Handelsreizigersprobleem TSP. Hiervoor geldt: TSP
Nadere informatieMeer command-line utilities
Meer command-line utilities Mattias Holm & Kristian Rietveld Vorige week - Hoe werkt een shell? - Pipes en redirectie. - Verscheidene handige utilities. - Shell scripting. Doel - Meer utilities introduceren
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 informatieONBETWIST ONderwijs verbeteren met WISkunde Toetsen Voorbeeldtoetsen Lineaire Algebra Deliverable 3.10 Henk van der Kooij ONBETWIST Deliverable 3.
ONBETWIST ONderwijs verbeteren met WISkunde Toetsen Voorbeeldtoetsen Lineaire Algebra Deliverable 3.10 Henk van der Kooij ONBETWIST Deliverable 3.8 ONBETWIST ONderwijs verbeteren met WISkunde Toetsen Inleiding
Nadere informatieWI1808TH1/CiTG - Lineaire algebra deel 1
WI1808TH1/CiTG - Lineaire algebra deel 1 College 10 13 oktober 2016 1 Samenvatting Hoofdstuk 4.1 Een constante λ is een eigenwaarde van een n n matrix A als er een niet-nul vector x bestaat, zodat Ax =
Nadere informatieVerzamelingen deel 3. Derde college
1 Verzamelingen deel 3 Derde college rekenregels Een bewerking op A heet commutatief als voor alle x en y in A geldt dat x y = y x. Een bewerking op A heet associatief als voor alle x, y en z in A geldt
Nadere informatieEindige. Automaten. zie dictaatje 4.2 ch.12 Languages, Automata, Grammars 12.5 finite state automata. Dertiende college
Eindige 2 Automaten Dertiende college zie dictaatje 4.2 ch.2 Languages, Automata, Grammars 2.5 finite state automata toestand-actie-diagrammen Eindige automaten zijn voorbeelden van zgn. toestand-actie-diagrammen.
Nadere informatieLogica voor Informatica. Propositielogica. Syntax & Semantiek. Mehdi Dastani Intelligent Systems Utrecht University
Logica voor Informatica Propositielogica Syntax & Semantiek Mehdi Dastani m.m.dastani@uu.nl Intelligent Systems Utrecht University Wat is Logica? Afleiden van conclusies uit aannames Jan Sara Petra Schuldig
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 informatieFundamenten voor de Informatica
Fundamenten voor de Informatica Bachelor Informatica Aanvullende Opleiding Informatica Academiejaar 25 26 K. Dekimpe K.U.Leuven Campus Kortrijk B. Demoen K.U.Leuven Dep. Computerwetenschappen Inhoudsopgave
Nadere informatieVorig college. IN2505-II Berekenbaarheidstheorie. Voorbeeld NDTM. Aanbevolen opgaven. College 3
Vorig college College 3 Algoritmiekgroep Faculteit EWI TU Delft Multi-tape TM s Vergelijking rekenkracht 1-TM en k-tm (k >1) Niet-deterministische TM s Berekeningsboom 16 april 2009 1 2 Aanbevolen opgaven
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 informatieCLIPS en het Rete-algoritme. Productieregels in CLIPS. Feiten. Productiesysteem (voorbeeld)
CLIPS en het Rete-algoritme CLIPS: acroniem voor C Language Integrated Production System Verwant aan OPS5 (Carnegie-Mellon University), en gebaseerd op ART (Artificial Reasoning Tool) Ontwikkeld door Lyndon
Nadere informatie3.0 Voorkennis. y = -4x + 8 is de vergelijking van een lijn. Hier wordt y uitgedrukt in x.
3.0 Voorkennis y = -4x + 8 is de vergelijking van een lijn. Hier wordt y uitgedrukt in x. y = -4x + 8 kan herschreven worden als y + 4x = 8 Dit is een lineaire vergelijking met twee variabelen. Als je
Nadere informatieString Matching. Algoritmiek
String Matching Algoritmiek String Matching Gegeven string (haystack): aabaabbabaaba zoek patroon abba (needle) 4 algoritmen: Naïef Rabin-Karp Eindige Automaat Knuth-Morris-Pratt 2 String Matching (formeel)
Nadere informatierij karakters scanner rij tokens parser ontleedboom (filteren separatoren) (niet expliciet geconstrueerd) (+ add. inform.) (contextvrije analyse)
scanning and parsing 1/57 rij karakters scanner (filteren separatoren) rij tokens (+ add. inform.) (niet expliciet geconstrueerd) parser (contextvrije analyse) ontleedboom (parse tree) representeert syntactische
Nadere informatieReguliere talen: overzicht
Reguliere talen!!reguliere grammatica: versimpelde Contextvrije grammatica!!finite-state Automaton: andere manier om een taal te beschrijven!!reguliere Expressie nog een andere manier Alle drie kunnen
Nadere informatieKlanken 2. Dit college. Automaten: Talen. Colleges en hoofdstukken (let op verranderingen) Fonologie met eindige automaten en transducers
Dit college Klanken 2 Fonologie met eindige automaten en transducers Colleges en hoofdstukken (let op verranderingen) 4 mei: Klanken (Fonetiek, fonologie) Chapter 7 6 mei: Klanken 2 (eindige automaten
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 informatieUitwerking tentamen Analyse van Algoritmen, 29 januari
Uitwerking tentamen Analyse van Algoritmen, 29 januari 2007. (a) De buitenste for-lus kent N = 5 iteraties. Na iedere iteratie ziet de rij getallen er als volgt uit: i rij na i e iteratie 2 5 4 6 2 2 4
Nadere informatieSemantiek (2IT40) Jos Baeten. HG 7.19 tel.: Hoorcollege 3 (12 april 2007)
Jos Baeten josb@wintuenl http://wwwwintuenl/~josb/ HG 719 tel: 040 247 5155 Hoorcollege 3 (12 april 2007) Voorbeeld [Bewijstechniek 2 niet altijd succesvol] Executie van commands is deterministisch: c
Nadere informatieReguliere Expressies
Reguliere Expressies Theorie en praktijk Leerboek voor het VO Huub de Beer Eindhoven, 31 mei 2011 Inhoudsopgave 1 Inleiding: patronen en tekst 4 1.1 Patronen in tekst zijn belangrijk................ 4
Nadere informatieSelectietoets vrijdag 10 maart 2017
Selectietoets vrijdag 10 maart 2017 NEDERLANDSE W I S K U N D E OLYMPIADE Uitwerkingen Opgave 1. Zij n een even positief geheel getal. Een rijtje van n reële getallen noemen we volledig als voor elke gehele
Nadere informatieFP-theorie. 2IA50, Deel B. Inductieve definities 1/19. / department of mathematics and computer science
FP-theorie 2IA50, Deel B Inductieve definities 1/19 Inductieve definitie Definitie IL α, (Cons-)Lijsten over α Zij α een gegeven verzameling. De verzameling IL α van eindige (cons-)lijsten over α is de
Nadere informatie2. Syntaxis en semantiek
2. Syntaxis en semantiek In dit hoofdstuk worden de begrippen syntaxis en semantiek behandeld. Verder gaan we in op de fouten die hierin gemaakt kunnen worden en waarom dit in de algoritmiek zo desastreus
Nadere informatieSmall Basic Programmeren Text Console 2
Oefening 1: Hoogste getal Je leest een reeks positieve gehele getallen in totdat je het getal 0 (nul) invoert. Daarna stopt de invoer en druk je een regel af met het hoogste getal uit de reeks. Voorbeeld:
Nadere informatieTweede huiswerkopdracht Lineaire algebra 1 Uitwerking en opmerkingen
Tweede huiswerkopdracht Lineaire algebra 1 en opmerkingen November 10, 2009 Opgave 1 Gegeven een vectorruimte V met deelruimtes U 1 en U 2. Als er geldt dim U 1 = 7, dimu 2 = 9, en dim(u 1 U 2 ) = 4, wat
Nadere informatieLokaal zoeken. Computationele Intelligentie. Een representatie van het kleuringsprobleem. Impliciete doeltoestanden. Lokaal zoeken
Lokaal zoeken Computationele Intelligentie Lokaal zoeken algoritmen voor lokaal zoeken zijn ontwikkeld voor problemen I met grote oplossingsdiepten; I waarbij een oplossing slechts een doeltoestand is;
Nadere informatieWe beginnen met de eigenschappen van de gehele getallen.
II.2 Gehele getallen We beginnen met de eigenschappen van de gehele getallen. Axioma s voor Z De gegevens zijn: (a) een verzameling Z; (b) elementen 0 en 1 in Z; (c) een afbeelding +: Z Z Z, de optelling;
Nadere informatieHoofdstuk 1 LIJNEN IN. Klas 5N Wiskunde 6 perioden
Hoofdstuk LIJNEN IN Klas N Wiskunde 6 perioden . DE VECTORVOORSTELLING VAN EEN LIJN VOORBEELD. Gegeven zijn de punten P (, ) en Q (, 8 ). Gevraagd: de vectorvoorstelling van de lijn k door P en Q. Methode:
Nadere informatieVelduitbreidingen. Hector Mommaerts
Velduitbreidingen Hector Mommaerts 2 Hoofdstuk 1 Basisbegrippen 1.1 Definities Definitie 1.1. Een veld L is een uitbreiding van het veld K als het ontstaat door aan K één of meerdere elementen toe te voegen.
Nadere informatie10. Controleopdrachten
Computeralgebra met Maxima 10. Controleopdrachten 10.1. Functies en operatoren voor lijsten/vectoren/arrays Een van de eenvoudigste maar belangrijkste lusachtige functies is de makelist opdracht. Voor
Nadere informatieMMI. The Digital World 4. Peter van Kranenburg
MMI The Digital World 4 Peter van Kranenburg Intro Vandaag: Terugblik vorige week Leren programmeren Algoritmes Terugblik Hogere-orde programmeertalen maken het schrijven van code eenvoudiger. Je hoeft
Nadere informatieOplossingen oefeningen logica en eindige automaten 12 december Het bestand oplnoef12dec.zip bevat de.sen en.fa bestanden met de oplossingen.
Oplossingen oefeningen logica en eindige automaten 12 december 2003 Het bestand oplnoef12dec.zip bevat de.sen en.fa bestanden met de oplossingen. Oefening 1 Deel 1: Logica Vertaal de volgende zinnen in
Nadere informatieVierde college complexiteit. 26 februari Beslissingsbomen en selectie Toernooimethode Adversary argument
Complexiteit 2019/04 College 4 Vierde college complexiteit 26 februari 2019 Beslissingsbomen en selectie Toernooimethode Adversary argument 1 Complexiteit 2019/04 Zoeken: samengevat Ongeordend lineair
Nadere informatieUitwerkingen Tentamen Gewone Differentiaalvergelijkingen
Uitwerkingen Tentamen Gewone Differentiaalvergelijkingen Maandag 4 januari 216, 1: - 13: uur 1. Beschouw voor t > de inhomogene singuliere tweede orde vergelijking, t 2 ẍ + 4tẋ + 2x = f(t, (1 waarin f
Nadere informatie2WO12: Optimalisering in Netwerken
2WO12: Optimalisering in Netwerken Leo van Iersel Technische Universiteit Eindhoven (TUE) en Centrum Wiskunde & Informatica (CWI) 3 en 6 februari 2014 Leo van Iersel (TUE/CWI) 2WO12: Optimalisering in
Nadere informatieString Matching. Algoritmiek
String Matching Algoritmiek String Matching Gegeven string (haystack): aabaabbabaaba zoek patroon abba (needle) 4 algoritmen: Naïef Rabin-Karp Eindige Automaat Knuth-Morris-Pratt 2 String Matching (formeel)
Nadere informatieIn dit hoofdstuk introduceren we de hoofdrolspelers van het college: eindige automaten.
9 2 Eindige utomten In dit hoofdstuk introduceren we de hoofdrolspelers vn het college: eindige utomten. 2.1 Deterministische eindige utomten We eginnen met een vooreeld. Vooreeld 2.1 Beschouw het volgende
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 informatieAls een PSD selecties bevat, deelt de lijn van het programma zich op met de verschillende antwoorden op het vraagstuk.
HOOFDSTUK 3 3.1 Stapsgewijs programmeren In de vorige hoofdstukken zijn programmeertalen beschreven die imperatief zijn. is het stapsgewijs in code omschrijven wat een programma moet doen, net als een
Nadere informatie3.2 Vectoren and matrices
we c = 6 c 2 = 62966 c 3 = 32447966 c 4 = 72966 c 5 = 2632833 c 6 = 4947966 Sectie 32 VECTOREN AND MATRICES Maar het is a priori helemaal niet zeker dat het stelsel vergelijkingen dat opgelost moet worden,
Nadere informatiestart -> id (k (f c s) (g s c)) -> k (f c s) (g s c) -> f c s -> s c
Een Minimaal Formalisme om te Programmeren We hebben gezien dat Turing machines beschouwd kunnen worden als universele computers. D.w.z. dat iedere berekening met natuurlijke getallen die met een computer
Nadere informatie1.1 Rekenen met letters [1]
1.1 Rekenen met letters [1] Voorbeeld 1: Een kaars heeft een lengte van 30 centimeter. Per uur brand er 6 centimeter van de kaars op. Hieruit volgt de volgende woordformule: Lengte in cm = -6 aantal branduren
Nadere informatieCollege WisCKI. Albert Visser. 16 januari, Department of Philosophy, Faculty Humanities, Utrecht University. Loodrechte Projectie
College WisCKI Albert Visser Department of Philosophy, Faculty Humanities, Utrecht University 16 januari, 2012 1 Overview 2 Overview 2 Overview 2 Overview 3 Zij V een deelruimte met basis v 1,..., v k.
Nadere informatieUitgebreide uitwerking Tentamen Complexiteit, juni 2017
Uitgebreide uitwerking Tentamen Complexiteit, juni 017 Opgave 1. a. Een pad van de wortel naar een blad stelt de serie achtereenvolgende arrayvergelijkingen voor die het algoritme doet op zekere invoer.
Nadere informatie