In der traditionellen Sprachwissenschaft machte man eine wichtige Unterscheidung zwischen "besonderer Grammatik" und "universaler Gram­ matik", wobei sich die erste mit den idiosynkratischen Eigenschaften spezifischer Sprachen, die zweite mit den allgemeinen Merkmalen jeder menschlichen Sprache beschäftigt. In den letzten Jahren ist diese Un­ terscheidung erneut in den Vordergrund der Forschung gerückt worden, und dieses erneute Interesse fiel mit dem Beginn ernsthafter Forschung auf einem Gebiet der mathematischen Linguistik zusammen, das man manch­ mal "algebraische Linguistik" nennt, um es von statistischen Sprach­ untersuchungen und vom Studium probilistischer Performanzmodelle zu unterscheiden. Das Zusammenfallen dieser Entwicklungen ist in mancher Hinsicht ganz natürlich. Algebraische Linguistik studiert die formalen Eigenschaften natürlicher Sprache, indem sie von spezifischen Realisie­ rungen in einzelnen Sprachen abstrahiert. So definiert ist sie von der universalen Grammatik gar nicht zu unterscheiden, obwohl es in der Pra­ xis eine Arbeitsteilung zwischen den stärker empirisch orientierten Studien der universalen Grammatik und den streng mathematischen Studien der von der linguistischen Forschung vorgeschlagenen formalen Struktu­ ren gegeben hat. Die Existenz dieser Teilung ist einerseits ein Zeichen für den unausgereiften Stand der Forschung auf diesem Gebiet, anderer­ seits eine Widerspiegelung der differierenden Motivationen und Inter­ essen der einzelnen Forscher. Wenn die Teilung inhaltlich eingeschränkt werden kann, dann könnte eine echte Theorie der mathematischen Lingui­ stik entstehen, die rein abstrakt die Klasse der von den Prinzipien der universalen Grammatik definierten Systeme untersucht - die Klasse "mög­ licher menschlicherSprachen".