Grenzen der Größe der kleinsten NFA für L_k-distinct
Betrachten Sie die Sprache L k - d i s t i n c t,Lk−distinctL_{k-distinct} die aus allen kkk -letter-Zeichenfolgen über Σ bestehtΣ\Sigma , sodass keine zwei Buchstaben gleich sind: L k - d i s t i n c t : = { w = σ 1 σ 2 . . . σ k | ∀ i ∈ [ k ] : σ i ∈ & Sgr; und ∀ j ≠ i : σ j ≠ σ i...