🎓 CS × DS Vault
Search
Search
Dark mode
Light mode
Explorer
Tag: CS/Computation
48 items with this tag.
Aug 02, 2026
FIT2014 Unit Cheatsheet
Math/Theory
CS/Computation
Aug 02, 2026
Universal Turing Machine
Math/Theory
CS/Computation
Aug 01, 2026
Chomsky Normal Form
Math/Theory
CS/Computation
CS/Languages
Aug 01, 2026
Proving a Language Non-Context-Free
Math/Theory
Math/Proof
CS/Computation
CS/Languages
Jul 31, 2026
Building Turing Machines
Math/Theory
CS/Computation
CS/Languages
Jul 31, 2026
Computable Functions and the Church-Turing Thesis
Math/Theory
CS/Computation
Jul 31, 2026
Cook-Levin Theorem
Math/Theory
CS/Computation
Jul 31, 2026
Decidability and Decision Problems
Math/Theory
CS/Computation
Jul 31, 2026
Deciding Properties of FAs and CFGs
Math/Theory
CS/Computation
Jul 31, 2026
Encoding Turing Machines (Code Words)
Math/Theory
CS/Computation
CS/Languages
Jul 31, 2026
Enumerators and Dovetailing
Math/Theory
CS/Computation
Jul 31, 2026
Mapping Reductions
Math/Theory
CS/Computation
Jul 31, 2026
NP-Completeness
Math/Theory
CS/Computation
Jul 31, 2026
Polynomial Time and the Class P
Math/Theory
CS/Computation
Jul 31, 2026
Polynomial-Time Reductions
Math/Theory
CS/Computation
Jul 31, 2026
Proving NP-Completeness by Reduction
Math/Theory
CS/Computation
Jul 31, 2026
Proving Undecidability by Reduction
Math/Theory
CS/Computation
Jul 31, 2026
Recursively Enumerable Languages
Math/Theory
CS/Computation
Jul 31, 2026
Reducing to SATISFIABILITY
Math/Theory
CS/Computation
Jul 31, 2026
Standard NP Problems and Certificates
Math/Theory
CS/Computation
Jul 31, 2026
Turing Machines
Math/Theory
CS/Computation
CS/Languages
Jul 31, 2026
Undecidability and the Halting Problem
Math/Theory
CS/Computation
Jul 31, 2026
Verifiers, Certificates and the Class NP
Math/Theory
CS/Computation
Jul 30, 2026
CYK Algorithm
Math/Theory
CS/Computation
CS/Languages
Jul 30, 2026
Pumping Lemma for Context-Free Languages
Math/Theory
Math/Proof
CS/Computation
CS/Languages
Jul 30, 2026
Pushdown Automata (PDA)
Math/Theory
CS/Computation
CS/Languages
Jul 30, 2026
Lex and Yacc (Parser Generators)
CS/Computation
CS/Languages
Tool/Lex
Tool/Yacc
Jul 30, 2026
Parsing and Shift-Reduce Parsers
Math/Theory
CS/Computation
CS/Languages
Jul 30, 2026
Pumping Lemma for Regular Languages
Math/Theory
Math/Proof
CS/Computation
CS/Languages
Jul 25, 2026
CNF Encoding Patterns (At Least, At Most, Exactly)
Math/Logic
Math/Theory
CS/Computation
Jul 25, 2026
Closure Properties of Regular Languages
Math/Theory
Math/Proof
CS/Computation
CS/Languages
Jul 25, 2026
Context-Free Grammars (CFG)
Math/Theory
CS/Computation
CS/Languages
Jul 25, 2026
Converting Regular Expressions to NFA
Math/Theory
CS/Computation
CS/Languages
Jul 25, 2026
Countability and Cantor Diagonalisation
Math/Theory
Math/Proof
CS/Computation
Jul 25, 2026
DFA Minimisation (Colouring)
Math/Theory
CS/Computation
CS/Languages
Jul 25, 2026
Derivations and Parse Trees
Math/Theory
CS/Computation
CS/Languages
Jul 25, 2026
Encoding Problems in Propositional Logic
Math/Logic
Math/Theory
CS/Computation
Jul 25, 2026
FA to Regular Expression (GNFA State Elimination)
Math/Theory
CS/Computation
CS/Languages
Jul 25, 2026
Finding Regular Expressions
Math/Theory
CS/Computation
CS/Languages
Jul 25, 2026
Finite Automata (DFA and NFA)
Math/Theory
CS/Computation
CS/Languages
Jul 25, 2026
Formal Languages (Alphabets, Words, Languages)
Math/Theory
CS/Computation
Jul 25, 2026
Kleene's Theorem
Math/Theory
CS/Computation
CS/Languages
Jul 25, 2026
Lexical Analysis (Patterns, Tokens, Lexemes)
Math/Theory
CS/Computation
CS/Languages
Jul 25, 2026
NFA to DFA (Subset Construction)
Math/Theory
CS/Computation
CS/Languages
Jul 25, 2026
Proving a Language Non-Regular
Math/Theory
Math/Proof
CS/Computation
CS/Languages
Jul 25, 2026
Regular Expressions
Math/Theory
CS/Computation
CS/Languages
Jul 25, 2026
Regular Grammars and the CFL Hierarchy
Math/Theory
CS/Computation
CS/Languages
Jul 25, 2026
Writing a CFG
Math/Theory
CS/Computation
CS/Languages