Statements (51)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:class |
gptkb:Chomsky_hierarchy
|
| gptkbp:consistsOf |
Nonterminal symbols
Production rules Start symbol Terminal symbols |
| gptkbp:defines |
gptkb:Formal_Language
|
| gptkbp:formedBy |
gptkb:Mathematical_notation
|
| gptkbp:hasApplication |
gptkb:artificial_intelligence
gptkb:Bioinformatics gptkb:XML_schema Speech recognition Programming languages Query languages Compiler construction Machine translation Text processing Regular expressions Protocol specification Pattern recognition Markup languages Data format specification Code analysis Database schema Document validation Interpreter design JSON schema Syntax highlighting Syntax-directed translation |
| gptkbp:hasType |
gptkb:Context-free_grammar
Regular grammar Context-sensitive grammar Unrestricted grammar |
| gptkbp:introduced |
gptkb:Noam_Chomsky
|
| gptkbp:relatedTo |
gptkb:Technical_Machine
Parsing Derivation Language generation Syntax tree |
| gptkbp:studiedIn |
gptkb:Theoretical_computer_science
gptkb:Formal_language_theory |
| gptkbp:usedFor |
gptkb:Automata_theory
Natural language processing Syntax analysis Compiler design |
| gptkbp:usedIn |
gptkb:Linguistics
gptkb:Formal_Language_Theory Computer Science |
| gptkbp:bfsParent |
gptkb:Theoretical_Linguistics
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
Formal Grammar
|