la3-7-myhill-nerode