Definitions in literature sometimes differ slightly, to make arguments or proofs easier or clearer, but this is always done in such a way that the resulting machine has the same computational power.
Дефиниције у литератури се понекад мало разликују, праве аргументе или доказе лакшим или јаснијим, али то се увек ради на такав начин да резултујућа машина има исте рачунарске моћи.