Изменения

Перейти к: навигация, поиск

Разрешимые (рекурсивные) языки

1 байт убрано, 02:15, 10 января 2015
→‎Примеры неразрешимых множества
<tex>u(\langle p, x \rangle) = \begin{cases}
1, \ \langle p, x \rangle \in U \\
0, \ \langle p, x \rangle \notin U.
\end{cases}
</tex>
Анонимный участник
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/43890»

Навигация