Lecture 4: State Machines

Name: Lecture 4: State Machines
Uploaded: 2025-07-24T00:12:12Z
Duration: 1 h 21 min 16 s
Description: 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.

1:21:16

Up Next

Lecture 5: Sums

Continue

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.