User hps13 - Computer Science Stack Exchange

hps13

Member for 4 years, 8 months
Last seen more than 4 years ago

Network profile

13 Questions

Score Activity Newest Views

1 vote

1 answer

2k views

Turing machine algorithms for $\{0^n1^n\}$ using one and two tapes

asked Apr 6, 2019 at 11:31

0 votes

2 answers

2k views

The barbers paradox first order logic formalization

asked Apr 29, 2019 at 21:37

2 votes

1 answer

1k views

Do regular languages belong to Space(1)?

asked Apr 22, 2019 at 12:12

1 vote

2 answers

595 views

Is the language {<p,n> | p and n are natural numbers and there's no prime number in [p,p+n]} belongs to NP class?

asked Apr 7, 2019 at 11:21

1 vote

1 answer

558 views

is it possible to reduce $HALT_{TM}$ to $E_{TM}$?

asked Mar 31, 2019 at 14:40

0 votes

0 answers

322 views

Proving language K is undecidable using the diagonalization method

asked Mar 31, 2019 at 13:54

0 votes

1 answer

253 views

Finding a mapping reduction from $A_{TM}$ to $\overline{CF_{TM}}$

asked Apr 7, 2019 at 17:54

0 votes

0 answers

234 views

utilization of bitmap protocol

asked Apr 21, 2019 at 13:54

2 votes

1 answer

169 views

is it always true that the depth of BFS is $\leq$ DFS?

asked Jul 10, 2019 at 7:50

1 vote

1 answer

95 views

how can this function be computed in polynomial time in regards to its input?

asked May 6, 2019 at 9:55

0 votes

0 answers

58 views

finding the overhead and distance of an unknown code based on message making algorithm

asked Mar 31, 2019 at 13:04

0 votes

0 answers

40 views

Is the proof for the undecidability of $A_{TM}$ still valid if we change certain parts?

asked Apr 6, 2019 at 21:43

0 votes

0 answers

33 views

is this given language in class P? [duplicate]

asked Apr 18, 2019 at 6:53