Machine Theory