"Синтез управляющих автоматов" - читать интересную книгу автора (Лазарев В.Г., Пийль Е.И.)