编译原理5：正规式、有限自动机

正规集和正规式

仅由有限次使用上述三步骤而定义的表达式才是Σ上的正规式，仅由这些正规式表示的字集才是Σ上的正规集。

 

 

 程序设计语言的单词集合都是正规集，每个正规集可以用一个正规式描述出来，正规式和正规集是一组对应的概念。

确定有限自动机 DFA

 
非确定有限自动机 NFA

 若连线上的为正规式，则满足正规式中的正规集中任意的一个字就可转变

对比：NFA更直观，更易于人工设计；DFA则易于程序实现

小结 

正规式和正规集
确定有限自动机和非确定有限自动机

 补充

 NFA，因为空串不是确定的接收字符。