Statements (54)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
context-free grammar linguistic theory |
| gptkbp:alternativeName |
Formal_grammar
formal_grammar |
| gptkbp:appliesTo |
natural language processing
compiler design syntax analysis |
| gptkbp:canBeParsedBy |
pushdown automaton
|
| gptkbp:class |
gptkb:Chomsky_hierarchy
|
| gptkbp:consistsOf |
production rules
nonterminal symbols start symbol terminal symbols |
| gptkbp:definedIn |
production rules
|
| gptkbp:defines |
formal semantics
|
| gptkbp:formedBy |
gptkb:Extended_Backus–Naur_form
gptkb:Backus–Naur_form syntax diagrams |
| gptkbp:generation |
context-free language
|
| gptkbp:hasComponent |
production rules
nonterminal symbols start symbol terminal symbols |
| gptkbp:hasNormalForm |
gptkb:Chomsky_normal_form
gptkb:Greibach_normal_form |
| gptkbp:hasProperty |
ambiguity
|
| gptkbp:hasSubgroup |
regular grammar
|
| gptkbp:hasSuperset |
context-sensitive grammar
|
| gptkbp:hasType |
context-free grammar
regular grammar context-sensitive grammar unrestricted grammar |
| gptkbp:importantFor |
gptkb:programming_language
machine translation speech recognition |
| gptkbp:introduced |
gptkb:Noam_Chomsky
|
| gptkbp:introducedIn |
1956
|
| gptkbp:partOf |
gptkb:Chomsky_hierarchy
|
| gptkbp:relatedTo |
automata theory
parsing derivation language generation syntax tree |
| gptkbp:studiedBy |
gptkb:Noam_Chomsky
1950s |
| gptkbp:usedFor |
compiler design
parsing syntax analysis |
| gptkbp:usedIn |
gptkb:mathematics
computer science linguistics |
| gptkbp:bfsParent |
gptkb:Chomsky_hierarchy
|
| gptkbp:bfsLayer |
4
|