|
计算机科学技术学报 1988
On the Equivalence of Some Models of ComputationAbstract: In1],a definition of computation was given.In3],we have clarified the necessity of thedefinition.Here we prove the equivalence between the definition and some models ofcomputation.Hence the sufficiency of the definition is clear abundantly.
|