编译原理中机器语言与自动机知识复习

最新推荐文章于 2023-11-07 05:45:00 发布

又又2020

最新推荐文章于 2023-11-07 05:45:00 发布

阅读量325

点赞数

文章标签：编译器

本文链接：https://blog.csdn.net/qq_41939332/article/details/104733782

版权

字母表
是一个非空有穷集合
字母表中的元素成为该字母表的一个字母/符号/字符
用 ∑ 表示
符号串
字母表 ∑上的符号串，由∑中的符号构成的有穷序列
用ε表示空串/空字
用ω表示符号串的长度，即符号串中字符法仍个数，记作|ω|
用∑*表示∑上所有符号串的全体
```
eg.  ∑ = {0,1}, ∑** = ?
|ω| = 0, ∑*  = {ε}                                                 
|ω| = 1, ∑*  = {0,1}
|ω| = 2, ∑*  = {00,01,10,11}
|ω| = 3, ∑*  = {000,001,010,....} 	 
...
```
符号串的相关概念

子序列
从s中删除0个或多个字符（不要求连续删除）

 eg. 'abcd' 有多少个子串？
 长度不能为0或4
 长度为1、2、3
 |w| = 1,  {a,b,c,d}
 |w| = 2,  {ab, bc, cd}
 |w| = 3,  {abc, bcd}
 共9种

符号串的相关运算

连接/并置运算

 eg. s = '01'   g = 'ab'
	sg = '01ab'
s和g直接连接即可

幂运算

x^0 =  ε
x^1 = '01'
x^2 = '0101'
x^3 = '010101'
...
x^n = x^(n-1)x
x^(n-1)和x连接

乘积/幂
① 设∑1、∑2为两个字母表，则∑1与∑2的乘积
∑1∑2 = {ab | a∈ ∑1, b∈ ∑2}
|w| 恒为2
```
 eg.  ∑1 = {a,b}, ∑2 = {0,1}
 ∑1∑2 = {a0, a1, b0, b1}
```
② ∑的n次幂，递归定义
∑^0 = {ε}
∑^n = ∑^(n-1)∑
```
 eg. ∑ = {0, 1}
 ∑^0 = {ε}
 ∑^1 = {0, 1}
 ∑^2 = {00, 01, 10, 11}
 ...
```
正闭包
∑+ = ∑ U ∑^2 U ∑^3…
Kleene闭包
∑* = ∑ ^0U ∑^1 U ∑^2…