Deakstadieđáhus: Прикладна теорія цифрових автоматів