turing-complete

19 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Fixpoint of type exponentiation as a language
user_45406580
•
2
0
90
turing-complete haskell types
Can any additional axiom make Coq Turing complete?
user_35844990
•
3
1
177
type-theory totality coq termination turing-complete
Would x86 still be fully programmable if it didn't have the Sign Flag (SF)?
user_42997660
•
2
3
85
masm turing-complete x86 assembly cpu-architecture
Is pure Prolog Turing-complete, and if so, why can't it implement list intersection?
user_19371970
•
4
3
959
logical-purity logic-programming prolog turing-complete turing-machines
Why is mov turing complete?
user_80259360
•
24
2
9153
mov computer-science turing-complete x86 assembly
Is libra VM (Move) a turing complete language?
user_12296240
•
5
3
567
libra blockchain smartcontracts turing-complete
Can a Turing complete language ever have a CFG?
user_103595960
•
4
1
841
turing-complete turing-machines context-free-grammar grammar parsing
If a computer can be Turing complete with one instruction what is the purpose of having many instructions?
user_56990630
•
3
2
928
instruction-set turing-complete
Proof of Turing Completeness for a stack-based language
user_48106390
•
3
3
1291
turing-complete stack programming-languages
Is C# 4.0 compile-time turing complete?
user_1233710
•
8
1
2146
computation-theory turing-complete c#-4.0
Hot Questions