Изменения

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

Примеры неразрешимых задач: задача о выводе в полусистеме Туэ

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>.

333

правки

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/35845»