Если мы пройдём из начального состояния t0 по любому пути до какого-либо терминального состояния, и выпишем при этом метки всех пройденных дуг, то получится строка, которая обязана быть одним из суффиксов строки s.
... а терминальные состояния — отмечать звёздочкой.
...
Для строки s = "ab":
Взаимоисключающие параграфы, или я неправильно понял статью? На иллюстрации состояние из t0 через 'a' показано терминальным, но строка "a" не является суффиксом строки "ab".