Formale Sprachen sind aber als beliebige Untermengen beliebiger solcher *-Sprachen definiert, so dass in einer speziellen Sprache die Verkettung zweier Worte zwar immer noch erklärt/erklärbar ist, jedoch zu keinem Wort derselben Sprache führt.