Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:context-free_grammar
|
| gptkbp:abbreviation |
gptkb:BNF
|
| gptkbp:category |
formal language theory
|
| gptkbp:firstUsedFor |
gptkb:ALGOL_60
|
| gptkbp:hasComponent |
nonterminal symbol
production rule terminal symbol start symbol |
| gptkbp:introducedIn |
1960
|
| gptkbp:namedAfter |
gptkb:John_Backus
gptkb:Peter_Naur |
| gptkbp:notation |
metasyntax
|
| gptkbp:relatedTo |
gptkb:Extended_Backus–Naur_Form
gptkb:Chomsky_normal_form syntax diagram |
| gptkbp:standardizedBy |
gptkb:ISO/IEC_14977
|
| gptkbp:usedFor |
describing context-free grammars
|
| gptkbp:usedIn |
gptkb:syntax
computer science compiler construction |
| gptkbp:bfsParent |
gptkb:John_Warner_Backus
|
| gptkbp:bfsLayer |
5
|
| https://www.w3.org/2000/01/rdf-schema#label |
Backus–Naur form
|