DAIMIIntroducerende objektorienteret programmering2C.1 Syntaksbeskrivelse Syntaksdiagrammer og EBNF-notation

DAIMIIntroducerende objektorienteret programmering2C.2 Emner  Syntaks og semantik  Syntaktiske entiteter og syntaktiske kategorier  Syntaksdiagrammer  EBNF-notation  Rekursion i syntaksbeskrivelser

DAIMIIntroducerende objektorienteret programmering2C.3 Syntaks og semantik (1)  På dansk kombinerer vi bogstaver til ord, ord og skilletegn til sætninger, sætninger til afsnit,...  For at resultatet skal blive acceptabelt, er det en forudsætning at vi benytter ord der er i sproget konstruerer meningsfyldte sætninger –grammatisk –indholdsmæssigt

DAIMIIntroducerende objektorienteret programmering2C.4 Syntaks og semantik (2)  Syntaks form / grammatik  Semantik indhold / betydning  Korrekthedsniveauer syntaktisk korrekthed semantisk korrekthed logisk korrekthed (sandt)

DAIMIIntroducerende objektorienteret programmering2C.5 Korrekthedsniveauer (1)  En mand stor hus sø  Farveløse grønne ideer sover rasende  Jordnødden åd elefanten  Elefanten åd jordnødden  Min bil er rød  Det er torsdag i dag

DAIMIIntroducerende objektorienteret programmering2C.6 Korrekthedsniveauer (2) Syntaktisk korrekt Semantisk korrekt Logisk korrekt NejJa Nej JaNej

DAIMIIntroducerende objektorienteret programmering2C.7 Tvetydighed  Han elskede pigen på banegården  Korrekt at lade Arnesen skyde  Hun var skidefuld og på rulleskøjter

DAIMIIntroducerende objektorienteret programmering2C.8 Demonstration Hornorkester fanebærerdemonstrant Hornorkester trompetist basunist t t b t f f d t b t f t f t b d t t b t b f d d

DAIMIIntroducerende objektorienteret programmering2C.9 Syntaksdiagrammer (1)  Et syntaksdiagram er et navngivent diagram bestående af en række ‘pile’ afbrudt af symboler og af navne på syntaksdiagrammer.  Et syntaksdiagram definerer alle de følger af symboler som opnås ved at gennemløbe det i pilenes retning.  Symboler kaldes syntaktiske entiteter; diagrammer kaldes syntaktiske kategorier.

DAIMIIntroducerende objektorienteret programmering2C.10 Syntaksdiagrammer (2)  Syntaktiske entiteter (symboler)  Syntaktiske kategorier (diagrammer)  Pile

DAIMIIntroducerende objektorienteret programmering2C.11 EBNF-notation for picodansk  Sætning ::= Grundled Udsagnsled Genstandsled  Grundled ::= “en” [ Adjektivliste ] Navneord  Udsagnsled ::= spiser” | “kører” | “løber” | “skovler”  Genstandsled ::= Grundled  Adjektivliste ::= Adjektiv { “,” Adjektiv }  Adjektiv ::= “stor” | “rød” | “tung” | “mager”  | “udspekuleret”  Navneord ::= “mand” | “bil” | “hest” | “skovl”

DAIMIIntroducerende objektorienteret programmering2C.12 EBNF-notation  Syntaktiske entiteter  Syntaktisk kategori  Sammenstilling (efter hinanden)  Valg  0 eller 1 forekomst af...  0 eller mange forekomster af...  “...”  Navn  |  [... ]  {... }

DAIMIIntroducerende objektorienteret programmering2C.13 Præcedensregler  1. (sammenstilling)  2. | (valg)  Som sædvanligt kan parenteser bruges til at ‘overrule’ præcedensreglerne.  seq ::= “a” | “b” [ “c” ]  seq ::= (“a” | “b”) [ “c” ]

DAIMIIntroducerende objektorienteret programmering2C.14 EBNF og syntaksdiagrammer  “...”  Navn  x y  x | y  [ x ]  { y } xy x y x x

DAIMIIntroducerende objektorienteret programmering2C.15  E ::= E op E | “(“ E “)” | Tal  op ::= “+” | “-” | “’” | “/”  Tal ::= “0” | “1” | “2” | “3” | “4”  | “5” | “6” | “7” | “8” | “9” Regneudtryk og parsetræ * 9 E EEop EE * +TT 37 9