Начальная конфигурация
Cтраница 2
Как только найден терминатор начальной конфигурации ( s0, I, Z0), цель достигнута. [16]
Допустим, что в начальной конфигурации правее десятичной записи числа я имеется v палочек. Оценим число t всех тактов работы машины до появления заключительной конфигурации. [17]
Входное слово допускается, если начальная конфигурация допускающая. [18]
Таким образом, если задана начальная конфигурация машины, состоящая из считанного символа и состояния автомата, то по таблице можно определить, в какую конфигурацию перейдет машина на следующем такте работы. Некоторые состояния можно объявить заключительными и считать, что работа машины заканчивается, как только она попадает в одно из таких состояний. Работа машины Тьюринга в конечном итоге заключается в преобразовании некоторого текста, записанного на ленте, в некоторый другой текст, который остается на ленте после работы машины. Алгоритмы такого преобразования задается таблицей, о которой шла речь выше. Тьюринг предложил алгоритмом называть то, что может быть задано в виде действий описанного выше автомата и высказал тезис о том, что любой алгоритм символьных преобразований, любой вычислительный алгоритм, если он существует, может быть представлен соответствующей машиной. [19]
Выражение С утверждает, что начальная конфигурация машины является корректной. [20]
Полная амплитуда вероятности перехода от данной начальной конфигурации А к данной конечной конфигурации В представляет собой сумму вкладов всевозможных путей Я, соединяющих обе конфигурации. Отдельные амплитуды для всех путей совпадают по абсолютной величине. [21]
Это побуж дает использовать третью интересную начальную конфигурацию, когда половина решетки упорядочена, а половина - разупорядоче-на. [23]
 |
Две серии результатов, полученных методом Монте-Карло для модели с группой симметрии С / ( 1 вблизи критической точки. Решетка б4, 0 1 0. Упорядоченное ( и случайное ( начальные состояния. [24] |
Выше говорилось о двух самых простых начальных конфигурациях, соответствующих нулевой и бесконечной температурам. В случае перехода первого рода такие начальные состояния могут привести к тому, что решетка попадет в метастабильное состояние. Как и в реальном эксперименте, случайная ( упорядоченная) решетка может быть переохлаждена ( перегрета) до температуры существенно ниже ( выше) температуры перехода и при этом не попасть в течение разумного времени в правильную фазу. [25]
Прежде чем применить нормальный алгоритм к начальной конфигурации в алфавите X, следует перед ней записать букву начального состояния. Так как на каждом шаге в конфигурации будет только одна буква из алфавита S, порядок подстановок в схеме алгоритма произвольный. На каждом шаге обработка слова нормальным алгоритмом совпадает с преобразованием машины Тьюринга. [26]
Будучи запущенной в состоянии 1 в стандартной начальной конфигурации, эта машина ( перемещаясь по циклу из состояний 1 и 2) стирает первый блок единиц и переходит в состояние 3, считывая при этом вторую клетку справа от первого блока. Бели она видит там пустой символ, то понимает, что стерла на ленте все, а потому печатает одну единицу и останавливается в состоянии 4 в стандартной заключительной конфигурации. Бели же она обнаруживает там 1, то вновь попадает в цикл из состояний 1 и 2, уничтожает второй блок единиц и, снова перейдя в состояние 3, выясняет, опустела уже лента или на ней сохранились блоки, с которыми машине еще предстоит разбираться. [27]
После задания в системе Windows NT начальной конфигурации подсистемы OS / 2 допускается ее изменение. [28]
Иначе говоря, принятый нами способ кодирования начальной конфигурации не дает явных преимуществ автомату Неймана по сравнению с машиной Тьюринга, обозревающей пер вую букву слова. Однако автомат Неймана может проявлять свои преимущества уже в процессе работы, действуя как неограниченно разрастающаяся система машин Тьюринга с общей памятью. Резюмируя сказанное, подчеркнем, что в нетривиальных ситуациях имеет место неравенство t ( P) J P, которое и будет использовано нами в подходящий момент. [29]
При вычислении методом Монте-Карло сначала необходимо задать начальную конфигурацию полевых переменных, хранимых в памяти компьютера. [30]
Страницы: 1 2 3 4