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 beschaftigt. In den letzten Jahren ist diese Un terscheidung erneut in den Vordergrund der Forschung geruckt 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 naturlich. Algebraische Linguistik studiert die formalen Eigenschaften naturlicher 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 starker 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 fur 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 eingeschrankt werden kann, dann konnte 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 "mog licher menschlicher Sprachen.""