Counter Machine - Problems With The Counter Machine Model

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 conceive that the leading characteristic of the nineteenth century has been the rapid growth of the scientific spirit, the consequent application of scientific methods of investigation to all the problems with which the human mind is occupied, and the correlative rejection of traditional beliefs which have proved their incompetence to bear such investigation.
    Thomas Henry Huxley (1825–95)

    The problems of all of humanity can only be solved by all of humanity.
    Friedrich Dürrenmatt (1921–1990)

    I’d take the bus downtown with my mother, and the big thing was to sit at the counter and get an orange drink and a tuna sandwich on toast. I thought I was living large!... When I was at the Ritz with the publisher a few months ago, I did think, “Oh my God, I’m in the Ritz tearoom.” ... The person who was so happy to sit at the Woolworths counter is now sitting at the Ritz, listening to the harp, and wondering what tea to order.... [ellipsis in source] Am I awake?
    Connie Porter (b. 1959)

    What is man, when you come to think upon him, but a minutely set, ingenious machine for turning, with infinite artfulness, the red wine of Shiraz into urine?
    Isak Dinesen [Karen Blixen] (1885–1962)

    When you model yourself on people, you should try to resemble their good sides.
    Molière [Jean Baptiste Poquelin] (1622–1673)