Infinite Arrays and Domino Systems

A new subclass of infinite arrays, called hv-local infinite arrays, is introduced. We prove that recognizable infinite arrays are projections of hv-local infinite arrays. We provide automata characterization to the class of hv-local infinite arrays, by introducing online tesselation local automata. A learning algorithm in the limit from positive data for the class of hv-local infinite arrays is given.