142
правки
Изменения
Нет описания правки
: {{tick}} "правильновычисляющую", "унивирсальный", "распознования"
: {{tick}} S(U) какой-то. Короче, здесь надо вее внимательно вычитать, осознать и написать нормально заново. --[[Участник:Dgerasimov|Дмитрий Герасимов]] 13:22, 9 декабря 2012 (GST)
Такая штука еще называется '''ассоциативным исчислением''', а еще задачу можно сформулировать как проверку равенства слов в полугруппе с заданными образующими соотношениями. А еще можно доказать неразрешимость для двустороннего варианта. --[[Участник:Roman Kolganov|Roman Kolganov]] 20:33, 14 января 2014 (GST)
