Showing papers by "Zdzisław Pawlak published in 1968"

On the Notion of a Computer

Abstract: Publisher Summary In the theory of mathematical machines, various machines are considered—such as Turing machines, push-down machines, finite automata, etc—but little attention is given to the formal definition of digital computers, their programs, and the study of their properties The author's belief as well as that of many other people working in computer field is that a further development of this field requires more close relations with the existing computers This chapter contains the formal definitions of a computer, a universal computer, and a program In the proposed language, machines can be defined and studied, which seem to be fairly good models of real computers Some elementary theorems concerning computers are also stated in this chapter