Изменения
Перейти к:
навигация
,
поиск
← Предыдущая правка
Следующая правка →
Примеры неразрешимых задач: задача о выводе в полусистеме Туэ
33 байта добавлено
,
14:15, 18 января 2014
Нет описания правки
<tex>q_nt \rightarrow q_n </tex>
<tex>q_n \rangle \rightarrow w \rangle </tex>
, где <tex> w \notin T </tex>
<tex> tw \rightarrow w </tex> для <tex> \forall t \in T</tex>.
Gr1n
333
правки
Навигация
Персональные инструменты
Вы не представились системе
Обсуждение
Вклад
Создать учётную запись
Войти
Пространства имён
Статья
Обсуждение
Варианты
Просмотры
Читать
Править
История
Ещё
Поиск
Навигация
Заглавная страница
Свежие правки
Случайная статья
Справка
Инструменты
Спецстраницы
Версия для печати