) на Д (
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) и т. д.
Выбор конкретных П>j и П>i для записи на ленту машины МТ1 осуществлялся оператором машины Тьюринга из справочников. Запись из МТ1 данных ОЭВ в МТ2 будет автоматическая. Все остальные экономические параметры КЭВ также автоматически копируются на ленту МТ2. Можно было бы сформированный файл в виде структуры (2.50) на электронном устройстве и сразу же передать по ЭК в ФЭБД. Однако, в этом случае не сохраниться протокола сформированного файла на ленте МТ1.
Периферийными МТ1 будут являться все МТ1, расположенные в географических местах М экономических отношений и формирования при них КЭВ.
Запись на МТ1 и передача КЭВ осуществляется непрерывно и одновременно и тем самым мы создаем возможность охватить все экономические взаимодействия во всех географических точках