Lecture 4: State Machines
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.
Course Info
Instructors
As Taught In
Spring
2024
Level
Learning Resource Types
theaters
Lecture Videos
notes
Lecture Notes
Readings
assignment
Problem Sets
menu_book
Open Textbooks
