Seol mar théacs é seo: Прикладна теорія цифрових автоматів