In een reguliere taal… zin yxz S E A B vuwuwxzvuwxzvvuwxzvvvuwxzvvv lengte  n.

Slides:



Advertisements
Verwante presentaties
HET CSE NEDERLANDS. Je spreekt toch al jaren
Advertisements

Lindenhout gaat 2.0, jij ook?
Eigenschappen van vierhoeken
Welke kenmerken schrijven jij of anderen aan God toe? Roept u maar!
Z, F en X hoeken Kees Vleeming.
Uitwerking tentamen Functioneel Programmeren 29 januari 2009.
Samenvatting Hoofdstuk 3 (§2 Vlakken)
Risico … hoort er nu eenmaal bij Hoe neem ik deelnemer daarin mee? mr. dr. Emilie Schols Geld voor later, 17 april 2014.
Chromosomen en waarom je op je ouders lijkt.
Eigenschappen van het vermenigvuldigen van gehele getallen
Taalkunde Grammatica A
Grammatica’s en Ontleden
Grammaticale modellen
vwo B Samenvatting Hoofdstuk 8
Omtrekshoeken Stelling van de constante hoek:
Groepen toegepast op puzzels
Het kloppend maken van reactievergelijkingen
Het kloppend maken van reactievergelijkingen
AI91  Het Probleem  Grammatica’s  Transitie netwerken Leeswijzer: Hoofdstuk AI Kaleidoscoop College 9: Natuurlijke taal.
Periode verdubbeling...en chaos. Laag dimensionale modellen Dynamica en bifurcaties kunnen vaak met laag dimensionale modellen verklaard worden. Het ontstaan.
Reguliere talen nReguliere grammatica: versimpelde Contextvrije grammatica nFinite-state Automaton: andere manier om een taal te beschrijven nReguliere.
Ontleden nNon-deterministisch m.b.v. Parser-combinators nDeterministisch m.b.v. Stack-machine type Parser a b = [a]  [ (b, [a]) ] type Parser a b = [a]
(Kosmische) straling en organismen door Sofie, Pau Li en Kim v2a
Natuurkunde Paragraaf 3.4 & 3.5
WELKOM! Bij de Workshop “Blik op jezelf” Oftewel BLIK OP IK..!
Pijl rechts: verder pijl links: terug Kloppend maken In een reactieverglijking moet van elke atoomsoort voor en na de pijl evenveel atomen zijn Dus alle.
1.2 Het atoommodel.
Gelijkvormigheid en verhoudingstabellen.
Uitleg bijvoeglijke bepaling (bvb)
Three steps to success Foutloos zinnen vertalen in drie stappen
Letterrekenen K. van Dorssen.
Hoofdstuk 4 Argumentatieleer
Hoofdstuk 9 havo KWADRATEN EN LETTERS
pijl rechts: verder pijl links: terug
Taal nEen Alfabet is… een eindige verzameling symbolen nEen Taal is… een deelverzameling van T* bij een bepaald alfabet T nEen Zin is… een element van.
Reguliere talen nReguliere grammatica: versimpelde Contextvrije grammatica nFinite-state Automaton: andere manier om een taal te beschrijven nReguliere.
Gereedschapskist vlakke meetkunde
Tentamen vraag 1 Als L en M talen zijn, dan nL  M is gelijk aan { s  t | s  L, t  M } nL M is gelijk aan { s t | s  L, t  M } nL n is gelijk aan.
Parsing 1. Situering Contextvrije grammatica’s Predictive (of recursive-descent) parsing LR-parsing Parser generator: Yacc Error recovery 2.
Definitie LL(1) Een grammatica is LL(1) nAls je op grond van het eerstvolgende input-symbool kunt kiezen uit alternatieven Formeel: nAls de lookahead-sets.
Evidence based onderzoek. Wat is evidence-based ?  Letterlijk betekent dit aanduiding of bewijs.  het gebruik van een bewijs dat de keuze voor een bepaalde.
Definitie Taal van een grammatica nZij grammatica G = ( T, N, R, S ) nde taal van G is { z  T* | S  * z } L(G)
Tentamen vraag 1 nElke reguliere zin is ook contextvrij nElke reguliere taal is ook contextvrij nElke contextvrije grammatica is ook regulier nonsens “regulier”
Kabelaanleg… De manier van werken is niet veranderd…
En rekenen met variabelen Bijzondere producten. Variabele: rekenen met variabelen een variabele is een letter die een getal voorstelt. de letters a, b,
Let’s go! ›Beginnerspresentatie ›Starten met prospero ›Verschil CMS en web navigator ›Nieuwe content > nieuwe folder aanmaken ›Bestanden uploaden ›Linkobject.
PYTHAGORAS De wiskundige stelling van een Grieks Filosoof
Kruising waarbij 2 genenparen betrokken zijn
Projectie en stelling van thales
Inloggen >> Gegevensaanlevering en controle in Peridos In Release 3.3 van Peridos is er een nieuwe module gebouwd voor het aanleveren en bekijken van gegevens.
Dihybride kruising Kruising waarbij 2 genenparen betrokken zijn.
 Bepaald?  Bepaald:De het  Bepaald: de het  Onbepaald?
