De presentatie wordt gedownload. Even geduld aub

De presentatie wordt gedownload. Even geduld aub

Grammatica’s en Ontleden. Waar gaat het eigenlijk over? nGrammatica’s nOntleden nTaal Bedenk een éénregelige definitie van taal, ontleden en grammatica.

Verwante presentaties


Presentatie over: "Grammatica’s en Ontleden. Waar gaat het eigenlijk over? nGrammatica’s nOntleden nTaal Bedenk een éénregelige definitie van taal, ontleden en grammatica."— Transcript van de presentatie:

1 Grammatica’s en Ontleden

2 Waar gaat het eigenlijk over? nGrammatica’s nOntleden nTaal Bedenk een éénregelige definitie van taal, ontleden en grammatica Uitdaging:

3 Taal nEen taal is… de verzameling van alle zinnen die “goed” zijn Omdat de Académie Française dat vindt Omdat je ouders/ leraren dat zeiden Omdat de compiler het pikt Omdat we dat zo hebben afgesproken

4 Ontleden nOntleden is… het herkennen van de structuur van een zin n…en daarmee aantonen dat hij tot een taal behoort …Onderwerp… …werkwoord… …Lijdend voorwerp… …Accolades… …puntkomma’s… …Expressies… Correct Nederlands! Correct Java!

5 Grammatica nRegels die voorschrijven hoe het ontleden moet gebeuren

6 Zin nHoe mag een kandidaat-zin er uit zien? “Dit lijkt me een goed voorbeeld.” “ATTCGACCGTTA” “class Hello extends Applet {public void paint (Graphics gr)…” “ ” “  ” Rij symbolen! Wat is dat?

7 Sequence (Rij) Definitie van Sequence over X met X een willekeurig type: n [ ] is een sequence over X nAls x een element van X is, en xs een sequence over X is, dan is x:xs ook een sequence over X (in de Haskell-notatie) [X]

8 Sequence (Rij) Definitie van Sequence over X met X een willekeurige verzameling:  is een sequence over X nAls a een element van X is, en w een sequence over X is, dan is a w ook een sequence over X nNiets anders is een sequence over X (in de wiskunde-notatie) Inductieve definitie X*

9 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 een taal nEen Zin van een taal is… een element van die taal

10 Hoe definieer je een taal? nAlle elementen opsommen nInductieve definitie geven nEen voorwaarde geven waaraan zinnen moeten voldoen { dit, is, alles } { n  {0..9}* | n%2=0 } { s  {a,b,c}* | s = s R } even getallen palindromen predicaat { a, b, c } *

11 Ontleden nBij een “opsom”-definitie van de taal: gewoon zoeken nBij een “inductieve” definitie van de taal: inductieve opbouw uitpluizen nBij een “predicatieve” definitie van de taal: predicaat controleren

12 Genereren nBij een “opsom”-definitie van de taal: ‘t zijn ze al… nBij een “inductieve” definitie van de taal: inductieve opbouw volgen nBij een “predicatieve” definitie van de taal: onmogelijk! (tenzij je alles probeert)

13 Liever inductief dan predicatief nPalindromen predicatief nPalindromen inductief { s  {a,b,c}* | s = s R }  is een palindroom a, b, en c zijn palindromen Als P en palindroom is dan zijn aPa, bPb en cPc het ook Niets anders is een palindroom Zijn deze definities equivalent? sound complete

14 Inductieve definitie bevat herschrijfregels Genereren van zinnen: nBegin met een P nPas naar believen de herschrijfregels toe nWerk al het rood weg P   P  a P  b P  c P  aPa P  bPb P  cPc

15 Grammatica Een grammatica bestaat uit: nHet alfabet nHulpsymbolen nProductieregels nEen startsymbool

16 Grammatica Een grammatica bestaat uit (T, N, R, S) nHet alfabet T nHulpsymbolen N nProductieregels R nEen startsymbool S

17 Met als elementen: Grammatica Een grammatica bestaat uit (T, N, R, S) nHet alfabet T eindig nHulpsymbolen N eindig T  N=Ø nProductieregels R eindig nEen startsymbool S één S  N A  w waarbij A  N w  (N  T)*

18 Vorm van de herschrijfregels nContextvrije grammatica A  w waarbij A  N w  (N  T)* nContextgevoelige grammatica A  w waarbij A  (N  T)* w  (N  T)* n(Rechts) reguliere grammatica A  w waarbij A  N w  T* N  T*

19 Afkorting-notatie nLangn Kort P   P  a P  b P  c P  aPa P  bPb P  cPc P   a  b  c  aPa  bPb  cPc

20 “Echt” Voorbeeld nContextvrije grammatica voor Java Stat  Var = Expr  | if (Expr) Stat else Stat | while (Expr) Stat Expr  Const | Var | Expr Op Expr Op  + | -


Download ppt "Grammatica’s en Ontleden. Waar gaat het eigenlijk over? nGrammatica’s nOntleden nTaal Bedenk een éénregelige definitie van taal, ontleden en grammatica."

Verwante presentaties


Ads door Google