Thompson's construction

Also known as McNaughton-Yamada-Thompson. This is the canonical page; those names redirect here.

Pairings in the atlas

standalonecanonRegex to NFA automata-languages

Rivals: other methods for the same problems

Where it sits

automata-languages · Formal Languages & Compilers