Source: wikibot/myhill-nerode-theorem

= Myhill–Nerode theorem
{wiki=Myhill–Nerode_theorem}