Изменения

Перейти к: навигация, поиск
Пример языка, удовлетворяющего лемме в общем виде
<tex>L_1 = \{ uvwxy \mid u, y \in \{ 0,1 ,2,3 \}^* \wedge v,w,x \in \{ 0,1,2,3 \} \wedge ( v = w \vee v = x \vee x =w) \}</tex>
<tex>L_2 = \{ w \mid w \in \{ 0,1 ,2,3 \}^* \wedge</tex> примерно <tex>\dfrac{1}{7}</tex> из символов слова <tex>w</tex> является символом <tex>3 \} </tex>
<tex>L = L_1 \cup L_2</tex>
177
правок

Навигация