谁能告诉我，为什么写g[x] := g[x]个式子，在计算g[x]的时候不会无限循环，而在f[x_] := f[x]中，计算f[x]时就会无限循环呢？
为什么这么写，SetAttributes[k, Flat]；k[x_] := x，然后计算k[x]就会无限迭代，
而这么写k[x_] := x；SetAttributes[k, Flat]，两个计算下位置，然后再计算k[x]就不迭代了呢？应该是和OneIdentity属性有关，但是和顺序有什么关系？
在Trace[x -> 2, TraceOriginal -> True]的时候，返回结果{x->2,{Rule},{x},{2},x->2,x->2,{Rule},{x},{2},x->2}，在已经得到x—>2的返回结果的时候，为什么还要再计算一遍呢？

……等级略高。强烈建议上Stackexchange问问。

还要，为什么
f[a, b, c] /. f[x_Sequence] -> p[x]
f[a, b, c] /. f[Sequence[x__]] -> p[x]
下面的可以匹配，上面的不可以呢？

对于第一个问题：
我发现只要延时赋值的两边是完全一样的，就不会发生无限计算。比如：
In[]:= x:=x;
x
就没事。但是：
In[]:= x:=(1;x);
x
就会出现无限计算。不知道是怎么回事。。。

SetAttributes[k, Flat]；
k[x_] := x
计算k[x]，会无限迭代
但是
k[x_] := x；
SetAttributes[k, Flat]
然后再计算k[x]
就不迭代了，真奇怪！
第一个发生无限迭代应该是和OneIdentity属性有关，但交换位置能影响这个？