编译原理课程设计
的有关信息介绍如下：
%{/* FILENAME: C.Y */%}#define YYDEBUG_LEXER_TEXT (yylval) /* our lexer loads this up each time */#define YYDEBUG 1 /* get the pretty debugging code to compile*/#define YYSTYPE char * /* interface with flex: should be in header file *//* Define terminal tokens *//* keywords */%token AUTO DOUBLE INT STRUCT%token BREAK ELSE LONG SWITCH%token CASE ENUM REGISTER TYPEDEF%token CHAR EXTERN RETURN UNION%token CONST FLOAT SHORT UNSIGNED%token CONTINUE FOR SIGNED VOID%token DEFAULT GOTO SIZEOF VOLATILE%token DO IF STATIC WHILE/* ANSI Grammar suggestions */%token IDENTIFIER STRINGliteral%token FLOATINGconstant INTEGERconstant CHARACTERconstant%token OCTALconstant HEXconstant/* New Lexical element, whereas ANSI suggested non-terminal */%token TYPEDEFname /* Lexer will tell the difference between this and an identifier! An identifier that is CURRENTLY in scope as a typedef name is provided to the parser as a TYPEDEFname.*//* Multi-Character operators */%token ARROW /* ->轮宴 */%token ICR DECR /* ++ -- */%token LS RS /* << >> */%token LE GE EQ NE /* <= >= == != */%token ANDAND OROR /* && || */%token ELLIPSIS /* ... */腊隐银/* modifying assignment operators */%token MULTassign DIVassign MODassign /* *= /= %= */%token PLUSassign MINUSassign /携虚* += -= */%token LSassign RSassign /* <<= >>= */%token ANDassign ERassign ORassign /* &= ^= |= */%start translation_unit%%/* CONSTANTS */constant: INTEGERconstant | FLOATINGconstant /* We are not including ENUMERATIONconstant here because we are treating it like a variable with a type of "enumeration constant". */ | OCTALconstant | HEXconstant | CHARACTERconstant ;string_literal_list: STRINGliteral | string_literal_list STRINGliteral ;/************************* EXPRESSIONS ********************************/primary_expression: IDENTIFIER /* We cannot use a typedef name as a variable */ | constant | string_literal_list | '(' comma_expression ')' ;postfix_expression: primary_expression | postfix_expression '[' comma_expression ']' | postfix_expression '(' ')' | postfix_expression '(' argument_expression_list ')' | postfix_expression {} '.' member_name | postfix_expression {} ARROW member_name | postfix_expression ICR | postfix_expression DECR ;member_name: IDENTIFIER | TYPEDEFname ;argument_expression_list: assignment_expression | argument_expression_list ',' assignment_expression ;unary_expression: postfix_expression | ICR unary_expression | DECR unary_expression | unary_operator cast_expression | SIZEOF unary_expression | SIZEOF '(' type_name ')' ;unary_operator: '&' | '*' | '+' | '-' | '~' | '!' ;cast_expression: unary_expression | '(' type_name ')' cast_expression ;multiplicative_expression: cast_expression | multiplicative_expression '*' cast_expression | multiplicative_expression '/' cast_expression | multiplicative_expression '%' cast_expression ;additive_expression: multiplicative_expression | additive_expression '+' multiplicative_expression | additive_expression '-' multiplicative_expression ;shift_expression: additive_expression | shift_expression LS additive_expression | shift_expression RS additive_expression ;relational_expression: shift_expression | relational_expression '<' shift_expression | relational_expression '>' shift_expression | relational_expression LE shift_expression | relational_expression GE shift_expression ;equality_expression: relational_expression | equality_expression EQ relational_expression | equality_expression NE relational_expression ;AND_expression: equality_expression | AND_expression '&' equality_expression ;exclusive_OR_expression: AND_expression | exclusive_OR_expression '^' AND_expression ;inclusive_OR_expression: exclusive_OR_expression | inclusive_OR_expression '|' exclusive_OR_expression ;logical_AND_expression: inclusive_OR_expression | logical_AND_expression ANDAND inclusive_OR_expression ;logical_OR_expression: logical_AND_expression | logical_OR_expression OROR logical_AND_expression ;conditional_expression: logical_OR_expression | logical_OR_expression '?' comma_expression ':' conditional_expression ;assignment_expression: conditional_expression | unary_expression assignment_operator assignment_expression ;assignment_operator: '=' | MULTassign | DIVassign | MODassign | PLUSassign | MINUSassign | LSassign | RSassign | ANDassign | ERassign | ORassign ;comma_expression: assignment_expression | comma_expression ',' assignment_expression ;constant_expression: conditional_expression ; /* The following was used for clarity */comma_expression_opt: /* Nothing */ | comma_expression ;/******************************* DECLARATIONS *********************************/ /* The following is different from the ANSI C specified grammar. The changes were made to disambiguate typedef's presence in declaration_specifiers (vs. in the declarator for redefinition); to allow struct/union/enum tag declarations without declarators, and to better reflect the parsing of declarations (declarators must be combined with declaration_specifiers ASAP so that they are visible in scope). Example of typedef use as either a declaration_specifier or a declarator: typedef int T; struct S { T T;}; /* redefinition of T as member name * / Example of legal and illegal statements detected by this grammar: int; /* syntax error: vacuous declaration * / struct S; /* no error: tag is defined or elaborated * / Example of result of proper declaration binding: int a=sizeof(a); /* note that "a" is declared with a type in the name space BEFORE parsing the initializer * / int b, c[sizeof(b)]; /* Note that the first declarator "b" is declared with a type BEFORE the second declarator is parsed * / */declaration: sue_declaration_specifier ';' | sue_type_specifier ';' | declaring_list ';' | default_declaring_list ';' ; /* Note that if a typedef were redeclared, then a declaration specifier must be supplied */default_declaring_list: /* Can't redeclare typedef names */ declaration_qualifier_list identifier_declarator {} initializer_opt | type_qualifier_list identifier_declarator {} initializer_opt | default_declaring_list ',' identifier_declarator {} initializer_opt ;declaring_list: declaration_specifier declarator {} initializer_opt | type_specifier declarator {} initializer_opt | declaring_list ',' declarator {} initializer_opt ;declaration_specifier: basic_declaration_specifier /* Arithmetic or void */ | sue_declaration_specifier /* struct/union/enum */ | typedef_declaration_specifier /* typedef*/ ;type_specifier: basic_type_specifier /* Arithmetic or void */ | sue_type_specifier /* Struct/Union/Enum */ | typedef_type_specifier /* Typedef */ ;declaration_qualifier_list: /* const/volatile, AND storage class */ storage_class | type_qualifier_list storage_class | declaration_qualifier_list declaration_qualifier ;type_qualifier_list: type_qualifier | type_qualifier_list type_qualifier ;declaration_qualifier: storage_class | type_qualifier /* const or volatile */ ;type_qualifier: CONST | VOLATILE ;basic_declaration_specifier: /*Storage Class+Arithmetic or void*/ declaration_qualifier_list basic_type_name | basic_type_specifier storage_class | basic_declaration_specifier declaration_qualifier | basic_declaration_specifier basic_type_name ;basic_type_specifier: basic_type_name /* Arithmetic or void */ | type_qualifier_list basic_type_name | basic_type_specifier type_qualifier | basic_type_specifier basic_type_name ;sue_declaration_specifier: /* Storage Class + struct/union/enum */ declaration_qualifier_list elaborated_type_name | sue_type_specifier storage_class | sue_declaration_specifier declaration_qualifier ;sue_type_specifier: elaborated_type_name /* struct/union/enum */ | type_qualifier_list elaborated_type_name | sue_type_specifier type_qualifier ;typedef_declaration_specifier: /*Storage Class + typedef types */ typedef_type_specifier storage_class | declaration_qualifier_list TYPEDEFname | typedef_declaration_specifier declaration_qualifier ;typedef_type_specifier: /* typedef types */ TYPEDEFname | type_qualifier_list TYPEDEFname | typedef_type_specifier type_qualifier ;storage_class: TYPEDEF | EXTERN | STATIC | AUTO | REGISTER ;basic_type_name: INT | CHAR | SHORT | LONG | FLOAT | DOUBLE | SIGNED | UNSIGNED | VOID ;elaborated_type_name: aggregate_name | enum_name ;aggregate_name: aggregate_key '{' member_declaration_list '}' | aggregate_key identifier_or_typedef_name '{' member_declaration_list '}' | aggregate_key identifier_or_typedef_name ;
