(1) een gestuurde acyclische grafiek vertegenwoordigen de achtervoegsels van een gegeven string waarin elke rand wordt aangeduid met een karakter. De tekens langs een pad vanaf de hoofdmap naar een knooppunt zijn de subtekenreeks die het knooppunt vertegenwoordigt. (2) een eindige toestandsmachine die door een aantal woorden wordt herkend.