Equivalence and reduction of 2-D systems

Three definitions of equivalence in two-dimensional (2-D) systems theory are considered and certain connections between them made. The computational based definition suffers from the deficiency that it has the smallest equivalence classes, which therefore may not be sufficiently wide to contain reduced system forms. Despite this, the reduction to a first-order form of singular Roesser type is shown to be possible with this equivalence.