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
notes
Lecture Notes
theaters
Lecture Videos
menu_book
Open Textbooks
assignment
Problem Sets
auto_stories
Readings
