theoretical study of the formal foundation enabling the automated processing or computation of information, for example on a computer or over a data transmission network