Profile Activity

Antonio Frighetto

Network profile

Reputation

47

47

May
Aug
Nov
Feb

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

Summary Answers Questions Tags Badges Favorites Bounties Reputation All actions

3 Questions

Views Newest Activity Votes

2

votes

1

answer

160

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 358

1

vote

1

answer

95

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 217k

1

vote

1

answer

171

views

Trying to prove semidecidability of an undecidable language

turing-machines computability rice-theorem

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

Computer Science Stack Exchange works best with JavaScript enabled