Рис. 23.2 - Пример ГСА Рис. 23.3 – Фрагмент ГСА с возвратной
условной вершиной
ГСА должна удовлетворять следующим условиям корректности:
1. Входы и выходы вершины соединяются друг с другом с помощью дуг, направленных всегда от выхода к входу.
2. Каждый выход соединён только с одним входом.
3. Любой вход соединяется, по крайней мере, с одним выходом.
4. Любя вершина графа лежит, по крайней мере, на одном пути из начальной вершины к конечной вершине.
5. Один из выходов условной вершины может соединяться с её входом, что недопустимо для операторной вершины. Такие условные вершины будем называть возвратными условными вершинами (рис 23.3).
6. В каждой условной вершине записывается один из элементов множества логических условий X={X1,X2, … XL }, разрешается в различных условных вершинах запись одинаковых элементов множество Х.
7. В каждой опорной вершине записывается оператор (микрокоманда) Yt Yt={yt1, …,ytut}, ytn є Y; u=1,…,ut – множество множества Y. Разрешается в различные операторные вершины записывать одинаковые элементы. При ut=0; Yt=ø , что допустимо. В этом случае операторная вершина соответствует пустому оператору.
Выполнение ГСА начинается всегда от начальной вершины Yо и заканчивается в конечной вершине Yk, конкретный путь через вершины определяется значениями логических условий.
Например, если Х1=0; Х2=1, операторы Y0, Y1, Y3, Y4, Yк будут выполняться один за другим. Если Х1=0; Х2=0; Х3=0, последовательность выполнения операторов будет Y0, Y2, Y4, Yк.
Если Х1=0, после оператора Y0, оператор Y1 будет выполняться до тех пор, пока сигнал Х1 не изменит свое значение с помощью возвратных вершин, реализуется режим ожидания. С помощью возвратных вершин, реализуется режим ожидания.
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.