Several characterizations of finite memory and separability properties
for a two-dimensional system are presented, in terms of both the char
acteristic polynomial and the matrix pair that describes the state evo
lution. Necessary and sufficient conditions for a finite memory or sep
arable two-dimensional system to have an inverse with the same propert
ies are given; these involve only the structure of the transfer matrix
.