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