Clite(抽象語(yǔ)法).ppt

clite語(yǔ)法類型的非概要信息和意義 (2014025704-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:將表達(dá)式賦給變量的語(yǔ)句,conditional:一個(gè)表達(dá)式(test)和兩個(gè)語(yǔ)句（thenbranch和elsebranch),其中一個(gè)被執(zhí)行則另一個(gè)則跳過(guò)。在if-then語(yǔ)句，elsebranch作為一個(gè)Skip語(yǔ)句的實(shí)例。 Lood:一個(gè)表達(dá)式（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: 數(shù)學(xué)運(yùn)算符：plus,minus,times,divide,Value:有子類IntValue,FloatValue,BoolValue和CharValue intValue:整數(shù)值 FloatValue:浮點(diǎn)數(shù)值，描述從計(jì)算機(jī)近似值到一非整數(shù)值。 BoolValue:Boolean值，也就是說(shuō)不是ture就是false; Char Value:單個(gè)字符值；,Clite程序抽象語(yǔ)法樹： Program=Declarations decpart; Statements body; Declaration=Declaration* Declaration=VarableDecl | ArrayDecl VariableDecl=Variable v;Type t ArrayDecl=Variable v;Typt t;Integer size Type= int | bool | float | char Statements=Statemment* statement=Skip | Block |Assignment |Conditional |Loop Skip= Block=Statements Conditionnal=Expression test ;Statement thenbranch,elsebranch Loop=Expression test;Statement body Assignment=VariableRef target;Expression source Expression=VariableRef | Value | Binary |Unary,Variable Ref=Variable | ArrayRef Binary=Operator op;Expression term1,term2 Unary=UnaryOp op;Expression term Operator=BooleanOp | RelationnalOp | ArithmeticOp BooleanlOp= Expression index Value = IntValue | BoolValue | FloatValue | CharValue IniValue =Integer intValue FloatValue=Float floatvalue BoolValue =Boolean boolvalue CharValue = Character charvalue/*仔細(xì)看一下其實(shí)也不難-取決你態(tài)度*/,A.1 Clite 詞匯和具體句法 /*所有引用變量必須聲明*/ Program int main () Declarations Statements Declarations Declaration Declaration Type Identifier integer .Identifier integer; Type int | bool | float | char Statements-Statement Statement: | Block | Assignment | If Statement | WhileStatement Block -Statement Assignment -Identifier Expression =Expression; If Statementif (Expression) Statement else Statement WhileStatement while (Expression) Statement ExpressionConjunction |Conjunction Conjunction Equality& Equality EqualityRelationEquOp Relation ,EquOp-= | != RelationAdditionRelOp Addition RelOp | = Addition Term AddOp Term AddOp+ | - Term Factor MulOp Factor MuiOp* | / | % FactorUnaryOpPrimary UnaryOp - | ! PrimaryIdentifier Expression | Literal | (Expression ) | Type (Expression) Identifier Letter Letter | Digit Boolean-true | false FloatInteger .Integer Char ASCIIChar,A.2 Clite 的抽象句法 /*所有聲明變量必須唯一*/ Program =Declarations decpart; Statements body; Declaration =Declaration* Declarations =VariableDecl | ArrayDecl VariableDecl = Variable V ; Type t ArrayDecl = Variable v;Type t;Integer size Type= int | bool | float | char Statements =Statement* Statement =Skip | Block | Assignment | Conditional | Loop Skip = Block=Statements Conditional=Experssion test;Statement thenbranch, elsebranch Loop=Expression test ;Statement body Assignment=VariableRef target ; Expression source Expression =VariableRef | Value |Binary | Unary VariableRef =Variable | ArrayRef,Binary=BinaryOp op;Expression term1,term2 Unary=UnaryOp op;Expression term1,term2 Operator=BooleanOp | RelationalOp | ArithmeticOp | UnaryOp BooleanlOp= Expression index