indicate this is a strict Moore machine