Statements (55)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Field of study
|
| gptkbp:hasRelatedPatent |
Computer Science
Linguistics Mathematics |
| gptkbp:hasType |
Regular Languages
Context-Free Languages Context-Sensitive Languages Recursively_Enumerable_Languages |
| https://www.w3.org/2000/01/rdf-schema#label |
Formal Languages
|
| gptkbp:isAssociatedWith |
Formal Verification
Model Checking Automated Theorem Proving Parse Trees Syntax Trees Abstract Syntax Trees |
| gptkbp:isCharacterizedBy |
Languages
Strings Formal Grammar Alphabets |
| gptkbp:isCitedBy |
Semantics
Pragmatics Syntax |
| gptkbp:isCounteredBy |
Regular Expressions
Context-Free Grammars Finite_State_Machines |
| gptkbp:isEvaluatedBy |
Expressiveness
Decidability Complexity Theory |
| gptkbp:isExploredIn |
Artificial Intelligence
Software Engineering Computational Linguistics Natural Language Understanding Human-Computer_Interaction |
| gptkbp:isInfluencedBy |
Philosophy of Language
Mathematical Logic Set Theory |
| gptkbp:isRelatedTo |
gptkb:Turing_Machines
Programming Languages Pushdown Automata Markup Languages Finite Automata Chomsky_Hierarchy Database_Query_Languages |
| gptkbp:isStudiedIn |
Information Theory
Mathematical Logic Theoretical_Computer_Science |
| gptkbp:isUsedIn |
Natural Language Processing
Automata Theory Compiler_Design |
| gptkbp:isVisitedBy |
Formal Methods
Model Checking Type Theory |
| gptkbp:mayHave |
Parsing Algorithms
Lexical Analysis Syntax Analysis |