Cтраница 4
Второй способ представления вероятностей перехода состоит в построении диаграммы перехода, пример которой для системы с тремя состояниями приведен на рис. 4 - 9, а. Диаграмма переходов представляет собой граф, вершины которого соответствуют состояниям системы, а направленные дуги указывают возможные переходы от одного состояния к другому. Вероятности переходов отмечаются числами, приписываемыми каждой дуге. В соответствии с условием ( 4 - 106) сумма вероятностей для дуг, выходящих из любой вершины графа, должна равняться единице. [46]
Джекоб [11.17, 11.18] описывает полезность языков визуального программирования для представления абстрактных вычислительных процессов, которые не имеют непосредственного графического представления. В его подходе диаграмма перехода состояний используется как язык визуального программирования для построения и спецификации интерфейса пользователя. Описание диаграммы состояний простого настольного калькулятора иллюстрируется рис. 11.6, а. [47]
Расширенные сети переходов устроены следующим образом. Имеется конечный набор диаграмм переходов. Состояниями этих диаграмм являются вершины, соответствующие вспомогательным символам формальной грамматики, а дуги помечены как терминальными, так и нетерминальными символами. Кроме того, дуги помечены условиями, определяющими переход по данной дуге, и множеством действий по построению структуры, которые реализуются при осуществлении перехода по рассматриваемой дуге. Если дуга помечена нетерминальным символом, то это интерпретируется как обращение к диаграмме с таким начальным состоянием. При этом состояние исходной диаграммы, в которую шла анализируемая дуга, запоминается в магазине. Такая конструкция позволяет осуществлять рекурсивные процедуры. Другими словами, ATN для представления грамматики используют по существу диаграммы переходов. В расширенной сети переходов введены именуемые регистры ( переменных) со стековой структурой и достаточно представительный набор действий, позволяющий проверять, изменять, удалять и объединять их содержимое. Порядком и моментами выполнения действий управляет теперь сам программист, что обеспечивает поддержку режима смешанной обработки. [48]
Процесс изменений внутренних состояний автомата можно легко понять из рассмотрения рис. 4.8, на котором изображена диаграмма переходов автомата при двух возможных значениях входной переменной. Автомат с такой диаграммой переходов называется автоматом с линейной тактикой поведения. Заметим, что автомат с линейной тактикой может иметь и более двух действий. [49]
Вершины отождествляются с состояниями автомата. Такое изображение автомата называется диаграммой переходов. [50]
Для нее характерно то, что дуги отмечаются только терминальными символами. На рис. 5.5 показана такая диаграмма переходов. [51]
К этому случаю более подходит диаграмма переходов рис. 3.7. Состояние 1 соответствует функционированию при частичном отказе, а состояние 3 ликвидации частичного отказа. [52]
Поведенческие модели описывают процессы обработки информации. В инструментальных CASE-системах их представляют в виде граф-схем, диаграмм перехода состояний, таблиц решений, псевдокодов ( языков спецификаций), процедурных языков программирования, в том числе языков четвертого поколения. [53]
Рекурсивная сеть переходов ( в дальнейшем просто рекурсивная сеть) - это ориентированный граф с помеченными состояниями и дугами, выделенным состоянием, которое называется начальным, и выделенным множеством состояний, которые называются заключительными. Она имеет по существу такой же вид, как и диаграмма переходов конечного недетерминированного автомата, с тем исключением, что символы при дугах могут быть как терминальными, так и именами состояний. Пустота магазина, обнаруженная при попытке поднять его содержимое в тот момент, когда обработан последний входной символ, есть критерий допустимости входной цепочки. Имена состояний, которые в этой модели могут встречаться на дугах, - это по существу имена конструкций, которые могут быть обнаружены как самостоятельные группы ( phrase) на входной ленте. Переход по дуге, помеченной именем состояния, может произойти, если конструкция указанного типа опознана как группа в соответствующем месте входной цепочки. [54]
Для ввода каждого типа знаний разработан специальный графический интерфейс, учитывающий то, как принято фиксировать соответствующие знания. Так, например, для записи схемы лечения онкологи используют диаграммы переходов с условиями на дугах. В системе OPAL ввод таких знаний осуществляется с помощью графического языка программирования. Схема лечения создается как программа на этом языке. [55]
В диаграммах перехода состояний узлы соответствуют состояниям моделируемой системы, дуги - переходам из состояния в состояние, атрибуты дуг - условиям перехода и инициируемым при их выполнении действиям. Очевидно, что, как и в других конечно-автоматных моделях, кроме графической формы представления диаграмм перехода состояний можно использовать также табличные формы. Так, при изоморфном представлении с помощью таблиц перехода состояний каждому переходу соответствует строка таблицы, в которой указываются исходное состояние, условие перехода, инициируемое при этом действие и новое состояние после перехода. [56]
Возможность снижения порядка уравнения была чисто эмпирически отмечена в [ Цетлин, 1961 ] при оценивании автомата с линейной тактикой. Однако лемма 2.2 позволяет получать упрощения на регулярной основе, работая вполне определенным образом с диаграммой переходов. [57]