"X" in the mnemonics with a specifying parameter (as shown in the Lambek version) --i.e. "X+" and "X-"but rather the instruction mnemonics specifies the registers themselves, e.g. "2+", or "3-":

1963: Shepherdson and Sturgis' model

reference Minsky (1961) as it appeared for them in the form of an MIT Lincoln Laboratory report:Their model is strongly influenced by the model and the spirit of Hao Wang (1957) and his Wang B-machine

1.Previous
3.Next