|
|||||
|
|
| L(p~(1,1))和w-E则语言 | |
| 引用本文： | 田启家.L(p~(1,1))和w-E则语言[J].科学通报,1994,39(21):1932-1932. |
| 作者姓名： | 田启家 |
| 作者单位： | 北京师范大学数学系 北京100875 |
| 基金项目： | 国家教委博士点基金资助项目 |
| 摘 要： | 1 w-E则语言与McNaughton定理令∑={0,1} 我们用∑~*,∑~w分别表示∑上的有限字和w-字所构成的集合.我们把空字记作λ.给定u∈∑~*,N∈∑~w,有时也把u、v分别记为u(0)u(1)…u(n)(若(u)=n 1)和刚v(0)v(1)v(2)….用w(m,n)记字w的从第m个位置起到第n个位置止的那一串符号构成的字.根据McNaughton的定理,w-E则语言可以通过非决定性的B(?)chi自动机来定义,也可以通过决定性的Muller自动机来定义. |
| 关 键 词： | 分快逻辑 w－E则语言 模型论博奕 |
| 收稿时间： | 1993-10-26 |
| 本文献已被 CNKI 维普 等数据库收录！ | |
| 点击此处可从《科学通报》浏览原始摘要信息 | |
| 点击此处可从《科学通报》下载免费的PDF全文 | |