On a certain class ofm-address machines |
| |
Authors: | Jerzy Ejsmund |
| |
Institution: | (1) Institute of Mathematics of the Polish Academy of Sciences, Warsaw |
| |
Abstract: | Conclusion It follows from the proved theorems that ifM
=Q, (whereQ={0,q
1,q
2,...,q
}) is a machine of the classM
F
then there exist machinesM
i such thatM
i(1,c)=M
(q
i,c) andQ
i={0, 1, 2, ..., +1} (i=1, 2, ..., ).And thus, if the way in which to an initial function of content of memorycC a machine assigns a final onecC is regarded as the only essential property of the machine then we can deal with the machines of the formM
={0, 1, 2, ..., }, and processes (t) (wheret=1,c,cC) only.Such approach can simplify the problem of defining particular machines of the classM
F
, composing and simplifying them.Allatum est die 19 Januarii 1970 |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|