Основания экономики полностью

Алгоритм записи КЭВ определим конечным предписанием записи на ленту из множества поступающих КЭВ от географических точек M, которые обозначим алфавитом E по структуре (2.48):

Мощность алфавита E конечна. Во входной алфавит входят справочники, с помощью которых осуществляется запись поступающей экономической информации на ленту МТ в виде

где spr (П_N) – справочник ОЭВ; spr (Name (П_N)) – наименование выпускаемых благ ОЭВ – П_N; spr (Razm) – справочник размерностей благ. Чтение и запись экономической информации осуществляется по данным справочникам, в результате чего экономическая информация понимаема МТ из различных географических мест ее образования и позволяет в автоматизированном виде однозначно формировать запросы и ответы на них из ЭБД.

Алгоритм записи КЭВ на ленту МТ представим в виде

где AL — алгоритм записи КЭВ на ленту МТ; ПР – предписание записи КЭВ на ленту МТ; Е — входной алфавит; В — выходной алфавит; А — рабочий алфавит, содержащий Е и В; n — членная последовательность КЭВ.

На языке машины Тьюринга запишем на ленту единичный квант экономического действия между объектами экономического действия П_j и П_i в виде следующих команд:

Задача записи ЭИ на бумажную ленту МТ аналогична записи ее на реальной вычислительной машине и состоит из трех задач:

● Формирование КЭИ на бумажную ленту машины Тьюринга (МТ1) в реальном времени непосредственно в географической точке М по структуре (2.50).

● Передача полученного КЭИ по электронным коммуникациям в ФЭБД.

● Репликация полученного КЭИ на бумажную ленту МТ2 в ФЭБД.

Входные алфавиты в виде структур КЭИ будут одновременно формироваться в момент времени Д (t) в различных географических точках М и одновременно передаваться по ЭК, что обеспечивает условия занесения всего множества экономических отношений в ФЭБД. Рабочий алфавит А включает алфавиты Е_М и В_М. Входными алфавитами Е_М будут являться структуры единичных КЭВ, справочники SPR = {spr (П_N), spr (Name (П_N)), spr (Razm)}, формируемые в М географических местах и передаваемые по каналам ЭК в ФЭБД.

Алгоритм записи единичного КЭИ из МТ1 в ФЭБД МТ2 задается предписанием ПР2, входным алфавитом Е_М в виде структуры единичного КЭВ с датой Д (t + 1): z_i = П_i, П_j, Д (t + 1) {Name (П_i), W(П_j, П_i), S(П_j, П_i)} справочников в виде SPR = {spr (П_i), spr (Name (П_i)), spr (Razm)}, выходным файлом В_М в виде П_i, П_j, Д (t — 1) {Name (П_j), W(П_j, П_i), S(П_j, П_i)}; П_i, П_j, Д (t) {Name (П_j), W(П_j, П_i), S(П_j, П_i)}… – рабочим алфавитом А, содержащим входной и выходной алфавит.

Алгоритм записи КЭВ на ленту МТ2 представим в виде

Формируемые КЭВ поступают в ЭС в ФЭБД и в режиме реального времени и реплицируются в структуру экономической базы данных (ЭБД). КЭВ поступают в ЭБД непрерывно из всех географических точек М. С 24 часов КЭВ начинают поступать за следующие сутки, о чем свидетельствует изменение в (2.48) значения Д (t) на Д (t + 1).

Рассмотрим технологию автоматизированной записи в ЭБД на примере записи на бесконечную ленту МТ. При записи структуры ЭИ на бесконечную ленту МТ в виде (2.48) возникают две проблемы:

Запись КЭВ по структуре (2.48) до нуля часов с датой Д (t) и запись после нуля часов с датой Д (t + 1) при условии, что не будет поступлений КЭВ с датой Д (t).

Запись КЭВ по структуре (2.48) до нуля часов с датой Д (t) и в нуль часов автоматизированная запись КЭВ с датой Д (t + 1) после последней записи Д (t) при условии, что поступления с датой Д (t) возможны в момент наступления даты Д (t + 1).

Второй случай, как более сложный, не будем рассматривать. Технически данная трудность преодолима. Во втором случае МТ должна обнаружить записи с Д (t) после записи с Д (t + 1) и провести перезапись КЭВ, согласно календарным датам.

Рассмотреть алгоритм записи КЭВ на МТ необходимо для дальнейшего доказательства перечислимости экономических операций, а, следовательно, и вычислимости множества различных запросов к ЭБД, которые мы проведем на машине Тьюринга для функций, вычислимых по Тьюрингу. Тем самым мы докажем разрешимость всех экономических запросов к экономической базе данных, что необходимо при построении экономической системы. После окончания формирования КЭВ на ленте и останова МТ1 следует передача по электронным каналам связи КЭВ в федеральную базу данных на федеральную машину Тьюринга МТ2. Мы подключаем к первоначальной машине Тьюринга МТ1 федеральную МТ2.

Независимо от содержания рабочей ячейки ленты на МТ2 сдвигаем рабочую головку вправо до пустой ячейки и записываем в нее П_i из справочника spr (П_i) наименование ОЭВ, который покупает блага; сдвигаем рабочую головку вправо и записываем в нее П_j, из справочника spr (П_i), который продает блага из справочника spr (П_i) и т. д.