It is a mathematical model of computation that is defined by a mathematical set of rules. By specifying different rules, you get different tasks.