关系代数的自然连接符号_形式语言与自动机, 自动机代数

内容提要:

1 形式语言与正则语言; 2 有限状态自动机; 3 自动机代数

1 形式语言与正则语言

[字母表] 我们把任意有限集合称为字母表(常记作

).

例如集合

表示所有小写字母构成的字母表.

[字符串] 字符串是字母表中的元素构成的有穷序列. 记号

表示空串.

例如“hello”，“wikipedia”,“word”都是字符串.

记全体长度为

的字符串为

. 特别的，规定

.

定义

(

字符串集合).

[语言] 语言(一般记为

) 定义为

的任意子集.

[语言间的运算] 语言间的运算就是

的幂集上的运算.

字符串集合的

交, 并, 补.

连接运算:

.

幂运算:

,

.

闭包运算:

[正则语言] 字母表

上的正则语言定义如下：

空集

是正则语言;

只包含一个空串的语言

是正则语言;

对所有

,

是正则语言.

若

,

是正则语言，则

,

,

都是正则语言

除此之外都不是正则语言

[例子] 所有的有限语言都是正则的.

[例子] 字母表

上包含偶数个

的所有字符串构成的语言是正则的.

[例子] 字母表

上取若干个

后紧跟若干个

形式的所有字符串构成的语言是正则的.

2 有限状态自动机

[非确定有限状态自动机NFA] NFA被定义为5元组

，它构成自:

状态的

有限集

输入符号有限集

转移函数

初始态

最终态的集合

.

[确定有限状态自动机DFA] DFA被定义为5元组

，它构成自:

状态的

有限集

输入符号有限集

转移函数

初始态

最终态的集合

.

[例子] 确定有限状态自动机

状态的

有限集

输入符号有限集

转移函数

由表给出

初始态

最终态的集合

.

[扩展转移函数] 我们递归的定义如下扩展的转移函数：

：

;

, 这里

,

.

是自动机从状态

顺序读入字符串

后达到的状态

[自动机的语言] 对于一个确定有限状态自动机

，如果

,

，我们就说自动机

接受字符串

，反之则表明

拒绝字符串

.

所有的这种字符串的集合

称为这个

自动机

的语言.

[DFA等同] 如果两个DFA接受相同的语言，就说这两个DFA等同.

3 自动机代数

令

是自由

-代数 , 由

生成.

[子词] 对于

我们称

是

的

子词或者 子单项式，记为

如果

或者

而

对某个

和

.

[单项式序理想] 我们称

是

单项式序理想(order ideal of monomials)当且仅当如果

和

则

.

[自动机

-代数]

如果

是单项式

-代数：

这里

是词的集合.

中的词称为正规的或者合法的.

称为

自动机

-代数(automaton monomial

-algebra)

如果

对某个DFA

.