acceptingStatesSymbol
P159116
predicate
Indicates that a given symbol is associated with one or more accepting (final) states in an automaton or state-transition system.