Re:Algorithms and Data Structures – Transition systems (2004...
by soegaard on Sunday April 17, 2022 @07:20AM
(#31060070)
These notes is indeed used in "CS 101".
The note is meant to fill a need not covered by the main materials.
In this case the concept of transition systems is used throughout
the course for proofs. In a different note graph algorithms are
presented - and the the red thread is that all proods use transitions
systems.
In short: you need to look at the full course to see where a lecture note fits in.
In this case the concept of transition systems is used throughout the course for proofs. In a different note graph algorithms are presented - and the the red thread is that all proods use transitions systems.
In short: you need to look at the full course to see where a lecture note fits in.