Was sind "Formale Sprachen"

[Angel4585]

Hallo!

Ich mache momentan meinen Brückenkurs Mathematik als Vorbereitung für mein Studiumin Angewandter Informatik. Jetzt hab ich mir mal den Vorlesungsplan angeschaut,und da gibts ein Fach(heisst das noch Fach?) "Formale Sprachen".
Was muss ich mir darunter vorstellen? Den Wikieintrag versteh ich nicht wirklich.

[JasonDX]

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

[Angel4585]

Heute der erste Kurs in formalen Sprachen.. und naja.. ich weis jetzt was wir da so machen, könnts aber niemandem erklären.