Основания экономики (Мельников) - страница 49
Машина Тьюринга состоит из операционного исполнительного устройства, которое может находиться в одном из дискретных состояний, принадлежащих некоторой конечной совокупности, читающей и пишущей головки, счетной ленты, лентопротяжного механизма, запоминающего устройства, в которое при определенных условиях осуществляет запись информации с ленты и производство операционных действий с прочитанной информацией с ленты и находящейся в запоминающем устройстве. МТ может находиться в определенных состояниях: протягивание ленты вправо, влево, останов, чтение информации читающей головкой с ленты, анализ информации и принятие решений по состоянию машины, стирание информации в ячейке ленты, запись на ленту. Ячейки ленты пронумерованы, начиная с крайней левой, числами 0, 1, 2, 3, … N. Читающая и пишущая головка находится в каждый данный момент времени над некоторой ячейкой ленты – текущей рабочей ячейкой. С помощью лентопротяжного механизма одна из ячеек, соседняя с рабочей ячейкой может быть помещена под читающей и пишущей головкой; в таком случае мы будем говорить, что рабочая ячейка сдвинулась на одну ячейку вправо или влево [65].
Машина Тьюринга работает с алфавитом, конечное непустое множество символов, называемые буквами алфавита. Конечные последовательности букв из некоторого алфавита А будем называть словами над А. Обозначим рабочим алфавитом А множество КЭВ или последовательность n-членных слов над А, как Ω>n (А). В качестве рабочего алфавита будут рассматриваться кванты экономического взаимодействия по структуре
где N — число КЭВ, образуемых ОЭВ за цикл симметрии производства.
Под E или Ω>n (E) обозначим входной алфавит, который также состоит из квантов экономического взаимодействия той же структуры, но с другими значениями экономических параметров, которые предписаны алгоритмом. Для записи и чтения КЭВ используем структуры справочников: наименования ОЭВ, наименования производимых благ, размерности благ. Под B или Ω (B) обозначим выходной алфавит, как результат применения алгоритма к n-членной последовательности m слов над E. Алфавит B состоит из КЭВ рассмотренной структуры, но с предписанными алгоритмом значениями экономических параметров, которые необходимо получить из входного алфавита. Предписание для выполнения алгоритма или постановка задачи по выбору значений выходного алфавита из входного и рабочего должно быть составлено таким образом, чтобы определенные постановкой задачи операции выполнялись последовательно, однозначно, были воспроизводимы, не требовали информации, отличной от определенной в алфавитах, конечного времени выполнения и конечной памяти. Составление алгоритма МТ ничем не отличается от построения алгоритма на обычной вычислительной машине.