Models of Computation MT23, Basic definitions