Myhill–Nerode_theorem loading ...