10.3969/j.issn.1001-7402.2013.02.004
格值有穷自动机和单体二阶格值逻辑
引入了单体二阶格值逻辑,进而给出了基于格值逻辑的有穷自动机识别语言的逻辑描述,证明了格值逻辑意义下的Buchi-Elgot基本定理.通过引入星自由语言与非周期格值语言,完全刻画了可以用一阶格值逻辑定义的格值语言,得到了格值逻辑意义下的Schutzenberger分类定理.
格值逻辑、有穷自动机、单体二阶逻辑、格值语言
27
O141(数理逻辑、数学基础)
国家自然科学基金资助项目60873119
2013-07-03(万方平台首次上网日期,不代表论文的发表时间)
共7页
23-29