Myhill-Nerode theorem

A tool to determine if a language is regular.