Электронный каталог: Трахтенброт, Борис Авраамович - Конечные автоматы (поведение и синтез)