2017 | OriginalPaper | Buchkapitel
Formale Sprachen und Compiler
verfasst von : Heinrich Müller, Frank Weichert
Erschienen in: Vorkurs Informatik
Verlag: Springer Fachmedien Wiesbaden
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
In diesem Kapitel wird ein erster Eindruck von der inneren Arbeitsweise von Compilern gegeben und führt in die Gegebenheiten der Überführung von Programmen höherer Programmiersprachen in Maschinensprache ein. Ein wesentliches Hilfsmittel bei der Entwicklung von Compilern ist die Theorie der formalen Sprachen. In dem Zusammenhang werden die Grammatiken nach Chomsky erklärt, welche die Struktur einer Sprache beschreiben und nachfolgend wird zur Klasse formaler Sprachen nach Chomsky übergeleitet. Im Hinblick auf die ebenfalls bedeutsame Syntaxanalyse des Zielsprachenprogramms durch den Compiler wird das Konzept der Automaten erklärt. Diese sind im Prinzip Gegenstücke der Grammatiken. Neben einer allgemeinen Übersicht zum Konzept werden spezifische Automaten, die endlichen Automaten, genauer erklärt. Zudem gibt das Kapitel eine Einführung in die Semantik, die Aussagen in einer Sprache zuordnet und sich mit der inhaltlichen Bedeutung von Aussagen in einer Sprache befasst.