Network profile

Stephen

Reputation

217

217
202
187

2017
2018
2019
2020

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

2

6

votes

2

answers

4k

views

How to show that L=(L)*?

formal-languages

Mar 1 at 14:10 vonbrand 11.1k

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♦ 67.4k

1

vote

1

answer

783

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

1

2

votes

1

answer

181

views

Have I got the right understanding of the mu operator?

terminology computability mu-calculus

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

Computer Science Stack Exchange works best with JavaScript enabled