论文部分内容阅读
引入了格值自动机及其语言的概念,给出了格值自动机的状态转移函数可扩充的充分必要条件,证明了确定型格值自动机与格值自动机等价的充分必要条件,研究了格值自动机的语言关于正则运算的封闭性及其条件.所得结论表明了格值自动机及其语言的特性与取值格代数性质的紧密联系.
格值自动机与语言
【摘 要】
：
引入了格值自动机及其语言的概念,给出了格值自动机的状态转移函数可扩充的充分必要条件,证明了确定型格值自动机与格值自动机等价的充分必要条件,研究了格值自动机的语言关
【机 构】
：
陕西师范大学数学与信息科学学院
【出 处】
：
陕西师范大学学报：自然科学版
【发表日期】
：
2003年4期
【基金项目】
：
国家自然科学基金，国家自然科学基金，教育部优秀青年教师资助计划，国家重点基础研究发展计划(973计划)
其他文献
Effect of Qi Kwai Granule particles on expression of TGF-β1 and MCP-1 in kidney of diabetic nephropa
研究了全蕴涵三Ⅰ算法及几种常用蕴涵的三Ⅰ MP解的还原性.利用新构造的函数ψx(t)=(A(x)→B(y))→(A*(x)→t),将三Ⅰ MP规则给予定量描述,得到了FMP(Fuzzy ModusPonens)问题
PLEXTOR作为世界高端刻录机的生产厂商,一向以其高性能的刻录机产品闻名全球,被誉为"世界刻录机品质之王",更是受到了国内外刻录玩家的一致好评.
利用频率为2.0 MHz,强度为5.0 W/cm2的超声激活血卟啉对在体小鼠艾氏腹水瘤细胞 进行了抑癌作用研究.通过对一次和多次处理的肿瘤体积和重量变化趋势的研究,发现声动力疗法
<正> 行政法人日本产业技术综合研究所(产综研,AIST)纳米科技研究部门纳米结构物理特性理论研究小组的古门聪士等人通过理论计算得出:使用内含铁磁体、磁金属原子的碳纳米管
讨论了含有n(n≥3)个物种的反应扩散系统的扩散驱动不稳定性,通过分析其线性化矩阵特征多项式的零次项,得到了系统产生扩散驱动不稳定性的一个必要条件.
2009年7月16日，欧特克有限公司宣布将推出最新版本的Autodesk Navisworks2010系列软件。作为欧特克数字化样机解决方案中的新成员，面向制造业的Autodesk Navisworks可帮助庞大
OBJECTIVE Tumor necrosis factor-α(TNF-α) plays a vital role in cognitive dysfunction caused by stress.In our previous study, Liuwei Dihuang-active fraction co