Automatic Information Processing Model Theory