计算理论笔记 10月10日

1   自动机生成一个语言，如果我们想要画补语言的状态转换图，只需将终结态变成非终结态，非终结态变成终结态即可。

2   有穷自动机的另一种表达方法

     当我们存在一个不能确定的变量时，这时我们采用五元组进行表示。

     例如：对每一个变量i，设计一个自动机能够识别（字符表0,1生成的字符串，其中字符串有连续i倍数的1）。

3  正规语言是一个自动机能够识别的字符串的集合（注意这里可以证明DFA和NFA都成立）。

4  正规运算符包括并操作，连接操作，和星操作。

5  正规语言在以上三种正规运算符中是封闭的。

6  证明  在并下是封闭的，其实是一种并行的思路。

              

     但是对于连接操作和星操作我们只能通过NFA进行证明（NFA更强大）。

7  按照6给的步骤，我们可以知道：交运算，补运算已经证明过（终止状态和非终止状态取反即可），所以差运算也可以证明是封闭的。