位置：成果数据库 > 期刊 > 期刊详情页
袋自动机
  • ISSN号：1000-1239
  • 期刊名称：《计算机研究与发展》
  • 时间：0
  • 分类：TP301.1[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构：山东农业大学信息学院,泰安,271018 山东科技大学信息学院,青岛,266510 山东农业大学信息学院,泰安,271018 山东农业大学信息学院,泰安,271018, 山东科技大学信息学院,青岛,266510
  • 相关基金：国家自然科学基金项目(60673053)
作者： 张继军, 吴哲辉, 董卫, 耿霞
关键词： 袋自动机, 状态转换图, 袋语言, 重复序列
中文摘要：

提出了袋自动机模型和袋语言的概念,并给出了袋自动机的状态转换图;分析了袋语言重复序列在状态转换图中的反映,并划分为不变重复序列、增重复序列、减重复序列和传递重复序列,给出了袋语言的结构特性;研究了袋语言类同Chomsky文法体系中各型语言的关系,证明了正规语言类是袋语言类的真子集,袋语言类是上下文有关语言类的真子集,而袋语言类同上下文无关语言类是两个相交但互不包含的语言类,即存在不是上下文无关语言的袋语言,也存在无法用袋自动机产生的上下文无关语言.

同期刊论文项目
唯一可达向量网系统的性质及其在信息安全技术上的应用研究
期刊论文 64 会议论文 16
同项目期刊论文
基于时延Petri网的交通信号配时方案建模与分析
基于混合Petri网的城市交通网络建模与仿真
几种满足汇合性质的Petri网子类
A live subclass of petri nets and their application in modeling flexible manufacturing systems
上下文无关语言的可重复序列及其性质
正规语言闭包运算的Petri网构造方法
Set (k,n)—exactly covering problem
Forgery attacks on Wang’s signature schemes based on factoring and discrete algorithm
三划分问题可多项式归约为唯一可达向量Petri网可达性问题
一种前向安全的代理多重签名方案
主体计划的Petri网方法及正确性验证
标识T-网中同步距离的计算
Petri网的空标识及相关性质研究
Petri网本原可重复向量的求解算法及实现
公平消息传递并行程序设计的Petri网方法
推导可交换上下文无关语言
Security and improvement of chang et al.’s Signature scheme without using one-way hash function
整数环上的Farkas引理及其应用
上下文无关Petri网语言的Pumping引理
Petri网的状态转换图
Petri网替换运算的不变量保持条件
变迁耦合网的T-不变量求解算法
正规表达式与恰当终结的标准Petri网
求网的S-不变量的一种图算法
项链T-图和完全T-图中活的和安全的标识类个数的证明
通信协议的实体行为描述语言CPEBSDL
并行程序Petri网模型的结构性质
柔性制造系统Petri网模型中的两类特殊资源
Cryptanalysis of Hwang et al.＇s Improved Encryption Scheme
语言表达式到Petri网模型的转化及其算法
正规表达式到无空标注Petri网的构造方法
基于Petri网进程的协议测试例生成方法及其实例
Petri网与二元文法的语言等价性
Set （ k, n ）-Exactly covering problem
基于T-不变量的可重复向量的求解算法
S-组合Petri网的进程特性分析
自动制造系统Petri网模型SPN的化简
S 3PR网多项式时间复杂度的化简算法
S-不变量求取的多项式算法
Petri网有界性和公平性关系的进一步研究
Petri网的流分解
基于时间Petri网的工作流用户管理系统的建模及分析
谓词/变迁系统对一阶谓词公式的建模
公平Petri网中同步距离计算的一个实现算法
同步及共享合成操作对Petri网汇合性质的保持性
改进的哲学家进餐问题无饥饿解的Petri网模型
库所耦合网的T-不变量求解算法
可达性与状态方程可满足性等价的两个Petri网子类
T-时延离散Petri网的运行原理及其性质
栈结构的增广Petri网模型
基于语言等价的Petri网化简
一种基于Petri网的序列密码加密方案
自动制造系统Petri网模型的资源变迁网性质分析
有界Petri网等价性的判定算法
Petri网系统的公平性判定
柔性制造系统Petri网模型中的一类共享资源
Petri网系统中的有效本原可重复向量集
S-不变量极小支集判定的多项式算法
自动制造系统Petri网模型中的分叉操作库所
自动制造系统Petri网模型中的非完美变迁
Forgery Attacks on Wang＇s Signature Schemes Based on Factoring and Discrete Logarithm
期刊信息
  • 《计算机研究与发展》
  • 中国科技核心期刊
  • 主管单位:中国科学院
  • 主办单位:中国科学院计算技术研究所
  • 主编：徐志伟
  • 地址：北京市科学院南路6号中科院计算所
  • 邮编：100190
  • 邮箱：crad@ict.ac.cn
  • 电话：010-62620696 62600350
  • 国际标准刊号：ISSN：1000-1239
  • 国内统一刊号：ISSN：11-1777/TP
  • 邮发代号:2-654
  • 获奖情况:
  • 2001-2007百种中国杰出学术期刊，2008中国精品科...,中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,荷兰文摘与引文数据库,美国工程索引,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:40349