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 the, problems with, problems, counter, machine and/or model:

    I was a wonderful parent before I had children. I was an expert on why everyone else was having problems with theirs. Then I had three of my own.
    Adele Faber (20th century)

    The mother’s and father’s attitudes toward the child correspond to the child’s own needs.... Mother has the function of making him secure in life, father has the function of teaching him, guiding him to cope with those problems with which the particular society the child has been born into confronts him.
    Erich Fromm (1900–1980)

    One of the annoying things about believing in free will and individual responsibility is the difficulty of finding somebody to blame your problems on. And when you do find somebody, it’s remarkable how often his picture turns up on your driver’s license.
    —P.J. (Patrick Jake)

    Often, when there is a conflict between parent and child, at its very hub is an expectation that the child should be acting differently. Sometimes these expectations run counter what is known about children’s growth. They stem from remembering oneself, but usually at a slightly older age.
    Ellen Galinsky (20th century)

    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)

    ...that absolutely everything beloved and cherished of the bourgeoisie, the conservative, the cowardly, and the impotent—the State, family life, secular art and science—was consciously or unconsciously hostile to the religious idea, to the Church, whose innate tendency and permanent aim was the dissolution of all existing worldly orders, and the reconstitution of society after the model of the ideal, the communistic City of God.
    Thomas Mann (1875–1955)