2
Обмежується розміром найменшого NFA для L_k-виразних
Розглянемо мову L k - d i s t i n c t,Lk−distinctL_{k-distinct} що складається з усіх kkk -рядних рядків над ΣΣ\Sigma таким чином, що жодна дві літери не дорівнює: L k - d i s t i n c t : = { w = σ 1 σ 2 …