Clite(抽象語(yǔ)法)市公開課特等獎(jiǎng)市賽課微課一等獎(jiǎng)?wù)n件

clite語(yǔ)法類型非概要信息和意義

(025704-116)Program:Declarations和一個(gè)Compound;Declaration:個(gè)體Declaration序列；Declaration:個(gè)體變量，其類型和大??；Type:{int,bool,float,char}集合部分；Statement:子類Compound,Skip,Assignment,Conditional和Loop;Compound:個(gè)體Statement序列，以他們出現(xiàn)次序執(zhí)行。每一個(gè)出現(xiàn)在抽象語(yǔ)法樹相同層次。Skip:跳轉(zhuǎn)語(yǔ)句Assignment:將表示式賦給變量語(yǔ)句第1頁(yè)conditional:一個(gè)表示式(test)和兩個(gè)語(yǔ)句（thenbranch和elsebranch),其中一個(gè)被執(zhí)行則另一個(gè)則跳過。在if-then語(yǔ)句，elsebranch作為一個(gè)Skip語(yǔ)句實(shí)例。Lood:一個(gè)表示式（test)和一個(gè)只要測(cè)試結(jié)果是ture就不停重復(fù)語(yǔ)句（循環(huán)體）。Expression:子類Variable,Value,Binary,和Unary;Binary:一個(gè)Operater和兩個(gè)Expression;Unary:一個(gè)Operator和兩個(gè)Expression;Operator:&&,||,|,<,<=,==,!=,>,>=,+,-,~,和/,表現(xiàn)：boolean運(yùn)算符：and,or,not;關(guān)系運(yùn)算符：lessthan ,lessorequal,equal,notequal,greaterthan,greater,orequal;數(shù)學(xué)運(yùn)算符：plus,minus,times,divide第2頁(yè)Value:有子類IntValue,FloatValue,BoolValue和CharValueintValue:整數(shù)值FloatValue:浮點(diǎn)數(shù)值，描述從計(jì)算機(jī)近似值到一非整數(shù)值。BoolValue:Boolean值，也就是說不是ture就是false;CharValue:單個(gè)字符值；第3頁(yè)Clite程序抽象語(yǔ)法樹：Program=Declarationsdecpart;Statementsbody;Declaration=Declaration*Declaration=VarableDecl|ArrayDeclVariableDecl=Variablev;TypetArrayDecl=Variablev;Typtt;IntegersizeType=int|bool|float|charStatements=Statemment*statement=Skip|Block|Assignment|Conditional|LoopSkip=Block=StatementsConditionnal=Expressiontest;Statementthenbranch,elsebranchLoop=Expressiontest;StatementbodyAssignment=VariableReftarget;ExpressionsourceExpression=VariableRef|Value|Binary|Unary第4頁(yè)VariableRef=Variable|ArrayRefBinary=Operatorop;Expressionterm1,term2Unary=UnaryOpop;ExpressiontermOperator=BooleanOp|RelationnalOp|ArithmeticOpBooleanlOp=&&|||RelationalOp==|!=|<|<=|>|>=ArithmeticOp=+|-|*|/Unary=!|-Variable=StringidArrayRef=Stringid;ExpressionindexValue=IntValue|BoolValue|FloatValue|CharValueIniValue=IntegerintValueFloatValue=FloatfloatvalueBoolValue=BooleanboolvalueCharValue=Charactercharvalue/*仔細(xì)看一下其實(shí)也不難-取決你態(tài)度*/第5頁(yè)A.1Clite詞匯和詳細(xì)句法/*全部引用變量必須申明*/

Program-->intmain(){DeclarationsStatements}Declarations-->{Declaration}Declaration-->TypeIdentifier[[integer]]{.Identifier[[integer]]};Type-->int|bool|float|charStatements--->{Statement}Statement-->:|Block|Assignment|IfStatement|WhileStatementBlock--->{Statement}Assignment--->Identifier[[Expression]]=Expression;IfStatement-->if(Expression)Statement[elseStatement]WhileStatement-->while(Expression)StatementExpression-->Conjunction{||Conjunction}Conjunction-->Equality{&&Equality}Equality-->Relation[EquOpRelation]第6頁(yè)EquOp--->==|!=Relation-->Addition[RelOpAddition]RelOp--><|<=|>|>=Addition-->Term{AddOpTerm}AddOp-->+|-Term-->Factor{MulOpFactor}MuiOp-->*|/|%Factor-->[UnaryOp]PrimaryUnaryOp-->-|!Primary-->Identifier[[Expression]]|Literal|(Expression)|Type(Expression)Identifier-->Letter{Letter|Digit}Boolean--->true|falseFloat-->Integer.IntegerChar-->'ASCIIChar'第7頁(yè)A.2Clite抽象句法/*全部申明變量必須唯一*/

Program=Declarationsdecpart;Statementsbody;Declaration=Declaration*Declarations=VariableDecl|ArrayDeclVariableDecl=VariableV;TypetArrayDecl=Variablev;Typet;IntegersizeType=int|bool|float|charStatements=Statement*Statement=Skip|Block|Assignment|Conditional|LoopSkip=Block=StatementsConditional=Experssiontest;Statementthenbranch,elsebranchLoop=Expressiontest;StatementbodyAssignment=VariableReftarget;ExpressionsourceExpression=VariableRef|Value|Binary|UnaryVariableRef=Variable|ArrayRef第8頁(yè)Binary=BinaryOpop;Expressionterm1,term2Unary=UnaryOpop;Expressionterm1,term2Operator=BooleanOp|RelationalOp|ArithmeticOp|UnaryOpBooleanlOp=&&|||RelationalOp==|!=|<|<=|>|>=ArithmeticOp=+|-|*|/Unary=!|-Variable=StringidArrayRef=Stringid;Expr