Circuits and methods are described for decoding exemplary memory arrays of programmable and, in some embodiments, re-writable passive element memory cells, which are particularly useful for extremely dense three-dimensional memory arrays having more than one memory plane. The arbitrary annotated source code contains at least one programming type that describes a shape of an object instance and the schema describes a format of a document having a serial format. The correction device selects correction coefficients from a plurality of sets of correction coefficients as a function of the result determined by the discriminator, and a transformation unit calculates the corrected value for the image signal by using the selected correction coefficients. Preferably pixels with roughly circular contours are produced.