In this article Koenig introduces the theoretical development and implimentation of his programs PR1, PR1X, PR1XXM and PR2 used to assist the formalisation of the act of composition. The programs' intention and applicability are described and supported by way of examples.

Koenig erläutert in diesem Artikel die theoretische Entwicklung und Umsetzung des Programms PR1 zur Formalisierung kompositorischer Akte, sowie der Folgeversionen PR1X, PR1XM und PR2. Intention und konkrete Anwendungsmöglichkeiten des Programms werden dargestellt und an einem Beispiel erläutert.