Statements (58)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Logic
|
| gptkbp:adapted_into |
various applications
modern programming languages |
| gptkbp:consists_of |
productions
|
| gptkbp:describes |
syntax of programming languages
|
| gptkbp:developed_by |
gptkb:John_Backus
1950s |
| https://www.w3.org/2000/01/rdf-schema#label |
Backus-Naur form
|
| gptkbp:influenced_by |
mathematical logic
|
| gptkbp:is |
a programming language
|
| gptkbp:is_applied_in |
gptkb:computer_science
markup languages |
| gptkbp:is_associated_with |
algorithms
|
| gptkbp:is_cited_in |
academic papers
|
| gptkbp:is_compared_to |
Extended Backus-Naur Form
|
| gptkbp:is_critical_for |
language processing
|
| gptkbp:is_defined_by |
a set of rules
|
| gptkbp:is_described_as |
gptkb:textbooks
|
| gptkbp:is_explored_in |
research studies
|
| gptkbp:is_implemented_in |
various programming languages
grammar parsers |
| gptkbp:is_incorporated_in |
gptkb:tools
|
| gptkbp:is_influential_in |
theoretical computer science
language theory |
| gptkbp:is_noted_for |
its clarity
its simplicity |
| gptkbp:is_often_associated_with |
formal specifications
|
| gptkbp:is_often_used_in |
gptkb:Documentation
|
| gptkbp:is_part_of |
software engineering practices
programming language specifications formal language theory computer language theory |
| gptkbp:is_recognized_as |
a foundational concept
a standard notation |
| gptkbp:is_recognized_by |
gptkb:ISO_9001
programming communities |
| gptkbp:is_related_to |
BNF notation
|
| gptkbp:is_similar_to |
syntax diagrams
|
| gptkbp:is_supported_by |
parser generators
|
| gptkbp:is_taught_in |
computer science courses
|
| gptkbp:is_used_by |
language designers
|
| gptkbp:is_used_for |
defining protocols
defining data formats |
| gptkbp:is_used_in |
gptkb:Software_Development
compiler design |
| gptkbp:is_used_to |
create language specifications
specify language syntax |
| gptkbp:is_utilized_by |
gptkb:developers
|
| gptkbp:is_utilized_for |
data validation
|
| gptkbp:is_utilized_in |
data interchange formats
protocol specifications |
| gptkbp:provides |
a way to express grammars
|
| gptkbp:related_to |
context-free grammar
|
| gptkbp:represents |
recursive structures
|
| gptkbp:used_for |
syntax description
|
| gptkbp:uses |
metasyntax
|
| gptkbp:bfsParent |
gptkb:van_Wijngaarden_grammar
|
| gptkbp:bfsLayer |
7
|