Statements (66)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Yes
|
| gptkbp:covers |
Automata Theory
|
| https://www.w3.org/2000/01/rdf-schema#label |
Automata I
|
| gptkbp:includes |
gptkb:Turing_Machines
Context-Free Grammars Finite Automata |
| gptkbp:is_associated_with |
Discrete Mathematics
Theoretical Computer Science Research in Computer Science |
| gptkbp:is_evaluated_by |
Projects
Exams Assignments |
| gptkbp:is_popular_in |
gptkb:MOOCs
Academic Institutions Online Learning Platforms |
| gptkbp:is_related_to |
gptkb:crypt
gptkb:P_vs_NP_Problem gptkb:Computer_Vision gptkb:Natural_Language_Processing gptkb:NP-Completeness gptkb:Mathematics gptkb:Quantum_Computing gptkb:strategy gptkb:simulation gptkb:networking gptkb:robotics gptkb:Software_Development gptkb:Church-Turing_Thesis Bioinformatics Computational Models Data Structures Model Checking Optimization Semantics Algorithm Design Information Theory Decidability Determinism Graph Theory Lambda Calculus Non-Determinism Automated Theorem Proving Regular Expressions Formal Proofs Lexical Analysis Parsing Techniques Syntax Analysis Closure Properties Computational Theory Language Recognition Complexity Classes State Machines |
| gptkbp:is_studied_in |
gptkb:developers
gptkb:Artificial_Intelligence gptkb:machine_learning |
| gptkbp:is_taught_in |
Graduate Programs
Undergraduate Programs |
| gptkbp:part_of |
Computer Science
|
| gptkbp:provides_access_to |
University Departments
|
| gptkbp:requires |
gptkb:Data_Science
gptkb:Information_Technology Computer Engineering Formal Languages Compilers |
| gptkbp:bfsParent |
gptkb:Between_the_Buried_and_Me
|
| gptkbp:bfsLayer |
5
|