В настоящее время я пишу проект, в котором я активно использую ListT монадный преобразователь. При использовании простых списков реализовать недетерминизм очень просто. Однако как только мне пришлось преобразовать мой код в ListT , все стало...

В Википедии говорится, что автоматизация детерминированного состояния «производит уникальные вычисления (или запуск) автомата для каждой входной строки». Я всегда понимал это как единственный возможный путь для вычисления любой уникальной строки....

Я не понимаю концепцию недетерминированной машины Тьюринга . Думаю, я понимаю термин Недетерминированный алгоритм : (недетерминированный алгоритм — это алгоритм, который может демонстрировать различное поведение при разных запусках, в отличие от...

Недавно я перешел с Python 2.7 на Python 3.3, и кажется, что в то время как в Python 2 порядок ключей словаря был произвольным, но последовательным, в Python 3 порядок ключей словаря, полученный, например, с помощью vars() выглядит...

Я только что преодолел горб, пытаясь выяснить, как использовать монаду List для выполнения недетерминированных вычислений. Однако я считаю, что мой алгоритм выиграет от поиска в ширину вместо поиска в глубину, который вы получаете от монады List....

Есть ли способ выполнить недетерминированный рекурсивный вызов в спецификации отношения muZ3? В частности, я хочу перевести функцию, подобную следующей: int foo(int x) { ... if (*) y = foo(y); ... } в формат правила muZ3.

Могу ли я в Mercury объявить лямбду как имеющую тот же детерминизм, что и модус предиката, содержащего лямбду? Вот что я пытаюсь сделать. Я написал функцию fold (ниже), которая работает с типом array2d. fold вызывает предоставленный вызывающей...

Когда код ожидает некоторого условия, в котором время задержки не является детерминированным, похоже, что многие люди предпочитают использовать экспоненциальный откат, то есть подождать N секунд, проверить, удовлетворяется ли условие; если нет,...

Я только начал изучать продолжения Racket/Scheme и нашел полезный ресурс - страница Мэтта Майтса . Я все понял до примера с недетерминированным Amb. Может ли кто-нибудь объяснить мне, как продолжения работают в этом примере? В настоящее время...

Я пытаюсь создать DSL для своего проекта iOS. Для этого я планирую построить Semantic Model в форме State Machine . (Терминология взята из книги Фаулера по DSL). Основная идея: State Machine кодируется как набор states и transitions...