Function ADS::strongFailure

Function Documentation

inline std::vector<long> ADS::strongFailure(std::string_view P)

the strong failure function: G[ q ] = F[ q ] unless P[ F[ q ] ] = P[ q ], in which case G[ q ] = G[ F[ q ] ]; G[ m ] = F[ m ]

Post:

G[ q ] <= F[ q ]