Grundlagen der Zellularautomaten

Donnerstags von 10-12 Uhr im Hörsaal 12 des MZVG

Beginn: 20. April 2006

Die Vorlesung führt in das Gebiet der Zellularautomaten ein. Diese Automaten stellen ein formales berechnungsuniverselles Modell für massiv parallele Architekturen dar. Da der Wunsch nach Geschwindigkeitssteigerung im Vordergrund steht, werden sogenannte Komplexitätsklassen, das sind alle Probleme, die mit einer gewissen Beschränkung von Ressourcen (z.B. Zeit) lösbar sind, eine wesentliche Rolle spielen. Aber es werden durch die Angabe von unlösbaren Problemen auch die Grenzen des Modells aufgezeigt. Darüber hinaus wird die Thematik von Synchronisationsalgorithmen, die bei sequentiellen Rechnern offensichtlich nicht auftritt, behandelt. Weitere Themen betreffen die Realisierbarkeit von Signalen, die Möglichkeit, z.B. Keller und Zähler in Realzeit zu simulieren, und verschiedene Erweiterungen und Modifikationen des Modells.

Skriptum

Voraussetzungen

Literatur