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