句法剖析（parsing），文学-语言文字-计算语言学及语料库语言学-计算语言学-形式语言，计算机自动识别句子中各个句法单位及其之间相互关系的过程。又称自动句法分析。自然语言的剖析技术是建立在自然语言的形式语法的基础之上的。所谓句法剖析，就是要用形式语法来分析语言句子的结构，使之能清晰地、形式化地表示出来。因此，形式语法在自然语言的句法剖析中有着极为重要的作用。用于句法剖析的形式语法，在语言的描述方面较为自然、明白、易懂；在数学的表达方面，有很强的说明力和解释力；在计算技术方面，具有较高的效率。