状态转换图

作品数：76被引量：182H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：刘贵云张继军吴哲辉董卫李炜更多>>
相关机构：广州大学东南大学山东农业大学山东科技大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划江西省自然科学基金广东省科技计划工业攻关项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 主题=自动机x
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于有穷自动机的自动信任协商策略被引量：1
《小型微型计算机系统》2013年第6期1375-1381,共7页李健利 刘博 邓潇 
国家自然科学基金项目(61073042)资助
自动信任协商通过协商策略协调协商双方间访问控制策略、信任证的交互披露以逐步建立信任.现有的访问控制策略规则的理论表示缺乏直观性,在分析和构造策略算法时带来不便.本文将有穷自动机形式化定义与自动信任协商相结合,提出一套基于...
关键词：协商策略 有穷自动机状态转换图 访问控制策略 安全披露序列 
基于等价关系的有穷自动机最小化方法
《电脑知识与技术》2009年第9期7273-7273,7297,共2页马子睿 
宁夏自然科学基金资助项目（NZ0726）;宁夏大学科学研究基金资助项目（ZR200821）
主要介绍了有穷自动机的基础知识，研究了有穷自动机的等价性，并在确定型有穷自动机的状态集上引入等价关系，给出了自动机的最小化过程。利用等价归并算法，可以将某一给定的确定型有穷自动机状态集上的等价状态归并掉．生成与其等价...
关键词：有穷自动机 状态转换图 等价关系 确定型有穷自动机 最小化 
下推自动机的状态转换图与下推自动机的化简被引量：10
《计算机科学》2006年第3期271-274,共4页张继军 吴哲辉 
参照有限状态自动机图形表示方式的思想方法,研究了标准下推自动机的图形表示——PAD 状态转换图,证明了下推自动机与标准下推自动机的等价性。给出了对标准下推自动机进行化简的原则,并给出了化简算法,实现了下推自动机的化简。
关键词：状态转换图 标准下推自动机 化简 行为等价 状态等价 
用于C语言的错误处理预编译器被引量：2
《计算机应用》2005年第10期2453-2455,共3页施海昕 佘堃 
根据编译原理,设计并实现了一个用于C语言的错误处理预编译器。通过扫描程序代码,它可以找到特定格式的注释,并从中提取错误名称、错误信息和错误号,最终生成对应的错误处理代码。这个预编译器改进了C语言错误处理机制,提高了软件开发...
关键词：有限自动机 状态转换图 词法分析 语法分析 
词法分析的有效工具被引量：1
《安庆师范学院学报（自然科学版）》2005年第3期109-111,共3页张玉州 姚晟 
本文首先分析了编译系统中词法分析的任务、过程,而后讨论了词法分析的有效工具,最后阐述了词法分析器的实现过程。
关键词：词法分析 正规式 有限自动机 状态转换图 
自动机到正规表达式的重构方法研究被引量：2
《计算机工程与应用》2004年第23期65-67,共3页马吉明 韩丽 甘勇 
河南省杰出青年科学基金项目(编号:0112001500)资助
自动机理论是编译程序中单词识别的基本理论。论文分析了自动机与正规表达式等价性定理,指出了从确定有限自动机到正规表达式重构规则中存在的问题,给出了一个包含多个结点所组成回路的有限自动机到正规表达式的重构定理,并通过实例对...
关键词：编译程序 自动机 正规表达式 状态转换图 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部