Просмотр исходного текста страницы Обсуждение:Примеры неразрешимых задач: задача о выводе в полусистеме Туэ

: {{tick}} англоязычные термины
: {{tick}} нормальные русские и английские источники
: {{tick}} мне кажется, здесь должен быть значок <tex>\vdash</tex>, а не <tex>\vDash</tex>
: {{tick}} "Система команд" щито?
: {{tick}} "В исчислении S(T)" — что такое S(T)?
: {{tick}} "за конечное число тактов.(1)" ?? что за 1
: {{tick}} "правильновычисляющую", "унивирсальный", "распознования"
: {{tick}} S(U) какой-то. Короче, здесь надо вее внимательно вычитать, осознать и написать нормально заново. --[[Участник:Dgerasimov|Дмитрий Герасимов]] 13:22, 9 декабря 2012 (GST)

Такая штука еще называется '''ассоциативным исчислением''', а еще задачу можно сформулировать как проверку равенства слов в полугруппе с заданными образующими соотношениями. А еще можно доказать неразрешимость для двустороннего варианта. --[[Участник:Roman Kolganov|Roman Kolganov]] 20:33, 14 января 2014 (GST)