Statements (48)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:application |
gptkb:Software_Engineering
gptkb:artificial_intelligence gptkb:Natural_Language_Processing gptkb:Database_Theory Cryptography Formal Methods |
| gptkbp:characterizedBy |
Production Rules
Finite Alphabet String Concatenation |
| gptkbp:definedIn |
set of strings
|
| gptkbp:example |
gptkb:HTML
gptkb:Lisp gptkb:logic gptkb:First-Order_Logic XML SQL Propositional Calculus Regular Expressions C Language Programming Language Syntax |
| gptkbp:formedBy |
Chomsky Hierarchy
|
| gptkbp:hasType |
Context-Free Language
Context-Sensitive Language Recursively Enumerable Language Regular Language |
| https://www.w3.org/2000/01/rdf-schema#label |
Formal Language
|
| gptkbp:inventedBy |
gptkb:Noam_Chomsky
|
| gptkbp:property |
Can be finite or infinite
Can be ambiguous Can be deterministic or non-deterministic Can be generated by grammar Can be parsed Can be recognized by automata Defined over an alphabet Described by grammar |
| gptkbp:relatedTo |
gptkb:Amazon
gptkb:syntax gptkb:Semantics |
| gptkbp:studiedIn |
gptkb:Linguistics
gptkb:Mathematics Computer Science |
| gptkbp:usedIn |
Automata Theory
Compiler Design Formal Verification Programming Language Theory |
| gptkbp:bfsParent |
gptkb:Formal_Grammar
|
| gptkbp:bfsLayer |
7
|