13 514
правок
Изменения
→Алгоритмическая неразрешимость проблемы эквивалентности слов в ассоциативных исчислениях
==== Алгоритмическая неразрешимость проблемы эквивалентности слов в ассоциативных исчислениях ====
* Берётся из {{Файл:Скачать|Мальцев - Алгоритмы и рекурсивные функции.djvu}}, стр. 254.
* '''Опр.''' ассоциативного исчисления (набор замен); эквивалентные слова.
* '''Т.''' (Пост, Марков) {{exists}} ассоциативное исчисление с алгоритмически неразрешимой проблемой эквивалентности слов.
