现代计算机语言(如Java)的词法分析在必要和充分意义上需要以下哪一种机器模型的能力? (A)有限状态自动机(B)确定性下推自动机(C)非确定性下推自动机(D)图灵机答案：(一)说明：在词法分析中，有限自动机用于从输入程序中以标识符、关键字和常量的形式生成标记。在模式识别的过程中，通常使用字符串匹配算法来搜索关键字。 见 https://www.geeksforgeeks.org/automata-theory-set-3/这个问题的测验