@MISC{SCMPDS_3.MIZ,
  AUTHOR = {Chen, Jing-Chao},
  TITLE = {Computation and Program Shift in the {SCMPDS} Computer},
  NOTE = {This work was done while the author visited Shinshu University
  March--April 1999.},
  ACKNOWLEDGEMENT = {We wish to thank Prof. Y. Nakamura for many helpful suggestions.},
  SECTION1 = {Preliminaries},
  SECTION2 = {Finite Partial States of SCMPDS},
  SECTION3 = {Autonomic Finite Partial States of SCMPDS and its Computation},
  SECTION4 = {Program Shift in the SCMPDS Computer},
  DAY = {15},
  MONTH = {June},
  YEAR = {1999},
  ADDRESS1 = {Shanghai Jiaotong University},
  SUMMARY = {A finite partial state is said to be autonomic if
  the computation results in any two states containing it are same
  on its domain. On the basis of this definition, this article presents
  some computation results about autonomic finite partial states of the
  SCMPDS computer. Because the instructions of the SCMPDS computer are
  more complicated than those of the SCMFSA computer, the results given
  by this article are weaker than those reported previously by the article
  on the SCMFSA computer. The second task of this article is to define
  the notion of program shift. The importance of this notion is that
  the computation of some program blocks can be simplified by shifting
  a program block to the initial position.}}

