Mathematical Studies of Information Processing