论文部分内容阅读
通过引入量化下推自动机与量化上下文无关文法的定义,研究了以两种不同方式接受语言的量化下推自动机等价性问题,证明了在可交换的双幺赋值幺半群上,量化下推自动机接受的语言与量化上下文无关文法生成的语言相同。
量化上下文无关语言的代数性质
【摘 要】
：
通过引入量化下推自动机与量化上下文无关文法的定义,研究了以两种不同方式接受语言的量化下推自动机等价性问题,证明了在可交换的双幺赋值幺半群上,量化下推自动机接受的语
【机 构】
：
陕西师范大学数学与信息科学学院
【出 处】
：
计算机科学
【发表日期】
：
2017年7期
【基金项目】
：
国家自然科学基金资助项目（11401361,11226266,61572016）,中央高校基本科研业务（GK201402002）资助
其他文献
在我国科学技术不断完善的背景下,跨流域调水工程项目的增多,供水变得尤为重要,现在水泵向大型化发展,大型立式电机在大型泵站得到了一定的应用。现在电机推力头进行设计的时
新工科背景下对学生的实践能力和创新能力提出了更高的要求,提出了基于“做学教”一体化的教学模式,首先对“做学教”一体化的教学模式进行了研究,得出学生通过学习能够做什
软件系统的事件模型能够有效地刻画软件系统的行为。但是,由于信息物理融合系统的异构性与分布式特征,建立信息物理融合系统的事件模型不仅需要了解系统的具体组成结构,还需
随着改革开放的不断深入,我国民营经济不断地发展壮大并成为国民经济发展的主要支撑力量.受国家金融政策法规的制约,许多民营经济实体不具备法人资格,使民营经济发展资金无法
GB/T 1.1-2020《标准化工作导则第1部分:标准化文件的结构和起草规则》在2020年10月1日开始实施,该标准的实施对于企业标准编制提出了新的要求,文章对主要变化点作了介绍,以
为了使云模型能直观方便地表示以及计算多属性决策问题，并且适应专家给出的范围数据，对提出的属性圆表示多属性的方法进行了改造，从而通过属性圆来计算云模型的特征参数；给出了改
教学设计关系到课堂的有效性,即便是优秀的教师,没有好的教学设计,走进课堂也会显露些许问题,笔者近来对教学设计中存在的几个问题做了总结与思考。