myhill nerode relation