Network profile

Stephen

Reputation

217

217
207
197

2018
2019
2020
2021

Top tag

formal-languages

Next privilege

250 Rep.

View close votes

Badges

2

7

Newest

Yearling

Next badge

0/1

Impact

0 posts edited

0 helpful flags

6 votes cast

4 Questions

Votes Activity Newest Views

1

6

votes

2

answers

6k

views

How to show that L=(L)*?

formal-languages

Mar 1 '20 at 14:10 vonbrand 12.5k

1

2

votes

1

answer

2k

views

Is the intersection of two context free languages recursively enumerable?

formal-languages computability context-free

Apr 21 '13 at 14:01 Raphael♦ 69.2k

1

vote

1

answer

880

views

How can I show a linear languages are closed against concatenating with regular ones?

formal-languages context-free closure-properties check-my-proof

Apr 4 '13 at 10:55 Hendrik Jan 24.7k

1

2

votes

1

answer

183

views

Have I got the right understanding of the mu operator?

terminology computability mu-calculus

Apr 16 '13 at 0:59 Yuval Filmus 246k

Computer Science Stack Exchange works best with JavaScript enabled