Аноним

Управляющий граф: различия между версиями

Материал из WikiGrapp
нет описания правки
Нет описания правки
Строка 6: Строка 6:
и возможных передачах управления между операторами.
и возможных передачах управления между операторами.


В общем случае '''Управляющий граф''' --- это помеченный упорядоченный
В общем случае '''управляющий граф''' --- это помеченный упорядоченный
мультиграф с выделенными ''начальной вершиной'' (''входом'') и непустым множеством ''конечных вершин'' (''выходов'').
мультиграф с выделенными ''начальной вершиной'' (''входом'') и непустым множеством ''конечных вершин'' (''выходов'').


Обычно считается, что '''Управляющий граф'''  является [[Правильный уграф|''правильным'']]
Обычно считается, что '''управляющий граф'''  является [[Правильный уграф|''правильным'']]
и не содержит кратных дуг, вершин с совпадающими пометками и разных конечных вершин, т.е.
и не содержит кратных дуг, вершин с совпадающими пометками и разных конечных вершин, т.е.
'''управляющий граф''' --- это орграф с
'''управляющий граф''' --- это орграф с