Недетерминизм

Cтраница 1

Недетерминизм естественным путем проявляется при исследовании и анализе алгоритмов, а также при задании классов алгоритмов. [1]

Недетерминизм может быть устранен за счет наложения порядка выбора целей. В любом случае все результаты, найденные недетерминированно, могут быть обнаружены с помощью исчерпывающего упорядоченного поиска. [2]

Понятие недетерминизма играет важную роль в определении вычислительной сложности алгоритмов ( С. Тьюринга способна завершить за приемлемое время такие расчеты, которые не могут быть реализованы столь же быстро никакой детерминированной машиной Тьюринга. [3]

Итак, недетерминизм вычислительного процесса означает, что любой паре, состоящей из входного и выходного сообщений, может соответствовать более одной истории выполнения программы. Недетерминизм процессов обуславливает различные последовательности формирования компонентов сообщения. Тем самым обеспечивается динамический механизм порождения процессов по готовности входных данных, а число процессов, связанное с выполнением конкретной программы, в общем случае не ограничивается. Основные вопросы, которые при этом возникают, заключаются в следующем. [4]

Итак, внутренний недетерминизм однозначных процессов ( см. определения 2.2 и 2.3) может не нарушать свойства непрерывности процессов, в отличие от недетерминизма внешнего. Внешний недетерминизм проявляется в том, что последовательность выходных сообщений не определяется однозначно последовательностью входных сообщений. Иными словами, процессы вычислений не являются однозначными. Применительно к сетям процессов Кана [113, 123], например, внешний недетерминизм означает, что истории внутренних и выходных каналов сети не полностью определяются историями входных каналов. [5]

Благодаря силе недетерминизма принадлежность данной задачи классу ( № 3 обычно доказывается легко. Примеры 10.3 и 10.4 служат типичными иллюстрациями этого шага. Трудности вызывает доказательство того, что всякая задача из fS полиномиально трансформируема в данную задачу. [6]

Основной цикл работы. системы, управляемой образцами. В этом примере база данных согласуется с пусковыми образцами модулей 1, 3 и 4. для выполнения выбран модуль 3. [7]

В Прологе этот недетерминизм реализован при помощи механизма возвратов. [8]

Рассмотрим положительные стороны недетерминизма. [9]

Пример иерархии наследования типов данных. [10]

Поясним связь проблем недетерминизма и блокировки вычислений на следующих примерах. Дуги а, 6, с, d соответствуют передаче токенов. [11]

Это демонстрирует силу недетерминизма, ибо все подмножества из k узлов проверяются параллельно независимыми экземплярами распознающего устройства. [12]

С одной стороны, поддержка недетерминизма является ценным свойством моделей вычислений и систем программирования. [13]

Сети Петри позволяют моделировать асинхрон-ность и недетерминизм параллельных независимых событий, параллелизм конвейерного типа, конфликтные взаимодействия между процессами. [14]

Рассмотрим вопрос о соотношении между детерминизмом и недетерминизмом в классе конечных автоматов. [15]

Страницы: 1 2 3 4