>p).
Функция f переводит множество КЭВ из Ω>m (E) в Ω (B), характеризующаяся временем Д (t>p) и значением ОЭВ в КЭВ – П>p на временной оси Д (t).
Определим график функции f из Ω>m (E) в Ω (B) как множество КЭВ в виде
где Def (f) – область определения функции f содержится в Ω>m (E).
Теорема
Пусть n > 1 и f есть некоторая функция из Ω>m (E) в Ω(B). Функция f вычислима в том и только в том случае, когда множество Graf (f) перечислимо.
Предположим, что функция f вычислима. Построим график функции f (Д (t>p)) в виде
На рис. 3.1 показан график функции
Пусть f (Д (t)) в виде (3.4) есть вычислительная процедура для f.
При условии Д (t) < Д (ti) на временной оси мы имеем схему получения элементов КЭВ из Ω>m (E) в Ω (B) в виде Graf (f) = f (Д (t), 0), т. е. условие выборки не выполняется и выборки нет. Функция f просматривает КЭВ из множества Ω>m (E) и, так как значение ее равно нулю, то она просто просматривает КЭВ один за другим без записи в Ω(B).
При условии Д (t) = Д (t>p) на временной оси мы имеем схему получения элементов КЭВ из Ω>m (E) в Ω (B) виде Graf (f) = f (Д (tN), 0) при Д (t) = Д (t>p) и при Д (t>p) ≠ П>p. Функция f равна 0, записи из Ω>m (E) в Ω (B) не происходит. Так как КЭВ между Д (ti) и Д (ti + 30) множество, то условие записи при просмотре КЭВ на временной оси сохраняется до выполнения данного условия.
Рис. 3.1
На рис. 3.1 Д (t); t = 1, 2, 3, …, Т.
При условии Д (t) = Д (t>p) на временной оси мы имеем схему получения элементов КЭВ из Ω>m (E) в Ω (B) в виде Graf (f) = f (Д (tN), 1) при Д (t) = Д (t>p) и при Д (t>p) = П>p. Функция f становится равной 1 и это есть условие записи КЭВ из Ω>m (E) в Ω (B) и является элементом Graf (f). Так как КЭВ между Д (ti) и Д (ti + 30) множество, то условие записи при просмотре КЭВ на временной оси сохраняется до выполнения данного условия, т. е. будут получены все элементы Graf (f).
При условии Д (t) > Д (ti + 30) на временной оси мы имеем схему получения элементов КЭВ из Ω>m (E) в Ω (B) в виде Graf (f) = f (Д (t), 0) при Д (tN) > Д (ti + 1). Функция f, при значении, равном нулю, просматривает КЭВ из множества Ω>m (E) до конца выборки без записи.
Таким образом, каждый элемент множества Graf (f) будет получен, что доказывает вычислимость функции f.
Справедливо и обратное.
3.9. Понятие вычислимости и перечислимости функции преобразования f из Ω>m(E) в Ω(B) для внутренних квантов экономического взаимодействия
Структуры внешних (КЭВ), внутренних ВКЭВ и квантов деяний индивидуумов (КДИ) отличаются друг от друга. Следовательно, на одну ленту МТ записывать их не следует. Сложность одновременной записи различных структур экономической информации, на один машинный носитель информации, сложность алгоритмов реализации запросов к экономической базе данных, сопровождения прикладного программного обеспечения требует более простого решения. Возможно, что рассматриваемые КЭВ, ВКЭВ, КДИ следует записывать отдельно на каждую ленту МТ или на отдельные носители экономической информации.