Implements get_actions() and T(), the transition function.