Conclusion 2.1
No finite algorithm exists which determines whether a random two-dimensional autonomous regular iterative system can be separated.
The proof of this fact is a literal repetition of the proof of Conclusion 17.1 in [1].
In conclusion the author would like to thank M. I. Kratko for the formulation of the problem.
Similar content being viewed by others
Literature Cited
F. C. Hennie, III, Iterative Arrays of Logical Circuits, Massachusettes Institute of Technology Press (1961).
V. M. Glushkov, Synthesis of Digital Automatic Machines [in Russian], Fizmatgiz, Moscow (1962).
O. M. Revin, Classes of Matrices determined using Regular Iterative Systems [in Russian], Preprint 73-8, Izd. Inst. Kibernetika, Akad. Nauk UkrSSR, Kiev (1973).
Additional information
Translated from Kibernetika, No. 3, pp. 39–45, May–June, 1974.
Rights and permissions
About this article
Cite this article
Revin, O.M. Some properties of two-dimensional iterative systems. Cybern Syst Anal 10, 419–426 (1974). https://doi.org/10.1007/BF01068709
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01068709