2
L_k-distinctの最小NFAのサイズの限界
2つの文字が等しくないように、上のすべての文字の文字列で構成される言語考えます。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 ∈ Σ と ∀ J ≠ I :σ J ≠ σ I } Lk−distinct:={w=σ1σ2...σk∣∀i∈[k]:σi∈Σ and …