Deakstadieđáhus: Regular decision processes