3.3. Алгоритм записи внешней экономической информации с периферийной машины МТ1 на федеральную машину МТ2
Задача записи ЭИ на бумажную ленту МТ аналогична записи ее на реальной вычислительной машине и состоит из трех задач:
● Формирование КЭИ на бумажную ленту машины Тьюринга (МТ1) в реальном времени непосредственно в географической точке М по структуре (2.50).
● Передача полученного КЭИ по электронным коммуникациям в ФЭБД.
● Репликация полученного КЭИ на бумажную ленту МТ2 в ФЭБД.
Входные алфавиты в виде структур КЭИ будут одновременно формироваться в момент времени Д (t) в различных географических точках М и одновременно передаваться по ЭК, что обеспечивает условия занесения всего множества экономических отношений в ФЭБД. Рабочий алфавит А включает алфавиты ЕМ и ВМ. Входными алфавитами ЕМ будут являться структуры единичных КЭВ, справочники SPR = {spr (ПN), spr (Name (ПN)), spr (Razm)}, формируемые в М географических местах и передаваемые по каналам ЭК в ФЭБД.
Алгоритм записи единичного КЭИ из МТ1 в ФЭБД МТ2 задается предписанием ПР2, входным алфавитом ЕМ в виде структуры единичного КЭВ с датой Д (t + 1): zi = П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) и т. д.