Выпуск Т. 3
Нестеров Л. А. Методы синтеза и анализа дискретных конечных автоматов // Resources and Technology. 2001. Т. 3. С. 66–68.


DOI: 10.15393/j2.art.2001.2279

Методы синтеза и анализа дискретных конечных автоматов

Нестеров Л. А.ПетрГУ, @
Ключевые слова:
автомат
синтез
анализ
конъюнкция
дизъюнкция
Аннотация: Изучение дискретных конечных автоматов, как и других систем автоматики, включает две задачи - синтез и анализ автоматов. Обе задачи являются важными как с теоретической точки зрения, так и с практической.
Просмотров: 1913; Скачиваний: 2369;