A; B; C begin end A; B; C A begin end B C A; B; C A begin end B C p1 A p1p2 B p2 C p1 p2 A; B; C A p0 p3 B C p0p1 A p1p2 B p2p3 C p1 p2 p0p3 A; B; C if (P) then A; B else C endif begin end begin end if A; B PP = true P = false C begin end if A; B PP = true P = false C 1: P A; B 2: P C while (P) do A; B; C endwhile begin end begin end while A; B; C P P = true P = false begin end while A; B; C P P = true P = false I 1: I 3: IP 2: IPI A; B; Cskip skip