In prior sections: action sets det automata myhill nerode