|
|||||
|
|
| fd辖区与rf析取语言 | |
| 作者姓名： | 郭聿琦 |
| 作者单位： | 兰州大学，The University of Western Ontario，The University of Western Ontario |
| 基金项目： | 国家自然科学基金，The National Research Couneil of Canada在Grant A7877和A7350下的资助 |
| 摘 要： | 一、引言 令X为一有限集合,X~+与X~*=X~+∪{ε}分别为X生成的自由半群与自由幺半群。 令L为X上一语言(即L(?)X~*),P_L为使得L是其若干等价类的并的X~*上的最大同余,即 |
| 本文献已被 CNKI 等数据库收录！ | |
| 点击此处可从《科学通报》浏览原始摘要信息 | |
| 点击此处可从《科学通报》下载全文 | |