注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 自动机理论、语言和计算导引

  2. 形式语言的经典，是初学者的入门级教程，涵盖了有穷自动机，正则表达式，正则语言，上下文无关语言，下推自动机和图灵机等内容

  3. 所属分类：专业指导

    • 发布日期：2009-05-02
    • 文件大小：8388608
    • 提供者：qiyaoer

  1. 基于IDA-Pro 的软件逆向分析方法

  2. 该文给出一种程序转换方法, 应用软件二进制程序经。反 汇编得汇编语言程序, 依据下推自动机原理设计汇编文法识别该汇编文件、制定相应的转换规则和优化措施将汇编语言转换成中间语言。

  3. 所属分类：硬件开发

    • 发布日期：2009-06-22
    • 文件大小：419840
    • 提供者：spts2008

  1. 一个基于下推自动机的Web测试自动执行器

  2. 随着应用系统的广泛应用, 对其质量要求也越来越高。如何进行有效的测试以保证应用系统的 质量是值得关注的研究问题。

  3. 所属分类：Web开发

    • 发布日期：2009-09-19
    • 文件大小：397312
    • 提供者：wkkys

  1. PDA下推自动机c++程序

  2. Pushdown Automata（PDA）下推自动机的c++程序。

  3. 所属分类：C++

    • 发布日期：2009-11-09
    • 文件大小：288768
    • 提供者：purewqk

  1. 形式语言与自动机 陈火旺 李晓明

  2. 目录 第一章 绪论 //基础知识，关系，图，形式语言 第二章 文法 //形式定义，文法构造 第三章 有穷状态自动机 //NFA DFA 第四章 正则表达式 第五章 正则语言的性质 //Myhill-Nerode定理 第六章 上下文无关语言 //上下文无关文法的化简 //乔姆斯基范式 //格雷巴赫范式 第七章 下推自动机 第八章 上下文无关语言的性质 第九章 图灵机 第十章 上下文有关语言 附录...

  3. 所属分类：专业指导

    • 发布日期：2010-04-10
    • 文件大小：6291456
    • 提供者：r_iver

  1. Petri网综合的行为理论 蒋昌俊

  2. 自Petri 先生开创性的工作之后，网论得到了长足进展，至今已形成了相当规模的研究领域。在理论方面，Petri网模型和分析技术的研究取得了许多有价值的成果，Petri网作为一种全新的自动机被开发出来，研究者对此充满了希望，认为Petri网比下推自动机有用，原因是它不存在图灵机所具有的那些可判定问题。在这期间，MIT出现了许多博士论文都是以Petri网为专题的。于是人们也象发现FSM自动机与普通语言之间的关系一样展开了对Petri网语言的研究，研制出了一些复杂的译码方法，并且定义了一些使其证明较

  3. 所属分类：嵌入式

    • 发布日期：2010-05-08
    • 文件大小：1048576
    • 提供者：basaka11

  1. jFlap自动加学习软件

  2. 一个学习自动机的很好的软件，包括NFA、DFA、正则表达式、下推自动机、上下文无关语法的设计、之间的转换等

  3. 所属分类：其它

    • 发布日期：2011-03-04
    • 文件大小：10485760
    • 提供者：lpzun

  1. c语言数据结构字符串模式匹配算法.zip

  2. KMP字符串模式匹配通俗点说就是一种在一个字符串中定位另一个串的高效算法。简单匹配算法的时间复杂度为O(m*n);KMP匹配算法。可以证明它的时间复杂度为O(m+n).。 一.简单匹配算法 先来看一个简单匹配算法的函数： int Index_BF ( char S [ ], char T [ ], int pos ) { /* 若串 S 中从第pos(S 的下标0≤pos S[0] != S[1],S[1] != S[2],所以S[1] != T[0],S[2] != T[0]. 还是从理论上

  3. 所属分类：C/C++

    • 发布日期：2011-06-12
    • 文件大小：428032
    • 提供者：stone8761

  1. 计算理论PPT

  2. 一. 本课的性质以及研究的内容 任何一门学科都有它的基础和它的基本问题，如物质的本质是什么？有机体生命的基础和起源是什么？ 什么是计算机科学的基础？什么是计算机科学的基本问题？ 诸如什么是形式语言？什么是计算？什么是能计算的？什么是不能计算的？什么是算法？如何评价算法？什么样的算法是可行的？这些问题能否判定？这又引出什么是可判定的？什么是不可判定的？ 这些问题就是计算理论要讨论的问题。 1.1 形式语言基本概念（ 1 ） 1.2 文法概念（ ） 1.3文法的分类（ ） 2.1确定的有限自动机（

  3. 所属分类：专业指导

    • 发布日期：2011-10-18
    • 文件大小：1048576
    • 提供者：ruhailiu126

  1. 采用下推自动机实现文法

  2. 语言描述如下： { 1n0m | n ≥ m ≥ 1 } 转化为上下文无关文法方法如下： 1 、拆分语言 {1^n│n≥0} {1^m 0^m |m≥1｝ 据此得到文法: G : S->1S|10|1A0 A->1A0|10 PDA M=(Q,Σ,Γ,δ,q0,Z0,F) 所以 Σ={0,1}

  3. 所属分类：专业指导

    • 发布日期：2011-11-07
    • 文件大小：18432
    • 提供者：z214957578

  1. 有关下推自动机的模拟

  2. 挺好的，有助于理解下推自动机，以及极其模拟过称。

  3. 所属分类：C++

    • 发布日期：2011-12-12
    • 文件大小：17408
    • 提供者：xiaoyuan136125

  1. 形式语言与自动机课件_辛运帏_陈有祺

  2. 形式语言与自动机课件_辛运帏_陈有祺 上课课件 与新版《形式语言与自动机》配套

  3. 所属分类：专业指导

    • 发布日期：2012-02-12
    • 文件大小：3145728
    • 提供者：wangjunbolz

  1. 计算机引论导引

  2. 这是对计算机引论导引课程ppt资料 第1章：概念自动机语言 第2章：正则语言 第3章：上下文无关语言 第4章：下推自动机 第5章：图灵机 第6章：非确定性图灵机、上下文无关语言的可判定性 第7章：可判定性回顾 第8章：规约、可计算函数 第9章：递归哥德尔 第10章：不可压缩性 第11章：多项式时间 第12章：多项式规约 第13章：NP完全问题 第14章：哈密尔顿ＮＰ完全 第15章：空间复杂度 第16章：疑难性 第17章：复杂理论高级专题

  3. 所属分类：专业指导

    • 发布日期：2012-11-25
    • 文件大小：8388608
    • 提供者：ax_bx_cx_dx

  1. 计算理论引论 课后答案

  2. 计算理论引论 英文版课后答案 、导引 掌握自动机、可计算性与复杂性的基本概念复习了解集合、序列、元组、函数等概念。能掌握常用的定理证明方法并利用解决实际问题，了解悖论产生的原因。 2、自动机与语言 （1）正则语言。了解掌握有穷自动机的形式定义和图形定义。能够设计简单的有穷自动机，熟悉几种经典正则运算系统。 了解非确定性和非确定性有穷自动机，能够理解NFA与DFA的等价性以及正则运算的封闭性。 正则表达式的形式定义及与有穷自动机的等价性。 了解并掌握非正则语言及其泵引理并能应用它证明语言的非正则

  3. 所属分类：专业指导

    • 发布日期：2013-06-21
    • 文件大小：2097152
    • 提供者：rebehcca

  1. 编译原理选择填空

  2. 1．表达式A*(B-C*(C/D))的逆波兰式是( ) A．ABC-CD/* B．ABCCD/*-* C．ABC-*CD/* D．a,b,c均不正确 2．chomsky 的2型语言可由下面哪个识别？( ) A．图灵机 B．有穷自动机 C．下推自动机 D．线性界限自动机 1.扫描器的任务是从源程序中识别出一个个___ ____。 2．语法分析最常用的两类方法是 和___ ______分析法。

  3. 所属分类：专业指导

    • 发布日期：2013-06-30
    • 文件大小：86016
    • 提供者：fengxinqi

  1. 下推自动机

  2. 描述了形式语言与自动机课程中关于下推自动机的相关内容，包括相关概念和例题等。

  3. 所属分类：讲义

    • 发布日期：2015-08-18
    • 文件大小：403456
    • 提供者：ourname

  1. 自动机理论

  2. 《形式语言与自动机》以四类形式语言（短语结构语言、上下文有关语言、上下文无关语言、正则语言）和四种自动机（有穷自动机、下推自动机、图灵机、线性有界自动机）为主线，讨论了形式语言与自动机方面的主要理论成果和应用实例。书中每一章的最后都配有大量不同难度的习题，有助于读者掌握本书内容。

  3. 所属分类：专业指导

    • 发布日期：2017-10-07
    • 文件大小：8388608
    • 提供者：weixin_40518432

  1. 计算理论-习题(含答案)

  2. 计算理论中有代表性的习题及解答。包括有穷自动机、下推自动机和图灵机，有助于学习理解计算理论知识……

  3. 所属分类：专业指导

    • 发布日期：2008-12-28
    • 文件大小：1048576
    • 提供者：wtt5777

  1. cpp-JSONchecker是一个下推自动机能够快速判断一个JSON文本的语法是否正确

  2. JSON_checker 是一个下推自动机,能够快速判断一个JSON文本的语法是否正确

  3. 所属分类：其它

    • 发布日期：2019-08-15
    • 文件大小：12288
    • 提供者：weixin_39840588

  1. lua-2pda：Lua语言的双向确定性有限下推自动机（2PDA）-源码

  2. Lua语言的双向下推自动机 凯文·史蒂文斯（Kevin Stevens） 荣誉学院的Barrett提出的部分满足毕业要求的论文 巴雷特荣誉论文委员会于2020年5月批准： 董事严Shoshitaishvili 王若愚 亚利桑那州立大学 2020年5月 抽象的 针对Lua语言开发了一种双向确定性有限下推自动机（“ 2PDA”）。 对照专用的Lua语法测试套件和Lua的参考实现所使用的测试套件对2PDA进行了评估，并全面通过了这两个测试。 致谢 作者要衷心感谢亚利桑那州立大学的Yan Shos

  3. 所属分类：其它

    • 发布日期：2021-02-18
    • 文件大小：707584
    • 提供者：weixin_42128988
« 12 »