Describir: Regular decision processes