Today we’re going to introduce a new abstraction called a state machine, that lets us model how algorithms work. We’ll show how to use induction to prove properties of state machines.

Source: Erik Demaine, Mathematics for Computer Science (MIT: OpenCourseWare). Licensed under CC BY-NC-SA 4.0.