31 Regular expressions library [re]

31.2 Definitions [re.def]

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

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