Grammatiska exempel Förklaringar av uttryck i BNF-form
Exempel 1 Vad beskrivs av följande regler? → → a | a → b | b → c | c
Exempel 1 (fortsättning) → S, A, B och C är regler som beskriver syntaxen för det beskrivna språket Regeln S består av tre andra regler Dessa förekommer i ordningen A, sedan B och sist C
Exempel 1 (fortsättning) → a | a Symbolen | betyder eller Att består av är BNF:s sätt att hantera rekursion Regeln A beskriver alltså att a kan förekomma en eller flera gånger
Exempel 1 (fortsättning) → b | b → c | c På samma sätt anger och att b respektive c kan förekomma en eller flera gånger
Exempel 1 (fortsättning) Slutsats: → anger att det beskrivna språket består av ett eller flera a följt av ett eller flera b följt av ett eller flera c
Exempel 2 Förutsatt följande grammatiska regler: → a c | | b → c | c → d | Vilka syntaxer är korrekta: abcd acccbd acccbcc acd accc
Exempel 2 (fortsättning) → a c | | b → c | c → d | abcd? 1. → a c 2. → a b c 3. → a b c d
Exempel 2 (fortsättning) → a c | | b → c | c → d | acccbd? 1. → a c 2. → a c c c 3. → a c c c (d | ) 4.acccbd är ej korrekt eftersom den gröna texten endast går att byta ut mot ett d eller ett c
Exempel 2 (fortsättning) → a c | | b → c | c → d | acccbcc? 1. → a c 2. → a c c 3. → a c c (d | ) 4.acccbcc är ej korrekt eftersom den gröna texten endast går att byta ut mot d eller ett eller flera c
Exempel 2 (fortsättning) → a c | | b → c | c → d | acd? 1. → a c 2. → a c c 3.acd är ej korrekt eftersom det alltid är minst två c innan första d:et
Exempel 2 (fortsättning) → a c | | b → c | c → d | accc? 1. → a c 2. → a c c 3. → a c c c