Blog

Patterns Look Different When a Machine Has to Actually Check Them

How regular expressions formally describe patterns, and how DFAs — the simplest possible machines — actually verify them, one character at a time

... 3/16/26 Theory of Computation