In prior sections: action sets det automata