在编程语言中，"串首终结符"（Terminal Symbol）指的是在语法分析中作为终结符使用的符号。终结符是语言中的基本元素，它们表示不可再分的最小单位。
在语法分析过程中，将输入的代码或文本流进行词法分析，将其划分为一个个的词法单元（Tokens）。词法单元可以包括关键字、标识符、操作符、常量等。终结符表示这些词法单元的实际符号，如具体的关键字、标识符名称、操作符符号等。
与终结符相对应的是"非终结符"（Non-Terminal Symbol），它们表示一组可能的终结符序列的规则或语法规则。
在语法分析过程中，终结符和非终结符通过语法规则进行组合，形成语法树或推导过程，最终构建出整个程序的抽象语法树。终结符在语法分析中起到了标识和匹配输入代码中具体符号的作用，帮助确定代码的语法结构和含义。
