Statements (102)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Logic
|
| gptkbp:abbreviation |
gptkb:Backus-Naur_Form
|
| gptkbp:can_be_extended_by |
syntax extensions
|
| gptkbp:can_be_used_to_specify |
markup languages
|
| gptkbp:can_create |
language parsers
|
| gptkbp:can_transform_into |
parse trees
|
| gptkbp:components |
language tools
|
| gptkbp:describes |
syntax of programming languages
|
| gptkbp:developed_by |
gptkb:John_Backus
|
| https://www.w3.org/2000/01/rdf-schema#label |
BNF
|
| gptkbp:is_a_basis_for |
syntax highlighting
language interoperability syntax highlighting in editors |
| gptkbp:is_a_formalism_for |
defining languages
specifying languages syntax definition |
| gptkbp:is_a_foundation_for |
formal language theory
language processing tools |
| gptkbp:is_a_framework_for |
language analysis
language specification |
| gptkbp:is_a_notation_for |
formal languages
context-free grammars formal specifications defining programming languages describing languages describing programming languages |
| gptkbp:is_a_reference_for |
programming language syntax
syntax rules language designers |
| gptkbp:is_a_representation_of |
syntax rules
language syntax |
| gptkbp:is_a_standard_notation_for |
syntax definitions
|
| gptkbp:is_a_tool_for |
language processing
automated testing language analysis language parsing language specification syntax validation language validation |
| gptkbp:is_applicable_to |
data interchange formats
markup languages |
| gptkbp:is_characterized_by |
production rules
|
| gptkbp:is_defined_by |
a set of rules
|
| gptkbp:is_described_as |
data formats
data structures grammar rules programming constructs languages in computer science |
| gptkbp:is_essential_for |
gptkb:Software_Development
compiler construction |
| gptkbp:is_often_used_in |
documentation of programming languages
|
| gptkbp:is_part_of |
computer science education
|
| gptkbp:is_related_to |
EBNF
formal language theory syntax diagrams |
| gptkbp:is_similar_to |
context-free grammars
|
| gptkbp:is_standardized_by |
computer programming
data representation language representation defining syntax defining syntax rules language definition defining language syntax |
| gptkbp:is_taught_in |
computer science courses
|
| gptkbp:is_used_in |
gptkb:Documentation
gptkb:educational_materials gptkb:Software_Development gptkb:tools API design computer programming data serialization compiler design software engineering data modeling compiler construction language interoperability syntax analysis data interchange formats language implementation language design protocol specifications automated code generation language transformation |
| gptkbp:is_used_to_specify |
the structure of data
|
| gptkbp:is_utilized_in |
natural language processing
text processing syntax analysis language specification |
| gptkbp:represents |
recursive structures
recursive definitions |
| gptkbp:technique |
defining formal languages
defining language constructs defining language syntax. defining languages defining programming languages defining syntax rules specifying programming languages syntax specification |
| gptkbp:type_of |
meta-language
|
| gptkbp:was_a_precursor_to |
other grammar notations
|
| gptkbp:bfsParent |
gptkb:GNU_bison
|
| gptkbp:bfsLayer |
5
|