Information System Machines based on Turing Machines