Timeline for Is complement $L = \{ w : |w|_{a} \equiv |w|_{b} \vee |w|_{c} \equiv |w|_{d} \}$ context-free
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 11, 2019 at 5:51 | comment | added | John L. | It looks like you made a typo since $a^pc^pb^{p+p!}d^{p+p!} \not\in L^C$, which cannot be used to disprove context-freeness. You probably meant $a^pc^pb^{p+p!}d^p$. | |
| Feb 11, 2019 at 4:08 | comment | added | PoliteMan | Exercise 3. L^C = |w|_a != |w|_b ^ |w|_c = |w|_d have i right? We can choose word a^pc^pb^(p+p!)d^(p+p!) ? | |
| Feb 11, 2019 at 3:58 | vote | accept | PoliteMan | ||
| Feb 11, 2019 at 0:54 | history | edited | John L. | CC BY-SA 4.0 |
More content in exercise 1.
|
| Feb 10, 2019 at 5:00 | history | edited | John L. | CC BY-SA 4.0 |
Added three exercises.
|
| Feb 10, 2019 at 4:28 | history | answered | John L. | CC BY-SA 4.0 |