<正>1 w-E则语言与McNaughton定理令∑={0,1} 我们用∑~*,∑~w分别表示∑上的有限字和w-字所构成的集合.我们把空字记作λ.给定u∈......

1 w-E则语言与McNaughton定理令∑={0,1} 我们用∑~*,∑~w分别表示∑上的有限字和w-字所构成的集合.我们把空字记作λ.给定u∈∑~*......

给出并证明了字模型在等价关系￣Ｌ（ＭＰ）之下等价类数目的两类上界。...

本文利用模型论博奕理论的方法证明了Ｌ（Ｐ＾１，１）能够刻画正则语言。由此我们得了结论：在有限的离散线性序上Ｌ（Ｐ＾１，１）和Ｍｏｎａｄｉｃ二阶逻辑的刻画能力是一致的。......