Timeline for Prove $\{a^kb^l: 1\leq k\leq l\}$ is not regular using Myhill-Nerode theorem
Current License: CC BY-SA 4.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 16, 2023 at 10:24 | vote | accept | Νικολέτα Σεβαστού | ||
| Jun 15, 2023 at 19:57 | comment | added | John L. | It looks you did not understand Myhill-Nerode's theorem correctly. To prove $L$ is nonregular, you should find an infinite number of strings such that for any two of them, say $c$ and $d$, there exists a string $z$ such that exactly one of $cz$ and $dz$ is in $L$. In other words, $c$ and $d$ are distinguished by $z$. | |
| Jun 15, 2023 at 19:52 | history | edited | John L. | CC BY-SA 4.0 |
More descriptive title.
|
| Jun 15, 2023 at 19:27 | answer | added | John L. | timeline score: 1 | |
| Jun 15, 2023 at 12:26 | history | edited | Νικολέτα Σεβαστού | CC BY-SA 4.0 |
added 124 characters in body
|
| Jun 15, 2023 at 12:22 | history | edited | Νικολέτα Σεβαστού | CC BY-SA 4.0 |
deleted 147 characters in body
|
| Jun 15, 2023 at 12:21 | history | edited | Νικολέτα Σεβαστού | CC BY-SA 4.0 |
added 15 characters in body
|
| Jun 15, 2023 at 12:20 | history | edited | Νικολέτα Σεβαστού | CC BY-SA 4.0 |
added 132 characters in body
|
| Jun 15, 2023 at 11:56 | history | edited | Νικολέτα Σεβαστού | CC BY-SA 4.0 |
added 3 characters in body
|
| Jun 15, 2023 at 11:12 | history | edited | Νικολέτα Σεβαστού | CC BY-SA 4.0 |
edited body
|
| S Jun 15, 2023 at 11:12 | review | First questions | |||
| Jun 15, 2023 at 19:53 | |||||
| S Jun 15, 2023 at 11:12 | history | asked | Νικολέτα Σεβαστού | CC BY-SA 4.0 |