Ograniczenia wielkości najmniejszego NFA dla L_k-odrębne
Rozważmy język składający się ze wszystkich ciągów -lettera nad tak aby żadne dwie litery nie były równe:L k - d i s t i n c tLk−distinctL_{k-distinct} k kkΣΣ\Sigma L k - d i s t i n c t : = { w = σ 1 σ 2 . . . σ k ∣ ∀ i ∈ [ k ] : σ i ∈ Σ and ∀ j ≠ i : σ j ≠ σ i...