Cтраница 2
Разумеется, в ее активной зоне все элементы кроме крайнего левого или крайнего правого должны иметь одно и то же состояние. Это требование отражает тот факт, что ни один стрелок, за исключением левофлангового или правофлангового, не располагает никаким преимуществом по сравнению с другим. Что же касается шеренги в момент выстрела, то она должна изображаться посредством активной зоны длиной п, в которой все элементы пребывают в одном и том же состоянии. Более того, это общее для них состояние ( состояние выстрела) в предыдущих конфигурациях ни разу не встречается ( не допускается беспорядочная преждевременная стрельба. При ближайшем рассмотрении нашей инструкции оказывается, однако, что она не формализуется в виде неймановой программы. Дело в том, что по смыслу задачи п может быть любым натуральным числом. Но поскольку стрелку приходится запоминать свой номер, то тем самым предполагается, что он способен воспринять в одну секунду ( за один такт) любое число из натурального ряда чисел. Иначе говоря, предполагается, что различных состояний, в которых может пребывать стрелок, - бесконечное множество; нейманов же элемент может пребывать лишь в конечном множестве состояний. Кстати, и реальный стрелок не способен воспринимать в одну секунду ( или в любую другую заранее фиксированную единицу времени) слишком большие числа. Поэтому требование о том, чтобы шеренга стрелков ( при любом п) вела себя как нейманов автомат, достаточно естественно. Переходим к точной формулировке задачи для автоматов Неймана. Нам удобно будет считать, что состояния интересующих нас неймановых элементов являются двухэтажными буквами, подобно тому, как это было при моделировании машины Тьюринга и в других примерах предыдущего параграфа. [16]