答案:A。
有限状态自动机(Finite State Automaton,FSA)是为研究有限内存的计算过程和某些语言类而抽象出的一种计算模型。有限状态自动机拥有有限数量的状态,每个状态可以迁移到零个或多个状态,输入字串决定执行哪个状态的迁移。有限状态自动机可以表示为一个有向图。有限状态自动机是自动机理论的研究对象。所以,选项A正确。
下推自动机﹙Push Down Automaton,PDA﹚是自动机理论中定义的一种抽象的计算模型。下推自动机比有限状态自动机复杂:除了有限状态组成部分外,还包括一个长度不受限制的栈;下推自动机的状态迁移不但要参考有限状态部分,也要参照栈当前的状态;状态迁移不但包括有限状态的变迁,还包括一个栈的出栈或入栈过程。术语“下推”来自原型机械自动机物理上接触穿孔卡片来阅读其内容的下推动作。术语“确定下推自动机”(Deterministic Push Down Automaton,DPDA)指的是识别确定上下文无关语言的抽象计算设备。
图灵机,又称图灵计算、图灵计算机,是由数学家阿兰·麦席森·图灵(1912~1954年)提出的一种抽象计算模型,它有一条无限长的纸带,纸带分成了一个一个的小方格,每个方格有不同的颜色。有一个机器头在纸带上移来移去,机器头有一组内部状态,还有一些固定的程序。在每个时刻,机器头都要从当前纸带上读入一个方格信息,然后结合自己的内部状态查找程序表,根据程序输出信息到纸带方格上,并转换自己的内部状态,然后进行移动。
词法分析(lexical analysis)是计算机科学中将字符序列转换为单词(Token)序列的过程,是编译过程的第一个阶段。完成词法分析任务的程序称为词法分析程序(也叫词法分析器或扫描器)。从左至右地对源程序进行扫描,按照语言的词法规则识别各类单词,并产生相应单词的属性字。词法分析器一般以函数的形式存在,供语法分析器调用。
通过上述分析可知,词法分析主要依靠有限状态自动机进行。所以,选项A正确。