Statements (64)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Logic
|
| gptkbp:allows |
context-sensitive languages
|
| gptkbp:can_create |
infinite languages
syntax of programming languages |
| gptkbp:concept |
theory of computation
syntax theory formal methods formal language design |
| gptkbp:developed_by |
1960s
|
| gptkbp:has_expansion |
BNF notation
|
| https://www.w3.org/2000/01/rdf-schema#label |
Van Wijngaarden grammar
|
| gptkbp:is_a_basis_for |
language processing algorithms
language specification techniques language translation techniques syntax error detection |
| gptkbp:is_a_foundation_for |
language design principles
|
| gptkbp:is_a_framework_for |
language analysis
syntax-directed translation |
| gptkbp:is_a_reference_for |
language implementers
|
| gptkbp:is_a_subject_of |
computer science education
mathematical analysis computer science research |
| gptkbp:is_a_tool_for |
program verification
language specification syntax validation syntax analysis tools |
| gptkbp:is_analyzed_in |
program semantics
|
| gptkbp:is_applicable_to |
natural language processing
compiler optimization |
| gptkbp:is_associated_with |
formal language theory
|
| gptkbp:is_characterized_by |
recursive definitions
|
| gptkbp:is_defined_by |
a set of production rules
|
| gptkbp:is_described_as |
data structures
type systems |
| gptkbp:is_essential_for |
language interoperability
|
| gptkbp:is_implemented_in |
various programming languages
|
| gptkbp:is_part_of |
the study of algorithms
language processing techniques the study of programming languages |
| gptkbp:is_recognized_for |
its complexity
|
| gptkbp:is_referenced_in |
gptkb:academic_research
programming language theory |
| gptkbp:is_related_to |
gptkb:Backus-Naur_form
syntax trees |
| gptkbp:is_relevant_to |
software engineering
|
| gptkbp:is_represented_in |
a context-free grammar with additional rules
|
| gptkbp:is_significant_for |
theoretical computer science
|
| gptkbp:is_standardized_by |
Chomsky hierarchy
|
| gptkbp:is_studied_in |
computational linguistics
|
| gptkbp:is_used_for |
compiler construction
|
| gptkbp:is_used_in |
gptkb:Algol_68
automated theorem proving |
| gptkbp:is_utilized_in |
gptkb:Software_Development
|
| gptkbp:model |
language evolution
|
| gptkbp:named_after |
gptkb:Adriaan_van_Wijngaarden
|
| gptkbp:provides |
a framework for syntax analysis
|
| gptkbp:strength |
context-free grammar
|
| gptkbp:technique |
language parsing
defining language syntax defining programming constructs |
| gptkbp:type_of |
meta-language
|
| gptkbp:used_in |
programming language design
|
| gptkbp:bfsParent |
gptkb:Martha_van_Wijngaarden
|
| gptkbp:bfsLayer |
7
|