Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| statnice:bakalar:b4b01jag [2025/06/09 12:51] – [Regulární jazyky] tehlajak | statnice:bakalar:b4b01jag [2025/06/09 18:56] (current) – [Regulární jazyky] tehlajak | ||
|---|---|---|---|
| Line 99: | Line 99: | ||
| **Lemma o vkládání (Pumping lemma):**\\ | **Lemma o vkládání (Pumping lemma):**\\ | ||
| - | Pro každý regulární jazyk $L$ existuje číslo $n$, takže pro každé slovo $w \in L$ s $|w| > n$ lze rozdělit na $w = xwy$, kde:\\ | + | Pro každý regulární jazyk $L$ existuje číslo $n$, takže pro každé slovo $u \in L$ s $|u| > n$ lze rozdělit na $u = xwy$, kde:\\ |
| - $|xw| \leq n$,\\ | - $|xw| \leq n$,\\ | ||
| - $w \neq \varepsilon$, | - $w \neq \varepsilon$, | ||