In prior sections: languages myhill nerode automata 4