computation Definition Standard Description Turing defined the Standard Description as formalised notation for a machine’s table of transition rules, establishing the foundational concept of what is modernly recognised as a program.