码迷,mamicode.com
首页 >  
搜索关键字:形式语言    ( 59个结果
形式语言与自动机 11 CFG与PDA的转换
上下文无关文法与PDA的等价性 PDA我们之前讲了有两种形式:一种叫做以终结状态 为结束标记的PDA; 还有一种叫做以空栈 为结束标记的PDA。并且前面也已经讲过这两种PDA是等价的。 这个化简之后,b在栈的最下面。 CFG转化成PDA |PDA转化成CFG 首先要知道 CFG是4元组,而PDA是7 ...
分类:编程语言   时间:2020-07-04 20:47:22    阅读次数:78
形式语言与编译 九 CFG到CNF再到GNF 左递归消除
先找出$N_A簇,N_B簇,N_C簇$,先对$N_A簇$:是单产生式的 将来会因为替换而消除;不是单产生式的 直接放进新的集合 同理对$N_B簇,N_C簇$也是一样(这样一般得到三个"堆") 确实没了单产生式。 CFG的化简 建议做的过程: 消除$\epsilon$ 产生式 消除单产生式 消除无用符 ...
分类:编程语言   时间:2020-06-27 17:29:44    阅读次数:125
形式语言与自动机六 DFA的最小化
DFA的最小化 前面我们讲过NFA通过确定化能够得到DFA,现在我们看能不能让已经得到的DFA的状态数能不能再继续变小(minimise).其实也就是对优化再优化。 我们从NFA得到DFA的过程中有使用子集构造法。但是子集构造法的的状态数还是过多,达$2^n$ 个。现在我们的目的就是进一步减少状态数 ...
分类:编程语言   时间:2020-06-18 19:57:38    阅读次数:102
形式语言与自动机五 正则语言的三个性质
非正则语言 NFA、\(\varepsilon-NFA\) 面向人构造系统 DFA面向机器构造系统 自动机理论非常完美!! 自动机的表述有纯数学形式的五元组形式(用来科学定义以及证明)、状态转移图(用来直观理解,也是一种数学工具)、状态转移表(编程用,用来定义数据结构比较好,面向计算机存储) 乔姆斯 ...
分类:编程语言   时间:2020-06-17 23:39:02    阅读次数:80
形式语言与自动机(二)NFA
正则语言 如果某个语言能被DFA识别,那么它就是正则的 例题1: 构造一个字母表为{0,1}的DFA,使其接受所有最多含有三个1的串。 例题2: 构造一个DFA,使其能够定义如下语言: ? L={010,1} \(\Sigma=\{0,1\}\) 处理不了的话,可以引入一个特殊状态——死状态Qdie ...
分类:编程语言   时间:2020-06-15 18:09:01    阅读次数:99
形式语言与自动机
形式语言与自动机 有穷自动机(有限自动机Finite Autometa) 自动机通常用 状态转移图 来表示。 从一个状态输入一个刺激得到另一个状态的过程。 软件工程里面的实时系统、复杂系统也用状态转移图来表示,因此状态转移图非常有用。 通过状态转移图,可以明确的描述某个系统 有穷自动机表示状态转移: ...
分类:编程语言   时间:2020-06-14 18:30:35    阅读次数:58
计算机是由什么组成的?
1.什么是计算机? 计算机(computer)俗称电脑,是现代一种用于高速计算的电子机器,可以进行数值计算,又可以进行逻辑判断,还具有存储记忆功能, 且能够按照程序的运行,自动,高速处理数据。 2.计算机是由什么组成的? 一个完整的计算机系统,是由硬件系统和软件系统两大部分组成的。 (1)硬件系统 ...
分类:其他好文   时间:2020-04-01 00:40:01    阅读次数:380
hell for循环
除了 while 循环和 until 循环,Shell 脚本中还有for 循环,for 循环有两种使用形式:C语言风格的for循环与Python语言风格的for in循环,两种形式的for循环用法对比如下: for循环用法说明实例1实例2实例3实例4实例5 C语言风格 for((exp1; exp2 ...
分类:其他好文   时间:2020-03-23 20:54:00    阅读次数:126
小鸟初学Shell编程(二)编写简单的Shell脚本
Shell脚本 编写Python、PHP脚本通常需要掌握语言的函数,那么Shell脚本则不需要,只需要掌握Linux命令就可以编写Shell脚本,因为Shell脚本就是由多个Linux命令组成,通过将多个Linux命令组合保存成一个脚本文件,可直接给其他人使用。 组合命令 进入一个目录,查看目录的文 ...
分类:系统相关   时间:2019-09-28 01:11:17    阅读次数:82
文法和语言总结与梳理
1. 梳理第二章的内容,写一篇理解与总结。 第二章主要讲述了文法的直观概念,符号和符号串,文法和语言的形式定义,文法的类型,上下文无关语法及其语法树 句型的分析,自订向下的分析方法,自底向上的分析方法,限制文法中不得含有有害规则和多余规则,在形式语言中, 最右推导常被称为规范推导,由规范推导所得的句 ...
分类:编程语言   时间:2019-09-26 18:43:55    阅读次数:146
59条   1 2 3 4 ... 6 下一页
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!