Redirecting from /2011/10/24/myhill-nerode-theorem-in-practice/ to https://radek.io/posts/myhill-nerode-theorem-in-practice/