Network profile

Schleudergang

Reputation

27

29
28
27

Jun
Sep
Dec
Mar

Top tag

undecidability

Next privilege

50 Rep.

Comment everywhere

Badges

3

Newest

Supporter

Next badge

0/1

Impact

0 posts edited

0 helpful flags

1 vote cast

5 Questions

Votes Activity Newest Views

2

votes

2

answers

43

views

DPDA for $\{1^ky \mid \text{$y\in \{0,1\}^*$ with $|y|_1 \le k$ and $k \in \mathbb N: k\ge1$}\}$

context-free pushdown-automata

Aug 29 '19 at 13:49 Yuval Filmus 246k

0

votes

1

answer

40

views

Is $L_2:=${$<M>$|$L(M)=\overline{A_TM}$} (un-)decidable?

turing-machines undecidability decision-problem semi-decidability

Jun 27 at 11:20 nir shahar 2,071

0

votes

1

answer

839

views

Why is a subset of a undecidable language decidable?

turing-machines undecidability semi-decidability

Oct 13 '19 at 15:02 Community♦ 1

0

votes

1

answer

822

views

Rice Theorem - Problem to understand and apply it

turing-machines undecidability rice-theorem

Sep 30 '19 at 10:02 Community♦ 1

-1

votes

2

answers

62

views

Proof: is the language $L_1=\{\langle M\rangle\mid\emptyset \subseteq L(M)\}$ (un)-decidable?

undecidability decision-problem

Jul 19 at 14:45 John L. 24.8k

Computer Science Stack Exchange works best with JavaScript enabled