40 Jahre Informatik in München - Fakultät für Informatik - TUM

von Vorführungen vorbereitet, die einen Querschnitt durch
die Tätigkeiten des Instituts darstellen.
Diese Mitteilung soll Ihnen einen kurzen Überblick über die
Vorführungen geben, so daß Sie eine Ihren Interessen entsprechende
Auswahl treffen können. Da die Räume des Instituts
in verschiedenen Gebäuden liegen, geben wir Ihnen mit
dem beiliegenden Lageplan die Möglichkeit, sich darüber zu
informieren, in welchem dieser Gebäude die von Ihnen ausgewählten
Vorführungen stattfinden. Jede Vorführung ist mit
einem Kennzeichen versehen, das sich auf den gelb beschrifteten
blauen Schildern wiederfindet und Ihnen den Weg zu den
einzelnen Vorführungen weist.
Die Mitarbeiter, die die Vorbereitungen getroffen haben,
stehen Ihnen gern zu Auskünften zur Verfügung. Ausführliche
Beschreibungen liegen an den entsprechenden Stellen für Sie
bereit.
SPEICHERMODUL Der Speichermodul erlaubt Standardisierung
der Datenhaltung durch eine Beschreibungssprache für Speicherorganisation.
Er vermittelt dadurch zwischen dem Programmierer
und dem Rechenautomaten.
MARKOV Das Program MARKOV führt Markovalgorithmen aus, welche
interaktiv spezifiziert werden können.
REL Das Program REL berechnet arithmetische Prädikate in den
Unbestimmten x und y für die Werte 1 ≤ x, y ≤ n (n ∈N Parameter)
und stellt sie graphisch dar. REL diente als Testprogramm
bei der Implementierung des L0-Übersetzers.
CIPL-SYNTAXPRÜFUNG Vorgeführt wird die syntaktische Prüfung
einiger CIPL-Beispielprogramme.
SAC-1 (Symbolic and Algebraic Calculation System 1) ist ein
Paket von Unterprogrammen zum Rechnen mit arithmetischen
Ausdrücken. Vorgeführt werden die arithmetischen Grundoperationen
(+, -, ×, /) auf Polynomen und rationalen Ausdrükken,
wobei anschließend noch überflüssige Unbestimmte aus
dem Ausdruck entfernt werden.
DAS ÜBERSETZERERZEUGENDE SYSTEM Ein Übersetzer überführt
Programme, die in einer benutzerfreundlichen Programmiersprache
abgefaßt sind, in entsprechende Programme, die direkt
vom Rechner ausgeführt werden können.
225