Houjun Liu

SU-CS238 OCT172023

Notation

“state variables” represent the contents of the state; “state” is a complete assignment of state variables.

New Concepts

Important Results / Claims

Questions

  • why is it d seperated

Interesting Factoids