Du befindest dich hier: FSI Informatik » user » Thorsten Wißmann (Übersicht)
Dies ist eine alte Version des Dokuments!
Theorem of the month: L regul[äa]r ⇒ ∃p∈ℕ: ∀x∈L,|x|≥p: ∃u,v,w∈Σ*,uvw = x: |uv|≤p, v≠ε, ∀i∈ℕ: uvⁱw∈L
Du befindest dich hier: FSI Informatik » user » Thorsten Wißmann (Übersicht)
Dies ist eine alte Version des Dokuments!
Theorem of the month: L regul[äa]r ⇒ ∃p∈ℕ: ∀x∈L,|x|≥p: ∃u,v,w∈Σ*,uvw = x: |uv|≤p, v≠ε, ∀i∈ℕ: uvⁱw∈L