specific and difficult problems, such as integer multiplication in time that the explicit definition of the model of computation is required for proofs.

Deterministic models

A deterministic model of computation is a model of computation such that the successive states of the machine and the operations to be performed are completely determined by the preceding state. Historically, the first deterministic models were recursive functions,

1.Previous
3.Next