Infinite arrays and diagonalization
Jeffrey O. Shallit · 1981
This paper discusses the application of infinite arrays to several areas, notably the formation of “do-while” expressions. The functions diagonal and inverse diagonal are defined, with applications to processing both finite and infinite arrays. Infinite arrays are shown to be useful in mathematical exposition. Finally, suggestions are given for the implementation of diagonalization functions.