Profile Activity

Roi Divon

Network profile

Reputation

586

586
561
536

2017
2018
2019
2020

Top tag

formal-languages

Next privilege

1,000 Rep.

See votes, expandable usercard

Badges

2

10

Newest

Caucus

Next badge

0/1

Impact

1 post edited

0 helpful flags

3 votes cast

Summary Answers Questions Tags Badges Favorites Bounties Reputation All actions

13 Answers

Newest Activity Votes

6

If neither $L_1$ nor $L_2$ are context free then is $L_1 \cup L_2$ also not a context free language?

Mar 18 '14 at 21:40

4

Show that the pumping lemmas for context-free and regular languages are equivalent for unary languages

Mar 26 '14 at 17:35

3

Is this variant of ATM decidable?

Sep 29 '14 at 6:24

3

The language of TMs accepting some word starting with 101

Mar 31 '14 at 22:29

2

How do I use induction to show that the language of a grammar is contained in a given set?

Nov 10 '14 at 7:00

2

Multiple production rules for expressions of the same type?

May 21 '14 at 11:50

2

Eliminating Left Recursion

May 14 '14 at 21:01

1

Show whether the language with almost as many 0 as 1 in every prefix is regular

Nov 18 '14 at 8:55

1

Prove that the equal-length concatenation of regular languages is context free

Nov 12 '14 at 15:40

1

Decide whether DFA have useless states

Nov 12 '14 at 15:22

1

Construct grammar given the following language

May 20 '14 at 21:17

1

Pumping lemma on {a^n | n=3^k} — help finishing the proof

Mar 6 '14 at 16:05

0

Visit all vertices on directed graph

May 12 '14 at 18:25

Computer Science Stack Exchange works best with JavaScript enabled