用以决定一语句或一符号字串的语法结构是否正确的一种程式。通常以词汇分析器输出的序列符记为输入，以抽象语法树的方式输出。参【抽象语法树】（abstract syntax tree）、【词法分析器】（lexical analyzer）。