Страницы, ссылающиеся на «Неразрешимость задачи об эквивалентности КС-грамматик»
Следующие страницы ссылаются на «Неразрешимость задачи об эквивалентности КС-грамматик»:
Просмотреть (предыдущие 50 | следующие 50) (20 | 50 | 100 | 250 | 500)- Примеры неразрешимых задач: проблема соответствий Поста (← ссылки)
- Участник:Warrior (← ссылки)
- Участник:Shersh/Тикеты к 5ому терму (← ссылки)
- Игра «Жизнь» (← ссылки)
- Неразрешимость игры Braid (← ссылки)
- Неразрешимость проблемы существования решения диофантова уравнения в целых числах (← ссылки)
- Теория вычислимости (← ссылки)
- Теория вычислимости:Тикеты (← ссылки)
- Производящие функции:Тикеты (← ссылки)