Problems With The Counter Machine Model
- The problems are discussed in detail in the article Random access machine. The problems fall into two major classes and a third "inconvenience" class:
(1) Unbounded capacities of registers versus bounded capacities of state-machine instructions: How will the machine create constants larger than the capacity of its finite state machine?
(2) Unbounded numbers of registers versus bounded numbers of state-machine instructions: How will the machine access registers with address-numbers beyond the reach/capability of its finite state machine?
(3) The fully reduced models are cumbersome:
Shepherdson and Sturgis (1963) are unapologetic about their 6-instruction set. They have made their choice based on "ease of programming... rather than economy" (p. 219 footnote 1).
Shepherdson and Sturgis' instructions ( indicates "contents of register r"):
-
- INCREMENT ( r ) ; +1 → r
- DECREMENT ( r ) ; -1 → r
- CLEAR ( r ) ; 0 → r
- COPY ( rs to rd ) ; → rd
- JUMP-UNCONDITIONAL to instruction Iz
- JUMP IF =0 to instruction Iz
Minsky (1967) expanded his 2-instruction set { INC (z), JZDEC (r, Iz) } to { CLR (r), INC (r), JZDEC (r, Iz), J (Iz) } before his proof that a "Universal Program Machine" can be built with only two registers (p. 255ff).
Read more about this topic: Counter Machine
Famous quotes containing the words problems with, problems, counter, machine and/or model:
“I am always glad to think that my education was, for the most part, informal, and had not the slightest reference to a future business career. It left me free and untrammeled to approach my business problems without the limiting influence of specific training.”
—Alice Foote MacDougall (18671945)
“There are nowadays professors of philosophy, but not philosophers. Yet it is admirable to profess because it was once admirable to live. To be a philosopher is not merely to have subtle thoughts, nor even to found a school, but so to love wisdom as to live according to its dictates, a life of simplicity, independence, magnanimity, and trust. It is to solve some of the problems of life, not only theoretically, but practically.”
—Henry David Thoreau (18171862)
“The individual protests against the world, but he doesnt get beyond protest, he is just a single protester. When he wants to be more than that, he has to counter power with power, he has to oppose the system with another system.”
—Friedrich Dürrenmatt (19211990)
“The white man regards the universe as a gigantic machine hurtling through time and space to its final destruction: individuals in it are but tiny organisms with private lives that lead to private deaths: personal power, success and fame are the absolute measures of values, the things to live for. This outlook on life divides the universe into a host of individual little entities which cannot help being in constant conflict thereby hastening the approach of the hour of their final destruction.”
—Policy statement, 1944, of the Youth League of the African National Congress. pt. 2, ch. 4, Fatima Meer, Higher than Hope (1988)
“She represents the unavowed aspiration of the male human being, his potential infidelityand infidelity of a very special kind, which would lead him to the opposite of his wife, to the woman of wax whom he could model at will, make and unmake in any way he wished, even unto death.”
—Marguerite Duras (b. 1914)