MIT
Lecture 4: State Machines
Data Science, Analytics & Computer TechnologyAlgorithms and Data StructuresComputer ScienceScience & MathMathematicsEngineering
Om kurset
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.