List Question
10 TechQA 2024-12-24 14:50:15Ways to measure bit sequence complexity
197 views
Asked by Psyche
Does there exist a TM for all countable languages?
981 views
Asked by Þorvaldur Rúnarsson
Turing Machines and Lambda Calculus equivalence
1.5k views
Asked by Greg Peckory
Is poly-time functions class recursively enumerable?
536 views
Asked by Saiiiira
What is the "trick" to writing a Quine?
11.4k views
Asked by calebds
program to reproduce itself and be useful -- not a quine
281 views
Asked by Ben
NP optimization problems (definition)
396 views
Asked by Belgi
Recursively enumerable (computably enumerable) languages closed under permutation?
516 views
Asked by user3688391
Proving the inexpressibility of a function in a given language
76 views
Asked by Ben
What does it mean to pass the machine and it's description as the input in the halting problem?
37 views
Asked by sayantan dasgupta