SpiceQA
Questions
Tags
Users
Badges
turing-complete
19 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
Is conditional branching a requirement of Turing-completeness?
user_243613
0
•
asked Oct 27, 2010
12
7
2996
computer-science
turing-complete
theory
branch
What does it mean for a language to be statically typed?
user_376728
0
•
asked Sep 2, 2010
14
6
863
language-theory
turing-complete
type-safety
What are the practical limitations of a non-turing complete language like Coq?
user_16853
0
•
asked Aug 16, 2010
69
4
10332
coq
turing-complete
programming-languages
functional-programming
Are makefiles Turing complete?
Jay_1891
0
•
asked Aug 13, 2010
52
2
9705
turing-complete
makefile
What are practical guidelines for evaluating a language's "Turing Completeness"?
AShelly_10396
0
•
asked Jan 15, 2009
49
13
12139
computer-science
turing-complete
language-design
Why can Conway’s Game of Life be classified as a universal machine?
Ziggy_29182
0
•
asked Dec 27, 2008
66
5
23702
computability
turing-complete
turing-machines
theory
Practical non-Turing-complete languages?
nobody_658
0
•
asked Nov 24, 2008
55
8
18185
halting-problem
finite-automata
turing-complete
regex
C++ templates Turing-complete?
Federico_Ramponi_18770
0
•
asked Oct 9, 2008
131
15
44056
template-meta-programming
turing-complete
templates
c++
What is Turing Complete?
david_198
0
•
asked Aug 10, 2008
663
14
270414
turing-complete
turing-machines
theory
Prev
Prev
1
2
(current)
Hot Questions