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

Статья

Выходные данные не приведены. Вишняков Ю.М. — 4 с.

Введение.
История.
Система переходов.
СП элементарных РВ.
Алгоритм проверки непротиворечивости СРВ.
Проверочная таблица.
Список литературы.

Похожие разделы