Eine Sprache ist im Endeffekt nur eine Menge von Wörtern (d.h. eine Zusammensetzung aus Elementen eines Alphabets), und kann bspw. durch einen Automaten o.ä. beschrieben werden. Sie sind u.a. ein Schlüsselelement der theoretischen Informatik & Logik.
[Add]
Um etwas genauer auf den wahrscheinlichen Inhalt der Vorlesung einzugehen: In der Veranstaltung wirst du wahrscheinlich die wichtigsten Methoden kennenlernen, wie man solche Sprachen beschreibt und klassifiziert. Bspw. Endliche Automaten, kontextfreie und evt. -sensitive Grammatiken, Turingmaschinen ect. Wozu das ganze? Zum einen definitiv um uninteressierte Studenten zu quälen *g* Zum anderen können so Probleme (Zu normaldeutsch: Aufgabenstellungen für eine Berechnungsmaschine, bspw. deinen Rechner) klassifiziert, und Relationen zu unterschiedlichen Klassen beschrieben werden. Das kann recht interessant werden, da man bspw. auch mit unlösbaren Problemen in Kontakt kommt (bspw. das berühmtberüchtigte Halteproblem, PCP, Busy Beaver, etc.).
Insgesamt wird die LV einfach nur ein Einstieg in die theoretische Informatik sein - also pure fun
[/Add]
greetz
Mike