一种二人遊戏可描述如次:局式F,变換Ω及派生的不可变局式O_Ω,是确定这种遊戏的基本观念。对局开始給定局式f∈F。由一方A变換f为f_l,次由B变换f_1为f_2,再由A变換f_2为f_3,…如此輪番交迭下去。于是对应于变換序列ω~(1),ω~(2),…,ω~(s),f历經局式序列f_1,f_2,…,f_s,其中奇序的由A給出,偶序的由B給出。 A two-player game can be described as follows: an office F, a transformation Ω, and a derived invariable O_Ω are the basic concepts for determining this game. The game starts with the given formula f∈F. By one side A transform f to f_l, the next by the B transform f_1 to f_2, and then by the A transform f_2 to f_3, ... so turn overlapping. Corresponding to the transformation sequence ω ~ (1), ω ~ (2), ..., ω ~ (s), f through the local sequence f_1, f_2, ..., f_s, where the odd sequence is given by A, even The order is given by B.