Sprachklasse

Unter einer Sprachklasse versteht man in Linguistik und Informatik eine Menge von Sprachen, die über einem gegebenen Alphabet gebildet werden können. Eine Sprache ist dabei eine Menge von Worten über diesem Alphabet, und ein Alphabet ist eine endliche Menge von Zeichen oder Symbolen.

Sprachklassen können durch die Angabe formaler Grammatiken, durch Automaten oder durch Anwendung von Operationen auf (bereits bekannten) Sprachklassen definiert werden.

Bekannte Sprachklassen sind:

• die Menge der rekursiven Sprachen
• die Menge der rekursiv aufzählbaren Sprachen
• die Menge der kontextsensitiven Sprachen
• die Menge der kontextfreien Sprachen
• die Menge der regulären Sprachen.

Siehe auch: Chomsky-Hierarchie.