KIT | KIT-Bibliothek | Impressum | Datenschutz

100 Übungsaufgaben zu Grundlagen der Informatik, Bd. I - Kap. 0: Einführung in formale Sprachen und grundlegende Notationen

Schmeck, Hartmut

Abstract:

Der vorliegende Vorlesungszuschnitt beschäftigt sich mit den Grundlagen von abstrakten Modellen für informationsverarbeitende Systeme und Programmiersprachen. Es werden wesentliche formale Notationen eingeführt und es wird verstärkt auf den Begriff des Automaten und der formalen Sprachen eingegangen. Eine formale Sprache lässt sich durch Syntax, Semantik und Pragmatik beschreiben, wobei hier vor allem die Syntax betrachtet wird. Ein formales System zur Beschreibung der Syntax einer Sprache kann erzeugend, analysierend und operationell sein. Es wird der Zusammenhang zwischen Sprachen und Chomsky-Grammatiken beschrieben und die Chomsky-Hierarchie eingeführt.


Zugehörige Institution(en) am KIT KIT-Bibliothek (BIB)
Publikationstyp Audio & Video
Publikationsdatum 04.11.2013
Erstellungsdatum 30.10.2013
Sprache Deutsch
DOI 10.5445/DIVA/2013-748
Identifikator KITopen-ID: 1000111720
Lizenz KITopen-Lizenz
Serie 100 Übungsaufgaben zu Grundlagen der Informatik : Band I: Theoretische Informatik
Folge 19
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page