Quartz 5
Search
Search
Dark mode
Light mode
Explorer
Home
❯
Foundations
❯
Computability
Computability
65 items under this folder.
Jun 05, 2026
Antisymmetric
Jun 05, 2026
Automata and formal languages
Jun 05, 2026
Automata
Jun 05, 2026
Basic Functions
Jun 05, 2026
Case Distinction Lemma
Jun 05, 2026
Characteristic Function
Jun 05, 2026
Chomsky Normal Form
Jun 05, 2026
Complete Language
Jun 05, 2026
Computability Hierarchy
Jun 05, 2026
Computable
Jun 05, 2026
Computably Enumerable
Jun 05, 2026
Computation Sequence
Jun 05, 2026
Configuration of a Register Machine
Jun 05, 2026
Context-Free Formal Language
Jun 05, 2026
Context-Free Pumping Lemma
Jun 05, 2026
Curry-Howard Correspondence
Jun 05, 2026
Derivable Strings
Jun 05, 2026
Deterministic Automata
Jun 05, 2026
Domain of a Computable Function
Jun 05, 2026
Encoding Alphabets in Binary Words
Jun 05, 2026
Encoding Numbers in Binary Words
Jun 05, 2026
Encoding Register Machines
Jun 05, 2026
Formal Language
Jun 05, 2026
Grammar
Jun 05, 2026
Gödel's primitive recursive functions
Jun 05, 2026
Hard Language
Jun 05, 2026
Index Set
Jun 05, 2026
Kleene's Recursion Theorem
Jun 05, 2026
Noncontracting Formal Language
Jun 05, 2026
Nondeterministic Automata
Jun 05, 2026
Operations on Formal Languages
Jun 05, 2026
Parse Tree
Jun 05, 2026
Partial Function
Jun 05, 2026
Partial Numerical Function
Jun 05, 2026
Partial Order
Jun 05, 2026
Partial Preorder
Jun 05, 2026
Partial Recursive Functions
Jun 05, 2026
Performing an Operation
Jun 05, 2026
Power Set Functor
Jun 05, 2026
Pseudo-Characteristic Function
Jun 05, 2026
Question
Jun 05, 2026
Quotient Category
Jun 05, 2026
Reduction Function
Jun 05, 2026
Reflexive
Jun 05, 2026
Register Machine
Jun 05, 2026
Regular Concatenation Grammar
Jun 05, 2026
Regular Formal Language
Jun 05, 2026
Regular Pumping Lemma
Jun 05, 2026
Regular Union Grammar
Jun 05, 2026
Repeat Lemma
Jun 05, 2026
Rewrite Rule
Jun 05, 2026
Rewrite System
Jun 05, 2026
Rice's Theorem
Jun 05, 2026
Set of all Grammars
Jun 05, 2026
Shortlex Order
Jun 05, 2026
Splitting and Merging Words
Jun 05, 2026
Strong Equivalence of Register Machines
Jun 05, 2026
Subroutine Lemma
Jun 05, 2026
The Chomsky Hierarchy
Jun 05, 2026
The Halting Problem
Jun 05, 2026
The Software Principle
Jun 05, 2026
The s-m-n Theorem
Jun 05, 2026
Truncation of Register Machine
Jun 05, 2026
Turing Joint
Jun 05, 2026
Variable-based Grammar