|
|||||
|
|
| （P~（1，1））和正则语言 | |
| 引用本文： | 田启家,沈恩绍,史忠植.（P~（1，1））和正则语言[J].计算机学报,1996(11). |
| 作者姓名： | 田启家 沈恩绍 史忠植 |
| 作者单位： | 北京师范大学数学系，中国科学院计算技术研究所，上海交通大学计算机系 |
| 摘 要： | 本文利用模型论博奕理论的方法证明了（Ｐ１，１）能够刻画正则语言．由此我们得到结论：在有限的离散线性序上（Ｐ１，１）和Ｍｏｎａｄｉｃ二阶逻辑的刻画能力是一致的． |
| 关 键 词： | 分划逻辑，正则语言，模型论博奕 |
| 本文献已被 CNKI 等数据库收录！ | |