A systolic design for acceptors of regular languages

In this paper we present a derivation method for networks of systolic cells. The method is calculational and can be applied for specifications that are data-independent, i.e. the order of communications does not depend on the values communicated. The techniques used in this style of parallel programming are comparable with techniques used in sequential programming. The presentation is done by means of an example: the derivation of a set of building blocks for the construction of acceptors for regular languages