SMS: Regular decision processes