Обсуждаются вопросы анализа и синтеза автоматных моделей систем управления. В процедурах оценки динамических характеристик автоматов используется специально разработанная логика оценок. Приведены примеры.
Ключевые слова
Теория автоматов, Динамические процессы в автоматах, Логика оценок
