Parallele Registermaschinen

Überblick

In den ersten drei Kapiteln haben wir uns mit Modellen beschäftigt, die eine wichtige Gemeinsamkeit haben. Jedes von ihnen kann die beiden anderen zumindest so effizient simulieren, daß der zusätzliche Zeitbedarf bei der Erkennung einer formalen Sprache polynomial beschränkt werden kann und der zusätzliche Platzbedarf sogar linear.

Das werden wir für die parallelen Registermaschinen (kurz Pram) in diesem Kapitel nicht beweisen können. Die Modelle, die genauer betrachtet werden, unterscheiden sich zwar in manchen Details, gemeinsam ist ihnen aber, daß sie aus beliebig („potentiell unendlich“) vielen sequentiellen Registermaschinen aufgebaut sind. Im ersten Abschnitt wird daher zunächst deren Aufbau und Arbeitsweise beschrieben.

Im zweiten und dritten Abschnitt sind dann die sogenannten Crew-Prams bzw. Nlprams Gegenstand der Untersuchungen. Sie unterscheiden sich in drei Punkten voneinander: Das eine Modell ist deterministisch, das andere nicht; die Kommunikation zwischen den Prozessoren ist unterschiedlich gelöst, und die zur Verfügung stehenden „Maschinenbefehle“sind unterschiedlich mächtig. Das führt dann auch zu unterschiedlichen Ergebnissen.