Translation examples
That is the way that the state s is a snapshot of the program, because that way there are the values of variables, and then the program counter.
Sillä tavalla että siinä tilassa s on snapshot siitä ohjelmasta, sillä tavalla että siellä ovat ne muuttujien arvot, ja sitten ohjelmalaskuri.