2
Giới hạn về kích thước của NFA nhỏ nhất cho L_k-differ
Hãy xem xét ngôn ngữ Lk−distinctLk−distinctL_{k-distinct} bao gồm tất cả các chuỗi kkk -letter trên ΣΣ\Sigma sao cho không có hai chữ cái nào bằng nhau: Lk−distinct:={w=σ1σ2...σk∣∀i∈[k]:σi∈Σ and ∀j≠i:σj≠σi}Lk−distinct:={w=σ1σ2...σk∣∀i∈[k]:σi∈Σ and ∀j≠i:σj≠σi} L_{k-distinct} :=\{w = \sigma_1\sigma_2...\sigma_k \mid \forall i\in[k]: \sigma_i\in\Sigma ~\text{ and }~ \forall j\ne i: \sigma_j\ne\sigma_i \} Ngôn ngữ này …