Turing machine is a term from computer science. A Turing machine is a system of rules, states and transitions rather than a "real" machine. It was first described in 1936 by English mathematician and computer scientist Alan Turing. There are two purposes for a Turing machine: deciding formal languages and solving mathematical functions. Turing machines are one of the most important formal models in the study of computer science.