Изменения

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

Теория вычислимости:Тикеты

158 байт добавлено, 19:38, 4 сентября 2022
м
rollbackEdits.php mass rollback
<li> [[Примеры неразрешимых задач: проблема соответствий Поста |Проблема соответствий Поста]] </li>
<li> [[Примеры неразрешимых задач: однозначность грамматики|Однозначность КС-грамматики]] </li>
<li> [[Неразрешимость задачи об эквивалентности КС-грамматик]]0.5</li># поправить тех# добавить см также# добавить источники информации<li> [[Неразрешимость задачи о проверке на пустоту пересечения двух КС-грамматик|Пустота пересечения КС-грамматик]] 0.5 </li># поправить тех
<li> [[Примеры неразрешимых задач: задача о замощении|Задача о замощении полимино]] </li>
<li> [[Примеры неразрешимых задач: задача о выводе в полусистеме Туэ|Задача о выводе в полусистеме Туэ]] </li>
1632
правки

Навигация