Выдержка из книги
Труды М.К.
Идентификация систем и задачи управления
Пусть поведение синхронного устройства задано STG - ( State Transition Graph) описанием. В STG - описании предполагается, что символы входного и выходного алфавитов соответствующего синхронного автомата уже закодированы, а символы состояний еще нет.