Cтраница 5
После выполнения описанного апализа процессор строит граф переходов протокольных автоматов, проверяя при этом связанность графа, отсутствие переходов из терминальных ( конечных) состояний и наличие циклов. В противном случае выдается предупреждающее сообщение. Хотя цикл сам по себе в последнем случае не является ошибкой, он может привести к ошибочному глобальному циклу в распределенной системе. Особенно тщательно необходимо проанализировать циклы, состоящие только из интерфейсных и таймерных событий. [61]
Способ представления машинных программ с помощью графов переходов обладает тем преимуществом, что если только начальное состояние каким-либо способом указано ( например, если оно будет изображаться самой левой вершиной, за исключением случая, когда оговорено противное), то можно отказаться от использования названий состояний: не имеет значения, как вы их назовете. Показать, как такая машина работает, можно с помощью последовательности ее конфигураций. Каждая конфигурация показывает, что записано на ленте во время выполнения некоторого шага вычисления, а также в котором из состояний находится машина на этом шаге и какая клетка при этом ею считывается. [62]
Указанные правила устанавливают взаимно-однозначное соответствие между графом переходов и таблицей переходов для одного и того же автомата. Поэтому, зная одно представление, можно получить другое. [63]