n. the mathematical study and modelling of certain abstract machines and their capacity to solve various types of problem by means of the algorithms available to them. See Turing machine.