-
题名下推自动机的状态转换图与下推自动机的化简
被引量：10
- 1
-
-
作者
张继军
吴哲辉
-
机构
山东农业大学信息学院
山东科技大学信息学院
-
出处
《计算机科学》
CSCD
北大核心
2006年第3期271-274,共4页
-
文摘
参照有限状态自动机图形表示方式的思想方法,研究了标准下推自动机的图形表示——PAD 状态转换图,证明了下推自动机与标准下推自动机的等价性。给出了对标准下推自动机进行化简的原则,并给出了化简算法,实现了下推自动机的化简。
-
关键词
状态转换图
标准下推自动机
化简
行为等价
状态等价
-
Keywords
State transition diagram, Normal form of pushdown automata, Simplification, Behavior equivalence, State equivalence
-
分类号
TP301.1
[自动化与计算机技术—计算机系统结构]
TN791
[电子电信—电路与系统]
-
-
题名基于有穷自动机的自动信任协商策略
被引量：1
- 2
-
-
作者
李健利
刘博
邓潇
-
机构
哈尔滨工程大学计算机科学与技术学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2013年第6期1375-1381,共7页
-
基金
国家自然科学基金项目(61073042)资助
-
文摘
自动信任协商通过协商策略协调协商双方间访问控制策略、信任证的交互披露以逐步建立信任.现有的访问控制策略规则的理论表示缺乏直观性,在分析和构造策略算法时带来不便.本文将有穷自动机形式化定义与自动信任协商相结合,提出一套基于有穷自动机的信任协商定义体系,并构造有穷自动机状态转换图对相应的访问控制策略进行图形化表示,便于分析和构造协商策略.针对积极策略缺乏安全性和谨慎策略缺乏高效性的问题,提出了基于有穷自动机的协商策略,该策略在谨慎策略的基础上加入记忆链结构,以减少协商双方交互次数,提高协商效率.经证明,该策略具备完备性和安全性,并通过仿真实验证明相对于谨慎策略,该策略具备高效性.
-
关键词
协商策略
有穷自动机状态转换图
访问控制策略
安全披露序列
-
Keywords
negotiating strategy
finite automaton transition diagram
access control policy
safe disclosure sequence
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名袋自动机
被引量：4
- 3
-
-
作者
张继军
吴哲辉
董卫
耿霞
-
机构
山东农业大学信息学院
山东科技大学信息学院
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2008年第z1期190-195,共6页
-
基金
国家自然科学基金项目(60673053)
-
文摘
提出了袋自动机模型和袋语言的概念,并给出了袋自动机的状态转换图;分析了袋语言重复序列在状态转换图中的反映,并划分为不变重复序列、增重复序列、减重复序列和传递重复序列,给出了袋语言的结构特性;研究了袋语言类同Chomsky文法体系中各型语言的关系,证明了正规语言类是袋语言类的真子集,袋语言类是上下文有关语言类的真子集,而袋语言类同上下文无关语言类是两个相交但互不包含的语言类,即存在不是上下文无关语言的袋语言,也存在无法用袋自动机产生的上下文无关语言.
-
关键词
袋自动机
状态转换图
袋语言
重复序列
-
Keywords
bag automata
state transition diagram
bag language
repetitive sequence
-
分类号
TP301.1
[自动化与计算机技术—计算机系统结构]
-
-
题名自动机到正规表达式的重构方法研究
被引量：2
- 4
-
-
作者
马吉明
韩丽
甘勇
-
机构
郑州轻工业学院计算机与通信工程系
华中科技大学计算机学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2004年第23期65-67,共3页
-
基金
河南省杰出青年科学基金项目(编号:0112001500)资助
-
文摘
自动机理论是编译程序中单词识别的基本理论。论文分析了自动机与正规表达式等价性定理,指出了从确定有限自动机到正规表达式重构规则中存在的问题,给出了一个包含多个结点所组成回路的有限自动机到正规表达式的重构定理,并通过实例对于该定理所阐明的方法的运用进行了详细的讨论。
-
关键词
编译程序
自动机
正规表达式
状态转换图
-
Keywords
compile routine,automaton,regular expression,transition diagram
-
分类号
TP301.1
[自动化与计算机技术—计算机系统结构]
TP314
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种新的DFA状态最小化算法
被引量：2
- 5
-
-
作者
范书义
孟晨
王成
-
机构
军械工程学院导弹工程系
-
出处
《计算机工程与应用》
CSCD
2012年第1期47-48,67,共3页
-
文摘
提出了一种基于状态转换矩阵的适合计算机实现的DFA状态最小化算法,在计算等价状态过程中,通过记录扫描过程中发现的具有相同输入字符和相同转换状态的状态判定链表,算法可以用一遍扫描和与传统算法相近的存储空间实现DFA状态的最小化。与传统的DFA状态最小化算法相比,该算法具有较好的时间复杂度和相同的空间复杂度。
-
关键词
确定有穷自动机(DFA)
状态最小化
状态转换矩阵
-
Keywords
Deterministic Finite Automata（DFA） states minimization states transition matrix
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名用于C语言的错误处理预编译器
被引量：2
- 6
-
-
作者
施海昕
佘堃
-
机构
电子科技大学计算机科学与工程学院
-
出处
《计算机应用》
CSCD
北大核心
2005年第10期2453-2455,共3页
-
文摘
根据编译原理,设计并实现了一个用于C语言的错误处理预编译器。通过扫描程序代码,它可以找到特定格式的注释,并从中提取错误名称、错误信息和错误号,最终生成对应的错误处理代码。这个预编译器改进了C语言错误处理机制,提高了软件开发效率。
-
关键词
有限自动机
状态转换图
词法分析
语法分析
-
Keywords
finite automaton
state transition diagram
lexical analysis
syntax analysis
-
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
-
