30 Regular expressions library [re]

30.2 Definitions [re.def]

30.2.2[defns.regex.finite.state.machine]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.