Deakstadieđáhus: Abstract machines