Redirecting from /2011/10/24/myhill-nerode-theorem-in-practice/ to /posts/myhill-nerode-theorem-in-practice/