Kleene's theorem

Etymology
Named after mathematician Stephen Cole Kleene.

Proper noun

 * 1)  A theorem stating that regular expressions are equivalent to finite-state machines.