形式语言与自动机 3.正则表达式

定义：

语言的运算：

和字母表一样的道理。

递归定义：

 

优先级：

 

例子：

 

 

 

我们知道DFA可以确定一个正则表达式，那要怎么把DFA变成正则表达式呢：

 

注意是“中间的不超过K”哟。

 

 

 

 

 

总而言之：

这里插播一条简化方法：

  

例子：

 

 

 

另一种方法：状态消除法：

 

这里先看几个实例：

 

 

 

 

 

 

这个方法简单多了。

自动机到正则我们已经知道了，那怎么从正则到自动机呢：

 

那我们要怎么做呢？：

 

 

 

 

 

总而言之：

例子： 

 

 

正则表达式的代数定律：