Zaslat SMS: Regular decision processes