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 |
Mathematical notation
|
gptkbp:hasApplication |
gptkb:artificial_intelligence
gptkb:Bioinformatics Speech recognition Programming languages Query languages Compiler construction Machine translation Text processing Regular expressions Protocol specification Pattern recognition Markup languages XML schema 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 |
https://www.w3.org/2000/01/rdf-schema#label |
Formal Grammar
|
gptkbp:introduced |
gptkb:Noam_Chomsky
|
gptkbp:relatedTo |
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
|