【编译原理笔记】直接由正则表达式生成自动机

【编译原理笔记】直接由正则表达式生成自动机

步骤

画出语法分析树->编号->写出firstpos/lastpos/followpos->画出自动机

语法分析树

or结点：并节点（|)

cat结点：连接运算符（·)

star结点：*运算符

nullable(n)

判断当前的集合是否包括空串。（包括空串就是true）用于计算followpos

1、叶子节点取值为空，函数值为true(肯定是空串)

2、叶子节点取值不为空，函数值为false（肯定不是空串）

3、如果为or结点，那么左右子树有一个为空就是true

4、cat结点，左右子树都是空串，才会是true

5、star结点，克林闭包本身包括空串，一定为true

firstpos（n）

表示以n为根节点的子树中，往后推导的第一个符号

1、叶子节点为空串，推导不了一点，（因为是叶子节点，最底层，没推导空间，自己又是空）所以firstpos(n)={Ø}

2、叶子节点不为空，只能推导出他自己，firstpos(n)=i（i是当时结点的编号）

3、为or结点时，可以推导出左子树或者右子树的第一个位置，那么firstpos(n)=firstpos(c1)Ufirstpos(c2) ，左右子树firstpos的并集

4、为cat结点，作连接操作，下面这个图非常清楚（出处：详解nullable、firstpos、lastpos和followpos的计算规则 - 卓卓 - 博客园 (cnblogs.com))

5、为star结点，只有一个子树，为子树的firstpos

lastpos（n)

cat结点c1，c2对调，其余相同

followpos（n）

or结点选择一个来推导？

连接结点，左子树后面肯定跟着右子树第一个，所以左子树每个位置的i都是右子树的firstpos

star结点，每个i都是lastpos，因为首尾相连。