zython's user avatar
zython's user avatar
zython's user avatar
zython
  • Member for 7 years, 1 month
  • Last seen more than 1 year ago
  • Germany
4 votes
1 answer
227 views

Do Combinational Logic circuits describe a set of languages?

4 votes
3 answers
2k views

PCP undecidability

2 votes
1 answer
85 views

Exponential Space Complexity equality

2 votes
1 answer
308 views

Proving special case of SAT is in P

2 votes
1 answer
517 views

single tape NTM to single tape DTM equivalence

2 votes
1 answer
268 views

Show that function is not turing-computable?

2 votes
1 answer
261 views

What does $|w|$ mean in the statement " $|w|$ where $w \in L \subset \Sigma^*$"?

2 votes
0 answers
50 views

How do I develop a structured work method for theoretical computer science? [closed]

2 votes
2 answers
264 views

What is a "Master-Reduction"?

1 vote
1 answer
1k views

Reducing the infinite language problem to halting problem

1 vote
2 answers
663 views

How to reduce Turing machines that accept a finite language to Turing machines that accept a regular language?

1 vote
1 answer
136 views

Construct a computable function from non-computable funciton

1 vote
1 answer
222 views

Maximum value of LOOP-Program turing-computable

0 votes
1 answer
92 views

Build all valid parenthesis in polynomial time