C语言表达式的语法图与语法检查

Ｃ语言的表达式较ＦＯＲＴＲＡＮ、ＰＡＳＣＡＬ等高级语言的表达式更复杂、更灵活。为了更好地说明Ｃ语言的表达式，本文根据美国ＡＮＳＩ的标准给出了它的语法图。在使用自顶向下分析算法检查表达式的语法正确性时，要求该语法无左递归。因而，对Ｃ语言表达式的语法图进行了适应的等价变形，使之成为无左递归的语法图。同时简要说明了左递归的消除和检查程序的设计。