Myhill–Nerode theorem

Necessary and sufficient condition for a formal language to be regular

From Wikipedia, licensed CC BY-SA 4.0.