Теорія автоматів розглядає питання пов’язані з прикладними аспектами теорії цифрових автоматів: аналіз та синтез комбінаційних схем, схем з пам’яттю, методи синтезу керуючих цифрових автоматів.