【摘 要】
：
Petri网语言可分为正规Petri网语言、上下文无关Petri网语言和Petri网语言三类,Pumping引理反映了一类语言的共性.对于正规Petri网语言类和Petri网语言类都已给出了其相应的P
【机 构】
：
山东农业大学信息学院,山东科技大学信息学院
【基金项目】
：
国家自然科学基金项目（60673053）资助.
论文部分内容阅读
Petri网语言可分为正规Petri网语言、上下文无关Petri网语言和Petri网语言三类,Pumping引理反映了一类语言的共性.对于正规Petri网语言类和Petri网语言类都已给出了其相应的Pumping引理,而对于上下文无关Petri网语言类的Pumping引理却一直未给出.本文通过分析上下文无关Petri网语言的结构性质,给出了上下文无关Petri网语言的Pumping引理,并且正规Petri网语言的Pumping引理是上下文无关Petri网语言的Pumping引理的一种特殊形式,而上下文无关
其他文献
相容粒度空间模型是对现实中普遍存在的相容问题结合粒计算进行的研究，是当前的研究热点．相容粒度空间模型的特色在于引入了动态变化的相客关系，这是在此之前的粒度研究上没有的
以有限环代数为理论基础，提出一个定点数据通路的等价验证算法．该算法能有效地对实现多项式运算的寄存器传输级（register transfer level，RTL）定点数据通路进行等价验证．理论分析表
实时需求是传感器网络应用于时间敏感领域的一个重要议题.提出一种新颖的受限等效时延（CED）的概念,把端到端的时延需求划分成路径上每段链路的CED的总和.每个节点可以根据CED独
1.正确理解比例的基本性质、线段的比、成比例线段；理解相似多边形对应角相等、对应边的比相等、周长的比等于相似比、面积的比等于相似比的平方；利用位似将一个图形放大或缩小
目的：探讨简化客观结构化临床考试（OSCE）在高职内科护理学技能评价中的应用效果。方法：采用简化OSCE对某高职院校的126名学生内科护理技能进行评价,简化OSCE包括设置3个OCSE考站
在网络优化工作过程中,经常出现因基站时钟不同步,造成不同程度的单向通话、掉线、通话噪音、接通率低、切换失败及基站失锁等问题,对通信用户的通信质量造成了一定的影响,本
骨痛和骨折是原发性骨质疏松症(OP)最主要的症状体征。采用密钙息小剂量间歇注射疗法对骨质疏松性骨折有显著的止痛和固钙作用，临床观察20例，总有效率95%，缓解显效率达80％。
基于在台湾三个月对台湾十所公立与私立高校的生命教育的调查、访谈、体验、学习、研究，台湾高校生命教育的本质体现在理论多元化、保障一体化、目标明确化、内容准确化、途径
目的探索双能X线吸收法(DXA)骨密度测定仪测定诊断骨质疏松症(OP)的敏感指标.方法随机抽取成都地区年龄20岁以上健康男、女1456名(其中女性793名),准确测定身高(H)、体重(W)
群集智能由简单个体之间的相互作用涌现出来，这种涌现出来的智能可以解决许多复杂的问题．群体稳定地自聚是有效完成任务的前提．首先从群集智能系统中个体的局部感知能力出发，建立