摘要: ssh -T git@github.com验证ssh密钥,提示 解决办法: 这里yes回车就好了。 阅读全文
posted @ 2022-02-09 22:48 cai的一批 阅读(25) 评论(0) 推荐(0) 编辑
摘要: 正规式和正则表达式都是通过一定的语法规则来描述文法,但不是同一个概念。 正规式是一种用来描述正则语言的更紧凑的表示方法 正规式可以由较小的正规式按照特定规则递归地构建。每个正规式r定义(表示)一个语言,记为L(r) 正规集的定义 能用正规式或正规文法表示的集合称为正规集。 注意:{a,b}*的任一子 阅读全文
posted @ 2021-06-27 11:47 cai的一批 阅读(2490) 评论(0) 推荐(0) 编辑
摘要: NFA的确定化 该方法称为子集法: 按字符将起始状态集与到达状态集抽象为状态,从而等价地化为单值映射, ε弧按照语义被吸收,由 ε-closure 运算去除 首先定义 ε-closure 运算: 设 I 是状态集的一个子集,则 I 的 ε-闭包 ε-closure(I) 为 若状态s∈I,则s∈ε- 阅读全文
posted @ 2021-06-27 11:33 cai的一批 阅读(6099) 评论(0) 推荐(0) 编辑
摘要: 1.单词的种类 1)关键字:eg:while、if、else 2)标识符:eg:变量名、数组名、函数名… 3)常数:eg:80、1.23、“Hello“… 4)运算符:eg:算术运算符、逻辑运算符、关系运算符… 5)界限符:eg:,、:、[、]、{、}…除了五类单词,还包括空格符、回车符、换行符等。 阅读全文
posted @ 2021-06-27 10:54 cai的一批 阅读(328) 评论(0) 推荐(0) 编辑
摘要: 乔姆斯基把方法分成四种类型,即0型、1型、2型和3型。这几种文法类型的概念一定要掌握,是一个非常重要的考点。对于这几种文法,一般书上都只有简单的概念介绍,比较抽象,所以很多学员都没有真正理解。下面我将把概念结合例题进行讲解。 0型文法 设G=(VN,VT,P,S),如果它的每个产生式α→β是这样一种 阅读全文
posted @ 2021-06-26 16:50 cai的一批 阅读(1732) 评论(0) 推荐(0) 编辑
摘要: 乘积 设A和B是符号串的集合,则A和B的乘积定义为 AB = {xy | x∈A and y∈B}。 eg:若A={a,b},B={b,c},则AB = {ab,ac,bb,bc}。 对任意符号串集合A,有{ε}A = A{ε} = A。 幂运算 设A是符号串的集合,则A的幂运算定义为 A0 = { 阅读全文
posted @ 2021-06-26 12:38 cai的一批 阅读(1008) 评论(0) 推荐(0) 编辑
摘要: 1.3 编译程序的发展1.编译程序历史编译程序是系统软件中资格最老的成员之一。译理论和技术近30年来发展十分迅速、成熟现已形成一套较为系统化的编译理论和技术 2.编译理论与其他课程关系 3.编译理论的应用编译理论的许多想法和技术可用于一般软件的设计。 4.翻译程序翻译程序(Translator) 是 阅读全文
posted @ 2021-06-10 16:35 cai的一批 阅读(393) 评论(0) 推荐(0) 编辑
摘要: 1.2.1 编译程序的重要性使得计算机用户不必考虑与机器有关的繁琐细节使程序员和程序设计人员独立于机器(平台) 高级语言的出现,以及编译程序的出现,对计算机软件技术的发展起到重要的作用 1.2.2 编译程序的发展第一个编译程序的出现 20世纪50年代早期,FORTRAN语言编译程序20世纪50年代中 阅读全文
posted @ 2021-06-10 11:10 cai的一批 阅读(288) 评论(0) 推荐(0) 编辑
摘要: 计算机系统软件结构【软件:系统软件;用户软件】 典型的语言转变系统 C->C编译器(turboc)->c Java->Java编译器(JVM)->Bytecode 编译系统术语 编译(编译程序):Compile (Compiler) 编译程序的源语言(源程序): (source language)( 阅读全文
posted @ 2021-06-10 11:01 cai的一批 阅读(203) 评论(0) 推荐(0) 编辑
摘要: 低级语言一面向计算机 机器语言 符号语言汇编语言 高级语言一 面向用户 面向过程性语言一面向用户的语言如: C、Pascal 专用语言一面向问题的语言如: SQL 面向对象语言如: Java、C++、C# 脚本语言: HTML、JavaScript、 python(面向对象) ➢各种程序设计语言都有 阅读全文
posted @ 2021-06-10 10:51 cai的一批 阅读(142) 评论(0) 推荐(0) 编辑