WERKWOORDELIJK GEZEGDE
TAAL BIJ TOETSEN Extra uitleg bij een aantal lastige kwesties.
Inhoud Breuken (optellen, aftrekken, vermenigvuldigen en delen).
Samenvatting Hoofdstuk 3 (§2 Vlakken)
Bewijs: de eigenschap van overstaande hoeken
M A R T X I W K U N E D S 2 M18 Bewijs: de eigenschappen van hoeken gevormd door evenwijdige rechten en een snijlijn © André Snijers.
M A R T X I W K U N E D S 2 M31 Bewijs: de eigenschap van de basis- hoeken in een gelijkbenige driehoek © André Snijers.
M A R T X I W K U N E D S 2 M38 Bewijs: de eigenschappen van de zijden, hoeken en diagonalen in een vierhoek © André Snijers.
Bewijs: eigenschap van de som van de hoeken in een vierhoek
Bewijs: de eigenschap van de som van de hoeken in een driehoek
Eigenschappen van de verschuiving
Eigenschappen van de spiegeling
Bewijs: het verband tussen de hoeken en de zijden in een driehoek
G12 2 Bewijs: de hoofdeigenschap van evenredigheden M A R T X I
Meetkunde Verzamelingen Klas 8.
Eigenschappen van het optellen en het vermenigvuldigen van rationale getallen © André Snijers.
Transcript van de presentatie:

In een reguliere taal… zin yxz S E A B vuwuwxzvuwxzvvuwxzvvvuwxzvvv lengte  n

In een reguliere taal… vuwvuwxzvvyxz Er is een n, zo dat … Voor elke deelzin y met lengte  n … Er is een kern v, waarvoor … Voor alle i  0 … x u v i w z is ook een zin

“Pomp-stelling” L is Regulier   n  x, y, zxyz  L|y|  n  u, v, wuvw=y|v|  1  i  0x u v i w z  L vuw vuwxzvvyxz

Pomp-stelling omdraaien… L is Regulier   n  x, y, zxyz  L|y|  n  u, v, wuvw=y|v|  1  i  0x u v i w z  L 

Gebruik van omgekeerde Pomp-stelling  n  x, y, zxyz  L|y|  n  u, v, wuvw=y|v|  1  i  0x u v i w z  L Noem mij een n ! …dan geef ik je een zin xyz … yxz …en nou mag jij v aanwijzen … vuw …dan vind ik een i zoals nodig!  L is niet Regulier

neem dan i=2… a a b b b b b b baa …wijs maar een v aan! Voorbeeld: { a m b m | m  0 } is niet regulier Noem mij een n ! …met een opsplitsing … a a a a a a ab b b b b b b Nou, ehh, 7 ! a a a a a a a b b b b b b b …dan is hier een zin … deze neem ik! a  L

Gevolg n(Hoofdstuk 2) { a m b m | m  0 } is contextvrij n(Pomp-stelling) { a m b m | m  0 } is niet regulier nEr zijn contextvrije talen die niet regulier zijn S  a S bS  S  a S bS  

Reguliere talen: overzicht RG Definitie 8 +9 DFA Definitie 1 +3 NFA Definitie 4 +6 RE Definitie Stelling 13 Stelling 12 Stelling 7 triviaal ZRG Definitie (11) Stelling 11 triviaal CFG Definitie triviaal onmogelijk Stelling 16 Stelling 17

Chomsky-hierarchie nType 3: Reguliere grammatica’s links: N rechts: T* N ? nType 2: Contextvrije grammatica’s links: N rechts: (N  T)* nType 1: Contextgevoelige grammatica’s links:  N  rechts:  (N  T)*  nType 0: Algemene grammatica’s links: (N  T) + rechts: (N  T)*

Chomsky-hierarchie nEr zijn talen die contextvrij zijn maar niet regulier { a m b m | m  0 } (bewijs met Pomp-stelling) nEr zijn talen die zelfs niet contextvrij zijn { a m b m c m | m  0 } (bewijs met uitgebreide Pomp-stelling)

