An input output information system machines based on Turing machines.