188宝金博页面版

计算机光盘软件与应用软件设计开发 ComputerCD Sof tware and Appl i cati ons201 1年第7期C程序词法和语法查错分析郭俊凤’ ，王开铸2(1．哈尔滨金融学院。哈尔滨150030；2．哈尔滨工业大学。哈尔滨150001)摘要：本文从c程序查错的词法错误、语法错误、语义错误和逻辑错误四个角度出发．重点对词法壹错和语法查错原理进行了探宛，并分剐用易于口语交流的自然语言表示法、易于书面语表达的形式化表示法和利于人机交流的语法图表示法进行了分析。关键词：词法查错；语法查错；语义查错中圈分类号：TP391．1 文献标识码：A 文章■ 号：1007-9599( 2011) 07-0142-02C Program Lexi cal andSyntaxGuo J unf eng 1．Wang(1．Harbi nFi nance Uni versi ty，Harbi n 1 50030．Chi na；2．Harbi nAbstract：Thi s arti cl e from the C program troubl eshooti ng l exi calpoi nt of vi ew, focusi ngon the morphol ogy and syntax troubl eshooti ngeasy-to-natural l anguage representati on easytoexpress the formal wri ttendi agram representati on i s anal yzed．Keywords：Lexi caleITOr checki ng；Syntax cl woF checki ng；Semanti c一、程序错误( 一) 程序错误类型大多数的程序错误可以简单加以归类?t 60％是标点符号错，20％是运算符或运算对象错，15％是关键字错．剩F 5％是其他类型的错误，对这些错误按性质可以分为：词法错误、语法错误、语义错误和逻辑错误。( 二) C程序错误分析如有如下C程序：mai n( ){i nt b=5：pri ntf( “ ％d” ，B) l}经TC编译给出如下信息( WIN—Tc亦如此) ．· Error c1．C 4：Undef i ned symbol ‘ B’ i n f uncti on mai n· Warni ng c1．c 5：’b’ i s assi gned a val ue whi ch i s neverused i n f unct i on mai n编译程序” 1把B和b认为是两个不同的变量名．而显示出两个出错信息：一个是变量B无定义，另一个是变量b赋值后未使用。其实是编程者忽略了大小写字母的区别。使之成为两个不同的字，甚至是不同的词。编译程序最基本最首要的任务是进行词法分析和语法分析。二、词法查错分析C语言按词意和用途分六类词“ 。：关键字、标识符、常数、运算符、分隔符和注释符。词法查铺程序的任务是在程序中读出一个正确的词。当词出错时，给出错误位置、性质。如语句“ a=12．3l ” 由4个词组成“ a” 、“ =” 、“ 12，3” ，“ ；” 。当读到“ 12。3” 时，指出X× 行常数有错。词法查错程序的关键在于识别C语言的词。C语言的词按数量可以分为有限词和无限词，对于有限词自．两种识别方法：一为查衷法，如将32个天键词组成关键词衷。当读一个以字母打头的词时．与关键词表匹配．匹配上说明是关键词，否则不是关键词l 二为程序匹配法．如注释符“ ／．??+／” 在程序中匹配时，读入2个符号是“ 一” 时，则在本行找“ 十／” 的出现，则是注释符；否则不是注释符。对于无限词用规则识别，如标识符的规则是：由字母或下划线打头，后跟字母、数字、下划线串组成。标识符、整数、八进制整数、十六进制整数、实数、指数、字符常数，常符串常数的语法图分别用S1、S2、S3、S4、S5、S6、S7、S8表示。如图1-1、1-2、1-3、1-4、1-5、1-6，1-7、1-8所示．图1．6指数语法图S6———◆ ‘ 十字P‘L．．一田1-7宇符常数语法图S7——一◆ “ ．_广◆ 字T◆ 。L．．一圈1-8宇符串常数语法图S8图1—9 S1状态机可以将每个语法图转换成状态机?，从左到右编写状态，开始为状态O．状态间的连线是语法单位或终结符。语法单位表示调用子状态机。以Sl 为例。其状态机如图卜9所示．词法直错程序有8个状态机，如何区分它们，或者说如何识别状态机是执行各个状态机的首要问题。观察8个状态机中第一个状态转换的条件：字母或一、数字、0、X、整数、实数、。、“ ，这些条件的首字符叮分为三类：字母或一、数字、符号。当是“ 字母或一” 时，确定是状态机Sl 和S4, 当是数字时，确定是状态机S2、S3、S5和S6：当是符号时，确定是状态机S7和S8l 如何继．．一142．．一