编译原理-如何实现词法分析

如何实现词法分析？要引入一个有限状态机的概念。

有限状态机

是表示有限个状态以及在这些状态之间的转移和动作等行为的数学模型。

状态存储关于过去的信息，就是说：它反映从系统开始到现在时刻的输入变化。转移指示状态变更，并且用必须满足来确使转移发生的条件来描述它。

通俗的来讲，就是有多个状态，每个状态都能接收一定的输入，然后进入到下一个状态。

词法分析的过程

编译器将源程序以字符串的形式读入，每次取出一个字符，作为当前的状态。然后判定下一个字符的类型，根据已知的规则，决断源程序的意图。

关键字、标识符的识别

屏幕快照 2019-05-10 下午6.03.37.png

当读取到一个字符后继续往后读取，直到读取到空格或者tab等，此时生成了一个单词，判断单词是否在关键字里，如果在，则为关键字，否则为标识符。

< > =的识别

image.png

以此类推，我们可以拆解出所有的种别码。