Statements (49)
Predicate | Object |
---|---|
gptkbp:instanceOf |
context-free grammar
|
gptkbp:abbreviation |
gptkb:CFG
|
gptkbp:canBeParsedBy |
gptkb:Pushdown_automaton
|
gptkbp:definedIn |
gptkb:Noam_Chomsky
|
gptkbp:example |
Arithmetic expressions
Balanced parentheses |
gptkbp:generation |
Context-free languages
|
gptkbp:hasApplication |
gptkb:Bioinformatics
Natural language processing Programming language design Mathematical linguistics Syntax analysis XML parsing Data serialization |
gptkbp:hasComponent |
Nonterminal symbols
Production rules Start symbol Terminal symbols |
gptkbp:hasNormalForm |
gptkb:Chomsky_normal_form
gptkb:Greibach_normal_form |
gptkbp:hasProperty |
Ambiguity
Derivation tree Leftmost derivation Rightmost derivation |
gptkbp:hasSubgroup |
context-free grammar
Regular grammar |
https://www.w3.org/2000/01/rdf-schema#label |
Context-Free Grammar
|
gptkbp:introducedIn |
1956
|
gptkbp:limitation |
Cannot describe all natural languages
Cannot describe context-sensitive languages |
gptkbp:notParsedBy |
Finite automaton
|
gptkbp:relatedTo |
Regular grammar
Context-sensitive grammar Unrestricted grammar |
gptkbp:studiedIn |
gptkb:Automata_theory
gptkb:Formal_language_theory |
gptkbp:supportsAlgorithm |
gptkb:CYK_algorithm
gptkb:GLR_parser gptkb:LR_parser Earley parser LALR parser LL parser |
gptkbp:usedFor |
Parsing
Describing programming languages |
gptkbp:usedIn |
gptkb:Linguistics
Computer science Compiler design |
gptkbp:bfsParent |
gptkb:CFG
|
gptkbp:bfsLayer |
6
|