imported>Trustable: Kapitelreihenfolge

2017-06-12T20:24:27Z

Kapitelreihenfolge

Neue Seite

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 (normalerweise endliche) Menge von Zeichen oder Symbolen.

Der amerikanische Publizist und Sprachtheoretiker [[Noam Chomsky]] hat die von intelligenten Wesen erkennbaren oder klassifizierbaren Sprachen in vier abstrakte Klassen aufgeteilt und damit die formalen Grundlagen für die theoretische Informatik gelegt und einen wesentlichen Beitrag zur mathematischen Logik geleistet. Grundlage der Klassifizierung von Sprachen ist ein Ersetzungs- und ein Korrespondenzprinzip, welches abgestuft zu den Klassen CH(0) bis CH(3) führt. Diese formalen Sprachklassen umfassen die [[mathematische Logik]], mathematische [[Algebra]] und alle weiteren von Menschen erdachten Kalküle.

Sprachklassen können durch die Angabe [[formale Grammatik|formaler Grammatiken]], durch [[Automat (Informatik)|Automaten]] oder durch Anwendung von Operationen auf (bereits bekannten) Sprachklassen definiert werden. Sie haben ihr Pendant in den [[Automatenmodell]]en, ähnlich wie sich Software zu Hardware verhält.

Bekannte Sprachklassen sind:
* 3 - die Menge der [[Reguläre Sprache|regulären Sprachen]].
* 2 - die Menge der [[Kontextfreie Sprache|kontextfreien Sprachen]]
* 1 - die Menge der [[Kontextsensitive Grammatik|kontextsensitiven Sprachen]]
* 0 - die Menge der [[Rekursiv aufzählbare Sprache|rekursiv aufzählbaren Sprachen]]
*   -  die Menge aller Sprachen

== Siehe auch ==
* [[Chomsky-Hierarchie]]

== Literatur ==
* Werner Ebinger: ''Charakterisierung von Sprachklassen unendlicher Spuren durch Logiken''. Diss., Universität Stuttgart, 1994.

[[Kategorie:Compilerbau]]
[[Kategorie:Theoretische Linguistik]]

Sprachklasse - Versionsgeschichte

imported>Trustable: Kapitelreihenfolge