Eine Sprache zur Simulation von Mosaikautomaten

Zusammenfassung

Ein Hauptproblem bei der Entwicklung paralleler Algorithmen ist das ihres Austestens. Bei einigermaßen umfangreichen Überführungsfunktionen ist ein überprüfen „von Hand“ nicht realisierbar, so daß man naheliegenderweise Computer zu Hilfe nimmt. Das Erstellen eines entsprechenden Programmes zur Simulation eines solchen Algorithmus ist bei Verwendung einer hinreichend komfortablen problemorientierten Sprache nicht schwierig, jedoch ist bekanntermaßen ein größeres Programm -zumindest, wenn es trickreich gestaltet ist- schon für die Kollegen des Programmierers schwer zu durchschauen. Andererseits stellt natürlich dieses Programm eine exakte Beschreibung für den parallelen Algorithmus dar, so daß an einer „Normalformdarstellung“ Interesse bestehen wird. In einem gewissen Maße wird durch spezielle Sprachen zur Simulation von Polyautomaten etwas derartiges geleistet.