Redirecting to Myhill–Nerode theorem