Das GANIMAM-Laufzeitsystem

Nach dem Starten des GANIMAM (Generierung interaktiver ANIMationen von Abstrakten Maschinen) Laufzeitsystems, haben Sie hier die Möglichkeit einen Maschinentyp zu wählen, welchen Sie jederzeit später wieder ändern können.

Zur Auswahl stehen:

• die P-Maschine (eine Maschine für imperative Sprachen)
  Im Editierfenster lassen sich zudem Pascal-Programme online, mittels des Menüpunktes Translate, direkt in den P-Maschinencode übersetzen, so daß Sie hier eigene Programme austesten können.



• die C-Maschine (eine Maschine für die imperative Sprache C)



• die S-Maschine (eine einfache Kellermaschine)



• die MaMa-Maschine (eine Maschine für funktionale Sprachen)

Einige Demo-Programme der gewählten Maschine lassen sich ausführen, indem Sie "Load Examples" aus dem File-Menü wählen, sobald das Hauptfenster geladen worden ist.

Bitte beachten Sie das Options-Menü, in ihm können Sie verschiedene Einstellungen vornehmen:

• Art der Animation
• Abarbeitungsgeschwindigkeit (besonders für umfangreichere Programme hilfreich)
• Änderung des Oberflächenlayouts

GANIMAM Dokumentation (nur in Englisch)

Das System wurde unter Win95/NT4 mit der jdk-Version 1.1.8 entwickelt und getestet. Zum Ausführen des Applets wird ein vollständig jdk 1.1-kompatibler Browser benötigt. Zur Zeit unterstützt der Netscape Communicator 4.06 (oder höhere Versionen) diese Eigenschaft.

Um in den Genuß aller Funktionen des Systems  (wie Drucken, Speichern/Laden auf/von ihrer lokalen Festplatte) zu kommen, ist es notwendig, daß Sie ein spezielles Zertifikat installieren, um das Applet für den Browser vertrauenswürdig zu machen.

Installiere Zertifikat (nur für Netscape Browser)

Lade Applet