Network profile

Antonio Frighetto

Reputation

47

47

Feb
May
Aug
Nov

Top tag

turing-machines

Next privilege

50 Rep.

Comment everywhere

Badges

4

Newest

Supporter

Next badge

3/5

Impact

0 posts edited

0 helpful flags

1 vote cast

3 Questions

Votes Activity Newest Views

2

votes

1

answer

185

views

How to prove prove $L(G) = \{~w\in\{a,b\}^*~|~\#_aw= \#_bw\}$ for my CFG $G$?

context-free formal-grammars

Oct 26 '18 at 15:18 Kai 362

1

vote

1

answer

139

views

Space and time complexity of $L = \{a^nb^{n^2} \mid n≥1\}$

complexity-theory turing-machines

Jan 15 '19 at 16:28 Yuval Filmus 237k

1

vote

1

answer

232

views

Trying to prove semidecidability of an undecidable language

turing-machines computability rice-theorem

Dec 1 '18 at 2:53 Yuval Filmus 237k

Computer Science Stack Exchange works best with JavaScript enabled