Статья 345

Действия - отношения, такие, что если то.
Такую интерпретацию могут иметь, например, действия, производимые в реальное время, когда каждое исполнение действия уменьшает оставшееся время. Так же могут быть проинтерпретированы действия синтаксического разбора сложной конструкции, каждое из которых, хотя, может быть, и удлиняет конструкцию, в некотором смысле упрощает ее.
Блок-схемы, построенные из таких необратимых действий и из классических формул над пропозициональными буквами не могут зацикливаться. Через конечное число шагов их исполнение заканчивается нормально либо аварийно ввиду неприменимости очередной функции из-за недостатка ресурсов.

отношения

отношения

Имеется корректная и полная система правил логика, позволяющих при помощи некоторой блок-схемы построить доказательство возможности преобразовать на базе заданных функций, преобразующих некоторые
правило условного оператора ПУО,
правило релаксации ПР,
правило зацикливания ПЗ,
правило бесконечного цикла ПБЦ,
правило ошибки ПОШ.