Statements (66)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:agreement
|
| gptkbp:bfsLayer |
4
|
| gptkbp:bfsParent |
gptkb:Between_the_Buried_and_Me
|
| gptkbp:covered_by |
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 |
Academic Institutions
Online Learning Platforms MOO Cs |
| gptkbp:is_related_to |
gptkb:aircraft
gptkb:Database_Management_System gptkb:P_vs_NP_Problem gptkb:physicist gptkb:viewpoint gptkb:Artificial_Intelligence gptkb:NP-Completeness gptkb:software gptkb:software_framework gptkb:robot gptkb:battle gptkb:currency 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:architect
gptkb:Artificial_Intelligence gptkb:software_framework |
| gptkbp:part_of |
Computer Science
|
| gptkbp:provides_access_to |
University Departments
|
| gptkbp:requires |
gptkb:physicist
gptkb:financial_services_company Computer Engineering Formal Languages Compilers |
| gptkbp:training |
Graduate Programs
Undergraduate Programs |