Прикладна теорія цифрових автоматів