Statements (50)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
context-free grammar
|
| gptkbp:canBeParsedBy |
gptkb:Pushdown_automaton
|
| gptkbp:definedIn |
Production rules
|
| gptkbp:example |
Arithmetic expressions
Programming language syntax |
| gptkbp:generation |
Context-free languages
|
| gptkbp:hasApplication |
gptkb:Automata_theory
Natural language processing Speech recognition Query languages Compiler construction Formal verification Language recognition Mathematical linguistics Text processing XML parsing Data serialization Code analysis Syntax highlighting Syntax-directed translation Parsing expression grammar |
| gptkbp:hasComponent |
Nonterminal symbols
Production rules Start symbol Terminal symbols |
| gptkbp:hasNormalForm |
gptkb:Chomsky_normal_form
gptkb:Greibach_normal_form |
| gptkbp:hasProperty |
Ambiguity
Recursion |
| gptkbp:hasSubgroup |
Regular grammar
Unrestricted grammar |
| https://www.w3.org/2000/01/rdf-schema#label |
Context-free grammar
|
| gptkbp:introduced |
gptkb:Noam_Chomsky
|
| gptkbp:introducedIn |
1956
|
| gptkbp:limitation |
Cannot describe all natural languages
Cannot describe context-sensitive languages |
| gptkbp:relatedTo |
Phrase structure grammar
Regular grammar Context-sensitive grammar |
| gptkbp:studiedIn |
gptkb:Formal_language_theory
|
| gptkbp:supportsAlgorithm |
gptkb:CYK_algorithm
gptkb:LR_parser Earley parser LL parser |
| gptkbp:usedFor |
Programming language design
Syntax analysis |
| gptkbp:usedIn |
gptkb:Linguistics
Computer science |
| gptkbp:bfsParent |
gptkb:Phrase_Structure_Grammar
|
| gptkbp:bfsLayer |
6
|