Infinite arrays and infinite computations

AbstractA complete metric topology is introduced on the set of all finite and infinite arrays and the topological properties of the space are studied. In this complete metric topology, infinite arrays are the limits of increasing sequences of finite arrays. The notion of successful infinite derivations in Generalized Context-free Kolam Array Grammars, yielding infinite arrays, is a subclass of Generalized context-free kolam array grammars. For this class, the finite array language generated by a reduced grammar in Greibach normal form and the set of infinite arrays generated by it are related through the notion of adherence