An informal high-level description of the operating principle of a computer program or other algorithm