Timeline for Proof that $L=\{a^ncb^n| n \in \mathbb{N}\}$ is not regular
Current License: CC BY-SA 4.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 2, 2020 at 14:37 | vote | accept | Frank | ||
| S Jul 24, 2020 at 8:10 | history | suggested | plop | CC BY-SA 4.0 |
<= to \leq and some grammar, and a typo in an inequality
|
| Jul 23, 2020 at 22:31 | answer | added | Frank | timeline score: 2 | |
| Jul 23, 2020 at 22:24 | comment | added | Frank | Thx for your time:) | |
| Jul 23, 2020 at 22:04 | comment | added | Hendrik Jan | Illegal proof check here. Seems ok to me. It was only a surprise to read $y=a^{p-k}$. I would expected $y=a^k$ (with $k\le p$), but that is a matter of taste. | |
| Jul 23, 2020 at 21:13 | answer | added | gnasher729 | timeline score: 0 | |
| Jul 23, 2020 at 19:48 | comment | added | prime_hit | It is quite simple: Choose a large enough $n$ such that the pumping string lies in the part which contains only $a$s. Pump down (or up) to get a string which isn’t of the form $a^ncb^n$. | |
| Jul 23, 2020 at 15:55 | comment | added | Yuval Filmus | No reason. It should get closed, or somebody might answer in the comments. | |
| Jul 23, 2020 at 15:38 | comment | added | Frank | Oh okay, I am sorry. Should I delete this question ? | |
| Jul 23, 2020 at 15:35 | comment | added | Yuval Filmus | We typically don't check proofs for correctness. | |
| Jul 23, 2020 at 15:27 | review | Suggested edits | |||
| S Jul 24, 2020 at 8:10 | |||||
| Jul 23, 2020 at 14:59 | history | asked | Frank | CC BY-SA 4.0 |