3622
правки
Изменения
м
→Примеры неразрешимых задач
<li> [[Примеры неразрешимых задач: однозначность грамматики|Однозначность КС-грамматики]] </li>
<li> [[Неразрешимость задачи об эквивалентности КС-грамматик]]</li>
<li> '''взялиfixed''' [[Примеры неразрешимых задач: задача о замощении|Задача о замощении полимино]] (6) </li>
# Оформить правильно англоязычные термины
# Написать более подробное и понятное доказательство
