Wenn eine Fabrik in Mexiko den VW Käfer Kabriolett herstellt, so bedeutet das nicht, daß sie davon genau ein Exemplar herstellt, sondern daß sie einen bestimmten Typ von Auto herstellt, wovon es viele gleichartige Exemplare gibt. Ein Typ (engl. type) ist der gemeinsame Nenner einer Menge von Objekten, die ihn instantiieren. Diese Objekte heißen Vorkommen oder Exemplare (engl. token) des Typs.

Der vorangehende Absatz enthält von dem Typ herstellt drei Tokens.

Die Unterscheidung von Typ und Vorkommen ist insbesondere bei statistischen Untersuchungen relevant. Angenommen, man interessiert sich für die durchschnittliche Komplexität deutscher Adverbien, gemessen als Anzahl von Morphemen, aus denen sie zusammengesetzt sind. Eine solche Untersuchung kann man auf zwei Weisen durchführen:

Die beiden Untersuchungen haben ein verschiedenes Ergebnis (die Komplexität ist im letzteren Falle erheblich höher.) Beide haben ihren Sinn: In der Sprache sind Tokens Einheiten von Texten, Types sind Einheiten des Systems.