Вычислительные машины позволяют моделировать организацию работ со структурами экономической информацией всей экономической системы, понять технологию образования экономической информации, возможное ее искажение и возможность ее восстановления, используя свойства самой экономической системы.
С помощью функций, вычислимых по Тьюрингу, докажем вычислимость и перечислимость множества КЭВ в ЭС, а также перечислимость и вычислимость существующих запросов к ЭС.
Доказательство перечислимости КЭВ, находящихся на временной оси, может служить доказательством вычислимости ЭС. С помощью машины Тьюринга (МТ) покажем алгоритм записи КЭВ на ленту машины за цикл симметрии производства. Алгоритмически опишем реализацию некоторых запросов к экономической базе данных, построенных на внешних квантах экономических взаимодействий, для абстрактной вычислительной машины.
Под управлением экономикой понимается возможность вычисления всех экономических запросов к экономической базе данных, построенных на квантах экономического взаимодействия, для потребностей самой экономики в автоматизированной форме.
В экономике применение вычислительных машин позволяет определить конечность операций по обработке экономической информации за цикл симметрии производства. Данное доказательство имеет прикладной характер, что необходимо формировать экономическую базу данных в реальном времени и пространстве, передавать КЭИ по электронным коммуникациям, обрабатывать ее с получением рекомендации на следующий цикл симметрии производства. Вычислительные машины позволяют сформулировать экономическую постановку любой экономической задачи в конкретных экономических структурах, что превращает экономику в науку. Постановки экономических задач на качественном уровне не определяют метода решения задач, а приводимые решения не выдерживают научной строгости и критики.
3.1. Автоматизированная запись квантов экономической информации на ленту МТ во времени и пространстве ее образования
В современной экономике необходимо рассматривать автоматизированное формирование экономической информации (ЭИ) или квантов экономического взаимодействия между ОЭВ, автоматизированную передачу ЭИ по электронным коммуникациям (ЭК) в федеральную базу данных (ФБД), автоматизированную запись (репликацию) ЭИ или КЭВ в ФБД, автоматизированное выполнение запросов к ФБД потребителей ЭИ.
Моделирование приводимых ниже экономических задач мы будем проводить с помощью МТ для доказательства вычислимости экономических запросов, формируемых из квантов экономического взаимодействия за определенный цикл времени.