3 Terms and definitions [intro.defs]

3.22[defns.regex.finite.state.machine]finite state machine

⟨regular expression⟩ unspecified data structure that is used to represent a regular expression, and which permits efficient matches against the regular expression to be obtained