Узлы
Узел (connective junction) — это точки соединения переходов в системе. Узел является точкой ветвления на пути перехода.
|
Если переход из узла образует цикл, то из каждого узла цикла всегда должен быть безусловный переход, чтобы избежать ошибки решателя. Например:
|
С помощью узлов и переходов (без состояний) можно построить графы переходов.