Library

NFA · Regular

Keyword search: cat | car | cab

Accepts any string that contains cat, car, or cab. The Σ self-loops let the NFA start a match at every position simultaneously — multi-pattern text search as an automaton.

scanccahitΣcat, r, bΣ
The machine as drawn — 4 states, 7 transitions.

The author’s examples, run

cat → acceptcart → accepttacab → acceptcrab → rejectacta → reject