论文部分内容阅读
通过对特征幺半群的研究,讨论了循环自动机的自同态幺半群.证明了当且仅当循环交换异步自动机的自同态幺半群是半格.同时阐述了循环自动机的自同态幺半群与状态集之间的关系,利用自同态幺半群给出了循环自动机是交换自动机的一个刻画,将强连通自动机的结论推广到循环自动机.
循环自动机的自同态幺半群
【摘 要】
：
通过对特征幺半群的研究,讨论了循环自动机的自同态幺半群.证明了当且仅当循环交换异步自动机的自同态幺半群是半格.同时阐述了循环自动机的自同态幺半群与状态集之间的关系,
【机 构】
：
江苏商贸职业学院基础教学部,西安外国语大学金融学院
【出 处】
：
西安文理学院学报：自然科学版
【发表日期】
：
2017年5期
其他文献
根据机电类专业实践教学要求,结合现代先进技术对高校人才素养的职业需求,设计和开发了机电一体化实训平台.该平台将机电类专业核心课程液压传动技术、传感技术和可编程控制
白及作为传统中药材,其白及胶含量是评估白及品质的重要指标.本研究采用超声波提取的方法,通过对栽培一年和两年的白及块茎中白及胶进行提取,并用蒽酮-硫酸比色法测定其白及
IOS是常用的移动开发平台之一,分析IOS架构特点,解析MVC模式在IOS开发中的应用,对比IOS中MVC设计模式的改进以及弊端.提出对View Controller进行职责分离,引入view Model处理
以HSC、MSC和NSC抗压、弯折和断裂试验数据为依据，针对HSC、MSC和NSC的断裂韧度、特征长度及破坏机理展开讨论：研究结果表明：断裂韧度随强度、龄期的增加而增大；特征长度随强度的
不同区域草地地上生物量和地下生物量的空间分布以及研究方法已被深入揭示.草地生物量随海拔梯度、水热条件、植被特征的变化形成不同的分布状态.草地生物量的研究方法大致分
引入了广义F-互补问题的概念,新问题是经典互补问题和F-互补问题的推广,证明了广义F-互补问题与不动点问题的等价性,并设计了求解广义F-互补问题的不动点算法,证明了算法的收
旨在通过符号学的要素表达西安古城文化旅游空间的意向.通过文献查阅、空间对比等方式,发现西安古城的城市空间与符号学表达方式适用,符号学空间表意要素比较完整,西安城市空
探讨了基于变间距光栅位移传感器的基本原理,运用遗传算法优化计算了记录光路,且指出了将记录参数误差所具有的影响考虑在目标函数当中,推导了目标函数所具有的具体积分形式,
随着医院感染学的发展,医院对感染管理的重视,无菌观念的强化,感染性伤口的治疗越来越引起人们的重视.氧敷宝是一个独特的非侵入性低流量氧气持续扩散疗法（CDO）组织供氧设备.它