Изменения

Свойства перечислимых языков. Теорема Успенского-Райса

4 байта добавлено, 23:27, 1 декабря 2010

Нет описания правки

Следовательно, <br/> <tex>

US(\langle i, x \rangle ) = p_A(g_{i,x}) = \begin{cases}

p_A(Xp_X) & U(i, x) = 1 \\ p_A(p_\varnothing ) & U(i, x) \neq 1 \\

\end{cases} = \begin{cases}

1 & U(i, x) = 1 \\

Анонимный участник