List Question
10 TechQA 2015-06-19 20:27:19Ways to measure bit sequence complexity
185 views
Asked by Psyche
Does there exist a TM for all countable languages?
973 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?
530 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
273 views
Asked by Ben
NP optimization problems (definition)
389 views
Asked by Belgi
Recursively enumerable (computably enumerable) languages closed under permutation?
507 views
Asked by user3688391
Proving the inexpressibility of a function in a given language
72 views
Asked by Ben
What does it mean to pass the machine and it's description as the input in the halting problem?
32 views
Asked by sayantan dasgupta