Machine-translated by Google. Questions are authored in English.
Top

Discussion

Which of the following is a partial recursive function ?

  • A.Post system
  • B.x-calculus
  • C.RAM
  • D.All of the above

Answer: D

The answer is All of the above.

Post systems, the λ-calculus (printed 'x-calculus') and the random access machine (RAM) are each a model of computation that computes exactly the partial recursive functions, the same class a Turing machine computes. Their equivalence is the basis of the Church-Turing thesis.

So none of the three is singled out: each is an equivalent formulation of partial recursive computation, and choosing just one leaves out the other two.

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.