Myhill Nerode Theorem news and trends