автоматный граф
Смотреть что такое "автоматный граф" в других словарях:
Switch-технология — технология разработки систем логического управления на базе конечных автоматов, охватывающая процесс спецификации, проектирования, реализации, отладки, верификации, документирования и сопровождения. Предложена А. А. Шалыто в 1991 году [1].… … Википедия
Синтаксическая диаграмма — Синтаксическая диаграмма это направленный граф с одним входным ребром и одним выходным ребром и помеченными вершинами. Синтаксическая диаграмма задаёт язык. Цепочка пометок при вершинах на любом пути от входного ребра к выходному это… … Википедия
Теорема Клини — Главный тезис Теоремы Клини: «Классы регулярных множеств и автоматных языков совпадают». Доказательство теоремы Клини Любой граф переходов конечного автомата всегда можно представить в нормализованной форме, в которой только одна начальная… … Википедия