@MISC{SCMPDS_5.MIZ,
  AUTHOR = {Chen, Jing-Chao},
  TITLE = {Computation of Two Consecutive Program Blocks for {SCMPDS}},
  NOTE = {This research is partially supported by the National Natural Science
       Foundation of China Grant No. 69873033.},
  SECTION1 = {Preliminaries},
  SECTION2 = {Non Halting Instructions and Parahalting Instructions},
  SECTION3 = {Computation of two Consecutive Program Blocks},
  SECTION4 = {Computation of the Program Consisting of a Instruction and a Block},
  DAY = {15},
  MONTH = {June},
  YEAR = {1999},
  ADDRESS1 = {Shanghai Jiaotong University},
  SUMMARY = {In this article, a program block without halting instructions
  is called No-StopCode program block. If a program consists of two blocks,
  where the first block is parahalting (i.e. halt for all states) and
  No-StopCode, and the second block is parahalting and shiftable,
  it can be computed by combining the computation results of the two blocks.
  For a program which consists of a instruction and a block, we obtain
  a similar conclusion. For a large amount of programs, the computation
  method given in the article is useful, but it is not suitable to recursive
  programs.}}

