Обсуждение:Примеры неразрешимых задач: задача о выводе в полусистеме Туэ — различия между версиями
(Новая страница: «: {{tick}} англоязычные термины : {{tick}} нормальные русские и английские источники : {{tick}} мне к...») |
|||
| Строка 7: | Строка 7: | ||
: {{tick}} "правильновычисляющую", "унивирсальный", "распознования" | : {{tick}} "правильновычисляющую", "унивирсальный", "распознования" | ||
: {{tick}} S(U) какой-то. Короче, здесь надо вее внимательно вычитать, осознать и написать нормально заново. --[[Участник:Dgerasimov|Дмитрий Герасимов]] 13:22, 9 декабря 2012 (GST) | : {{tick}} S(U) какой-то. Короче, здесь надо вее внимательно вычитать, осознать и написать нормально заново. --[[Участник:Dgerasimov|Дмитрий Герасимов]] 13:22, 9 декабря 2012 (GST) | ||
| + | |||
| + | Такая штука еще называется '''ассоциативным исчислением''', а еще задачу можно сформулировать как проверку равенства слов в полугруппе с заданными образующими соотношениями. А еще можно доказать неразрешимость для двустороннего варианта. --[[Участник:Roman Kolganov|Roman Kolganov]] 20:33, 14 января 2014 (GST) | ||
Текущая версия на 19:33, 14 января 2014
- ☐ англоязычные термины
- ☐ нормальные русские и английские источники
- ☐ мне кажется, здесь должен быть значок , а не
- ☐ "Система команд" щито?
- ☐ "В исчислении S(T)" — что такое S(T)?
- ☐ "за конечное число тактов.(1)" ?? что за 1
- ☐ "правильновычисляющую", "унивирсальный", "распознования"
- ☐ S(U) какой-то. Короче, здесь надо вее внимательно вычитать, осознать и написать нормально заново. --Дмитрий Герасимов 13:22, 9 декабря 2012 (GST)
Такая штука еще называется ассоциативным исчислением, а еще задачу можно сформулировать как проверку равенства слов в полугруппе с заданными образующими соотношениями. А еще можно доказать неразрешимость для двустороннего варианта. --Roman Kolganov 20:33, 14 января 2014 (GST)
