第 7 题

s=0, k=1 → k≤6?
Y → k%2==0?
    Y → s←s-k
    N → s←s+k
两分支汇合 → k←k+1 → 返回 k≤6?
k≤6? 的 N 分支 → 输出s

s 从 0 开始，k 从 1 开始。每轮先判断 k≤6，满足时再判断 k 的奇偶性：k%2==0 表示 k 为偶数，此时从 s 中减去 k；否则将 k 加入 s。两条分支汇合后都执行 k←k+1，再返回循环条件。因此，该流程依次处理 1 至 6，奇数相加、偶数相减。