Абстрактный синтез цифровых автоматов

Рассмотрен абстрактный синтез цифровых автоматов и основные вопросы, связанные с этой темой: начальные и автоматные языки описания цифровых автоматов, основные операции над цифровыми автоматами. Приведены основные методы абстрактного синтеза цифровых автоматов. По основным методам приведены примеры решения задач.