Изменения

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

Производящие функции:Тикеты

11 байт добавлено, 22:19, 9 марта 2019
Примеры неразрешимых задач
<li> [[Примеры неразрешимых задач: проблема соответствий Поста |Проблема соответствий Поста]] </li>
<li> [[Примеры неразрешимых задач: однозначность грамматики|Однозначность КС-грамматики]] </li>
<li> взяли [[Неразрешимость задачи об эквивалентности КС-грамматик]] 0.5</li>
# поправить тех
# добавить см также

Навигация