-

Finite set of available instructions

-

Made of finite instructions

-

Discrete steps taking finite time

-

Each step depends only on the previous ones

-

No limit to steps or space during execution