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