User Pavel - Computer Science Stack Exchange

This account is temporarily suspended network-wide. The suspension period ends on Apr 8, 2028 at 14:45.

Pavel

Member for 8 years, 11 months
Last seen more than 5 years ago

Tver, Tver Oblast, Russia

12 Questions

Score Activity Newest Views

10 votes

1 answer

520 views

Is the halting problem decidable for 3 symbol one dimensional cellular automata?

asked Feb 3, 2016 at 16:15

6 votes

2 answers

4k views

What does the set {n | n is an integer and n = n + 1} represent?

asked Nov 24, 2014 at 22:31

3 votes

1 answer

197 views

How many times can you pour milk among 3 buckets?

asked Mar 14, 2016 at 10:04

2 votes

2 answers

143 views

How to prove that $n$ sets have maximum of $2^n-1$ disjoint subsets when you have operations $\cup , \cap , \setminus$?

asked Apr 15, 2016 at 20:33

2 votes

2 answers

921 views

When proving NP-completeness do I only need one instance of a problem or all of them?

asked Dec 22, 2015 at 12:05

1 vote

2 answers

330 views

Why does the proof of undecidability of $A_{TM}$ require the universal TM to take input $\langle M,\langle M\rangle\rangle$?

asked Dec 31, 2015 at 18:19

1 vote

1 answer

643 views

Why is it that the transition function for DPDA's only works for 1 alphabet symbol, and 1 stack symbol?

asked Dec 28, 2014 at 16:01

1 vote

1 answer

73 views

Are there any theorems/formulas that apply to the height of comparison trees?

asked May 9, 2015 at 20:51

1 vote

1 answer

4k views

Is the reverse postorder of a digraph's reverse the same as the postorder of the digraph?

asked Sep 18, 2015 at 9:07

1 vote

1 answer

73 views

Example of a superword w such that v^2 isn't its subword

asked Nov 15, 2014 at 18:15

0 votes

1 answer

867 views

Regular expression for a binary number that includes "10" and has an odd number of 0's

asked Oct 28, 2014 at 12:08

0 votes

2 answers

124 views

what is the best way to approach the construction of nondeterministic PDA's?

asked Dec 23, 2014 at 9:39