论文部分内容阅读
参照有限状态自动机图形表示方式的思想方法，研究了标准下推自动机的图形表示——PAD状态转换图，证明了下推自动机与标准下推自动机的等价性.给出了对标准下推自动机进行化简的原则，并给出了化简算法，实现了下推自动机的化简.
下推自动机的状态转换图与下推自动机的化简
【摘 要】
：
参照有限状态自动机图形表示方式的思想方法，研究了标准下推自动机的图形表示——PAD状态转换图，证明了下推自动机与标准下推自动机的等价性.给出了对标准下推自动机进行化简的
【机 构】
：
山东农业大学信息学院,山东科技大学信息学院
【出 处】
：
计算机科学
【发表日期】
：
2006年3期
其他文献
供应链战略合作伙伴关系的构建与管理是供应链管理的核心内容,本文分析了供应链战略合作伙伴关系的特点,论述了供应链战略合作伙伴的评价与选择,并从信息交流、知识共享和激
利用石墨烯和腰果酚对酚醛树脂进行改性,制得石墨烯/腰果酚改性酚醛树脂（GCP）,并将自制碳纤维原纸浸渍于此树脂中,制备得到石墨烯/腰果酚改性酚醛树脂基碳纤维纸基复合材料（GCPC
现如今房地产市场的竞争日趋激烈,与此同时,国家继续收紧对房地产市场的调控力度。而国家近年来放开的“二孩”政策,学区房需求的愈加强烈,城市化进程的进一步加快,使得城镇
针对目前电网数字化变电站和传统变电站并存的实际情况,本文介绍了一款基于嵌入式平台的新型电能质量在线监测仪设计方案。系统采用模块化设计,包括合并单元采集、传统互感器
近年来,我国与世界各地,尤其是与欧美等科学及文化发达的国家之间的对话和交流日趋增加,出现了一批活跃在我国,甚至国际舞台上的音乐剧新人,并取得了可喜的成绩。对于国内的
心理护理是建立在护士与患者相互沟通、相互信任的基础上，所以首先必须主动的与患者进行沟通，以了解患者目前的心理状态、所处的社会环境、所担心的问题，找出问题所在，再制订相应
对西方音乐这种外来文化，我们作为一个拥有着自己丰厚艺术传统的东方民族是抱着一种既好奇、羡慕又怀疑、踌躇的矛盾心态来接受的，一方面是对它的令人惊异的丰富艺术遗产和严密
海洋钻井平台的井架在作业时受到各种环境载荷和自身工作载荷的作用，需要考虑多种组合工况和载荷成分。文中应用SACS有限元软件针对某升级钻井能力的平台井架建立三维有限元模
陈若曦的创作具有广阔的政治文化视野。《耿尔在北京》和《远见》是其创作历程中的代表作品,虽然二者在取材和艺术风格上存在诸多不同,但都始终贯穿着知识分子特有的批判和反