Проверка непротиворечивости исходных описаний конечных автоматов

Алгоритм проверки непротиворечивости СРВ.Как это видно из построения ПТ СРВ (2) является непротиворечивой.Em) определим дополнительную букву Ym+1. Также введем условие непротиворечивости Ei.Длиной l-пути будем называть число входящих в него l-дуг.Здесь S1, S2, ..., Sm начальные и Z1, Z2, ..., Zm заключительные состояния соответствующих СПп.Вавилов Е.Н., Портной Г.П. Синтез схем электронных цифровых машин.М.: Сов.радио, 1963.Грис Д. Конструирование компиляторов для цифровых вычислительных машин.Вишняков Ю.М. Инструментарий разработчика СБИС.Таганрог: ТРТУ, 1993.