Question

くろ

至急お願いします💦
割り箸ゲームについてのものですが写真の部分が分かりません...高一にもわかるように説明してもらえませんか🙇お願いします！
以下のリンクのものです
https://trap.jp/post/897/

1. W←{s∈S|w(s) = 先手}
2. p(s) = 先手かつ、 あるt∈T (s)が
存在しても∈W
または
p(s) = 後手かつ、すべてのt∈
T (s)についてt ∈W
を満たすs∈SW 7」が存在する限
り、 W←Wu {s}を繰り返す
3.Wが求めるW先手である。
W後手も同様にして求めることができそうで
す。
また、Sからこれらを除外した状態の集合
S\(W先手 UW 後手) に含まれる状態では
双方のプレイヤーが最前を尽くした場合
にゲームが終了しないことがわかります。 千
日手です。