There are quite a few turing mahcine varients i think