Skip to main content
Lightsong's user avatar
Lightsong's user avatar
Lightsong's user avatar
Lightsong
  • Member for 4 years
  • Last seen more than 1 year ago
  • Spain
3 votes
2 answers
477 views

Context free grammar for $L = \{w \text{ | }w \in \{a,b\}^*, |w|_a=|w|_b-1\}$

2 votes
4 answers
197 views

If $L$ is regular then $L^{|2|}=\{w_1w_2 \mid w_1,w_2\in L, |w_1|=|w_2|\}$ is context-free

1 vote
1 answer
53 views

Finding a grammar for $L=\{a^nb^mc^rd^s| n+m<r+s\}$

1 vote
1 answer
64 views

Using closure properties, prove that $L=\{a^kb^ra^m|k,r,m\ge0 \text{ and } m=k+r\}$ is not regular

1 vote
1 answer
65 views

Trying to find two CFGs for the following languages

1 vote
1 answer
152 views

Some questions regarding methods for solving pushdown automata problems

1 vote
1 answer
57 views

Test whether words of less a's than b's or c's but not at the same time is context-free

1 vote
0 answers
67 views

Combine Las Vegas and Montecarlo probabilistic algorithms to improve chance of finding correct answer

1 vote
2 answers
197 views

Finding a grammar for $L = \{ 0^x1^y0^z1^w | x+w=y+z\}$

0 votes
1 answer
78 views

Some questions regarding decidability and semi-decidability of $A/B = \{ w \text{ | }\exists z \in B, wz \in A\}$

0 votes
1 answer
2k views

Understanding the union of an undecidable language with a finite or decidable language

0 votes
1 answer
106 views

Interesting Speedup & Amdahl's law problem