Основания экономики (Мельников) - страница 72

является рабочим параметром выборки за указанное время Д (t_>p).

Время Д (t_>p) является ограничением по выборке КЭВ: признаком начала выборки и останова МТ. Временной осью считаем последовательность КЭВ, записанных на ленте МТ последовательно с известным адресом ячейки. Если время на временной оси Д (t) ЭС > Д (t_>p), то выборка прекращается. Если время на временной оси Д (t) ЭС < Д (t_>p), то осуществляется поиск первого КЭВ в ЭС, с которого начинается выборка при условии Д (t) ЭС = Д (t_>p), что обозначает равенство времени рабочего запроса Д (t_>p) с текущим временем обработки Д (t) ЭС экономической системы. Текущие КЭВ располагаются на ленте МТ последовательно во времени по мере совершения экономических отношений между ОЭВ. Из операционных свойств КЭВ в результате реализации выборки получим результат в виде

Выражение (5.2) показывает суммарное производство и распределение благ ОЭВ П_>р наименованием Name (П_>p) в количестве

по ОЭВ П_>i по цене за единицу . Мы получаем строку для заданного П_>р по объему произведенных благ и распределение его по ОЭВ П_>i за выбранный цикл симметрии производства.

Выходная форма запроса показана в табл. 5.1.

Стоимость продаваемых благ разным ОЭВ может быть различная.

Данная строка выборки (запроса) аналогична строке в балансовых таблицах В. В. Леонтьева «затраты – выпуск». Отличие заключается в том, что В. В. Леонтьев вычислял данную таблицу по данным статистических комитетов вручную. Рассматриваемая экономическая система сама формирует результирующую строку выпуска благ реализации и показывает распределение объемов выпуска по объектам приобретения. Несмотря на то, что число ОЭВ равно N, данный вид запроса определяется как один запрос за Д (t).

С помощью МТ (справедливо для любой вычислительной машины) покажем алгоритмически, что множество КЭВ в ЭС возможно реализовать (провести выборку с помощью запроса) за конечное время обработки любой из вышерассмотренных запросов к ЭС и, следовательно, множество КЭВ в ЭС перечислимо. В литературе доказано [65], что перечислимость и вычислимость, проведенные на МТ, взаимосвязаны.

Каждый структурированный запрос к ЭС или к бесконечной ленте понимается как выделение из ЭС определенного множества экономической информации, равной запрашиваемой, операционные действия с экономической информации и в зависимости от текущего состояния на ленте переход к следующему состояния МТ: останов, сдвиг ленты вправо, влево, чтение следующего КЭВ, запись на ленту. Все множество КЭВ на бесконечной ленте обозначим рабочим алфавитом {