第三章词法分析|状态转换图的实现方式

状态转换图的实现方式

三种方式分别是什么？

它们是如何实现的？

这些方法分别有哪些优缺点？

---

下面详细说明状态转换图的优化数据结构：

如何构造状态转换图的压缩存储图？

---

default 中，存放当前状态默认到达的新状态，即通过Other到达的其他新状态。这里默认达到0。

base是指向next表的指针。根据next位置而变化。

next 存放当前状态 S ，经过识别符号 a ，到达的新状态 。

check 存放当前状态 S 。

next 和 check 的下标对应，均为 base [ S ] + a 。

状态0通过识别0，到达状态1。 即： next [ base[0] + 0 ] = 1 , check [ base[0] + 0 ] = 0

状态0通过识别1，到达状态3。 即： next [ base[0] + 1 ] = 3 , check [ base[0] + 1 ] = 1

状态1的base更新为2。

同理进行状态1的分析。

状态n在next表中的各个识别过程不一定是连续的，中间可能有空行。

这时，识别下面的新状态n+1时，base[n+1]要从最上面的空行开始。

最终，我们构造出完整的状态转换图的压缩存储图。