Network profile

Jay Jay

Reputation

59

59
53
47

Jun
Sep
Dec
Mar

Top tag

formal-languages

Next privilege

75 Rep.

Set bounties

Badges

3

Newest

Supporter

Next badge

6/10

Impact

0 posts edited

0 helpful flags

4 votes cast

6 Questions

Votes Activity Newest Views

1

3

votes

2

answers

378

views

Problems while trying to prove that $(r|s)^* = (r^.s^)^*$

formal-languages regular-expressions

Apr 1 '17 at 13:09 David Richerby 78.6k

1

1

vote

2

answers

304

views

There exists an algorithm to find grammar of complement of a function?

formal-languages formal-grammars

Feb 16 '20 at 17:35 Max 325

1

vote

1

answer

124

views

Algorithm for automatic construction of natural deduction proofs

logic first-order-logic propositional-logic natural-deduction

Jun 23 '19 at 0:31 Derek Elkins left SE 11.6k

0

votes

1

answer

32

views

Is it a sufficient condition to be in NP?

complexity-theory np complexity-classes

Sep 27 at 8:48 Steven 13.1k

0

votes

0

answers

25

views

Question regarding definition of recursive function

programming-languages recursion

Jun 8 at 0:31 Jay Jay 59

0

votes

1

answer

46

views

CFG for $L=\{ \omega \in \{ a,b,c,d \}^* : |\omega|_a = |\omega|_b \}$

formal-languages formal-grammars

Feb 17 '20 at 4:09 Matt Werenski 281

Computer Science Stack Exchange works best with JavaScript enabled