Jump to content

Дивергенция (информатика)

В информатике говорят, что вычисление расходится , если оно не завершается или завершается в исключительном состоянии . [1] : 377  В противном случае говорят, что оно сходится . В областях, где ожидается, что вычисления будут бесконечными, например, в исчислении процессов , говорят, что вычисление расходится, если оно не может быть продуктивным (т. е. продолжать производить действие в течение конечного промежутка времени).

Определения

[ редактировать ]

В различных областях информатики используются разные, но математически точные определения того, что означает сходимость или расхождение вычислений.

Переписывание

[ редактировать ]

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

Обозначение t n означает, что t приводит к нормальной форме n за ноль или более сокращений , t ↓ означает, что t приводит к некоторой нормальной форме за ноль или более сокращений, а t ↑ означает, что t не приводит к нормальной форме; последнее невозможно в терминирующей системе переписывания.

В лямбда-исчислении выражение считается расходящимся, если оно не имеет нормальной формы . [3]

Денотационная семантика

[ редактировать ]

В денотационной семантике объектная функция f : A B может быть смоделирована как математическая функция. где ⊥ ( внизу ) указывает, что объектная функция или ее аргумент расходятся.

Теория параллелизма

[ редактировать ]

В расчете последовательных процессов (CSP) дивергенция — это радикальная ситуация, когда процесс выполняет бесконечную серию скрытых действий. Например, рассмотрим следующий процесс, определенный нотацией CSP:

Следы этого процесса определяются как:

Теперь рассмотрим следующий процесс, который скрывает тика событие процесса Clock :

По определению P называется расходящимся процессом.

См. также

[ редактировать ]

Примечания

[ редактировать ]
  1. ^ АВТОМОБИЛЬ Хоара (октябрь 1969 г.). «Аксиоматическая основа компьютерного программирования» (PDF) . Коммуникации АКМ . 12 (10): 576–583. дои : 10.1145/363235.363259 . S2CID   207726175 .
  2. ^ Баадер и Нипков 1998 , с. 9.
  3. ^ Пирс 2002 , с. 65.


Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: d448b3a102b1272c3b35baea689672a9__1683717060
URL1:https://arc.ask3.ru/arc/aa/d4/a9/d448b3a102b1272c3b35baea689672a9.html
Заголовок, (Title) документа по адресу, URL1:
Divergence (computer science) - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)