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

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

Answers (13)

Votes Activity Newest

6	If neither $L_1$ nor $L_2$ are context free then is $L_1 \cup L_2$ also not a context free language?
4	Show that the pumping lemmas for context-free and regular languages are equivalent for unary languages
3	Is this variant of ATM decidable?
3	The language of TMs accepting some word starting with 101
2	How do I use induction to show that the language of a grammar is contained in a given set?

View more →

Reputation (586)

+40	Language with $\log\log n$ space complexity?
+10	Multiple production rules for expressions of the same type?
+10	Prove that the equal-length concatenation of regular languages is context free
+10	Show whether the language with almost as many 0 as 1 in every prefix is regular

View more →

Question (1)

Votes Activity Newest

6	Language with $\log\log n$ space complexity?

Tags (17)

17 formal-languages × 8	4 computability × 2
13 regular-languages × 5	3 automata
13 context-free × 4	3 complexity-theory
5 formal-grammars × 3	3 turing-machines
5 pumping-lemma × 2	3 undecidability

View more →

Accounts (4)

	Stack Overflow	1,087 rep	1 gold badge10 silver badges16 bronze badges
	Computer Science	586 rep	2 silver badges10 bronze badges
	Signal Processing	143 rep	4 bronze badges
	Mathematics	101 rep	2 bronze badges

Badges (11)

Recent Class Name

Caucus	Critic
Yearling × 2	Scholar
Autobiographer	Student
Explainer	Editor
Commentator	Teacher

View more →

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast (3)

all time			by type
0	up		2	question
3	down		1	answer

Computer Science Stack Exchange works best with JavaScript enabled