Pomp-stellingen nWe kunnen ook een pompstelling formuleren voor Contextvrije talen n…en daarmee bewijzen dat bepaalde talen niet Contextvrij zijn n{ a m b m c m | m  0 } is niet contextvrij

Ontleedboom bij CFG S  ……… | …… A  ………… | …… B  …… | …… | … C  …… | … | …  m m k nivo’s  m k z S

Ontleedboom bij CFG z S  ……… | …… A  ………… | …… B  …… | …… | … C  …… | … | …  m m >k nivo’s > m k k non- terminals S A A nAls de zin lang genoeg is, is er een pad met een dubbele nonterminal

Pomp-stelling voor CFG uy S vx A w A vx A w A vx A w A

uy S A w A

uy S vx A w A vx A w A nVoor alle i  0 … u v i w x i y is ook een zin

Pomp-stelling voor CFG uy S vx A w A nVoor alle i  0 … u v i w x i y is ook een zin n v en x niet allebei leeg  k+1 nivo’s n |vwx|  m k+1

Pomp-stelling voor Reguliere talen L is Regulier   n  x, y, zxyz  L|y|  n  u, v, wuvw=y|v|  1  i  0x u v i w z  L vuw vuwxzvvyxz namelijk |N|

Pomp-stelling voor Contextvrije talen L is Contextvrij   c  zz  L |z|>c  u,v,w,x,yuvwxy=z |vx|  1  i  0u v i w x i y  L namelijk m k |vwx|  d, d namelijk m k+1

Omgekeerde Pomp-stelling voor Contextvrije talen  c, d  zz  L |z|>c  u,v,w,x,yuvwxy=z |vx|  1  i  0u v i w x i y  L  L is niet Contextvrij |vwx|  d

Voorbeeld: { a n b n c n | n  0 } is niet CF Noem mij een c,d ! a a a … a a a b b b … b b b c c c … c c c …dan is hier een zin … max(c,d) vxwvxw nOpsplitsing bevat <3 verschillende letters nPompen met i>1 vermeerdert niet alle letters …wijs maar een opsplitsing uvwxy aan! |vwx|  d

Stelling 2.10 Als L en M CF-talen zijn dan… nL  M is ook CF nL M is ook CF nL*is ook CF Als L en M Reg-talen zijn dan… nL  M is ook Reg nL M is ook Reg nL*is ook Reg Stelling 5.11 nL  M is ook Reg nCmpl(L)is ook Reg nL  M is niet CF nCmpl(L)is niet CF

Doorsnede van CF-talen is niet altijd CF n { a n b n | n  0 } is contextvrij n { c k | k  0 } is contextvrij n { a n b n c k | n, k  0 } is contextvrij n { a k b n c n | n, k  0 } is contextvrij n Met de pompstelling bewezen we: { a n b n c n | n  0 } is niet contextvrij n Dus CF-eigenschap blijft niet behouden onder doorsnede

Ontleden met een Stackmachine S  a S S  c S S  b a a b nNonterminal bovenop stack? Vervang door een van de regels! nTerminal bovenop stack? Accepteer die input S S a S a b S a S b b maar door welke?

Ontleden met een Stackmachine S  c A | b A  c B C | b S A | a B  c c | C b C  a S | b a c c c c b a S A c c c c b a A C B c c c b a C B C c c c b a C c b a C a b a a

LL(1) grammatica’s nAls je op grond van het eerstvolgende input-symbool de keuze kunt maken dan is de grammatica een LL(1)-grammatica n… en kan het met de eerste k symbolen dan is het een LL(k )-grammatica Leftmost Lookahead(k)

Complexiteit van ontleden Tijd nodig voor het parsen van een zin met lengte n nContextvrije grammatica: O(n 3 ) nContextvrije grammatica met LL(1)-eigenschap:O(n) Wanneer is een grammatica LL(1) ?

Definitie LL(1) Een grammatica is LL(1) nAls je op grond van het eerstvolgende input-symbool kunt kiezen uit alternatieven Formeel: nAls de lookahead-sets van de alternatieven van elke nonterminal onderling disjunct zijn

Definitie Lookaheadset van alternatief N  S  x  N  { x | S  *  N     *  x  } Lah(N  x  ) = {x} Lah(N  P  ) = ……

Eigenschappen van Nonterminals … nodig om Lookahead-sets te bepalen nEmpty(N) nFirst(N) nFollow(N) N  *  S  x  N N