Deakstadieđáhus: Logic and automata