SNL文法

这学期学编译原理，课程设计是为SNL文法实现一个词法分析器，和递归下降法或LL（1）分析法实现的语法分析器。

总程序：

1）Program::=ProgramHead DeclarePart ProgranBody .

2）ProgramHead::=program  ProgranName

3）ProgranName::=ID

4）DeclarePart::=TypeDecpart VarDecpart ProcDecpart

5）TypeDecpart::=ε

6）               | TypeDec

7）TypeDec::=type TypeDecList

8）TypeDecList::=TypeId= TypeName; TypeDecMore

9）   TypeDecMore::= ε

10）          | TypeDecList

11）TypeId::=ID

12）TypeName::=BaseName

13）           | StructureType

14）           | ID

15）BaseName::=integer

16）           | char

17）StructureType::=ArrayType

18）             | RecType

19）ArrayType::=array[low..top] of  BaseName

20）Low::=INTC  

21）Top::=INTC    

22）RecType::=record  FieldDecList  end

23）FieldDecList::=BaseType  IdList ; FieldDecMore

24）             |ArrayType  IdList; FieldDecMore

25）FieldDecMore::= ε

26）            | FieldDecList

27）IdList::=IDIdMore

28）IdMore::=ε

29）         |,IdList

 

变量声明

30）VarDecpart::= ε

31）             |VarDec

32）VarDec::=varVarDecList

33）VarDecList::=TypeNameVarIdList; VarDecMore

34）VarDecMore::=ε

35）               | VarDecList

36）VarIdList::=id VarIdMore

37）VarIdMore::= ε

38）             | ,VarIdList

 过程声明

39）ProcDecpart::= ε

40）             | ProcDec

41）ProcDec::=procedure

 ProcName(ParamList);

 ProcDecPart

 ProcBody

 ProcDecMore

42）ProcDecMore::= ε

43）              | ProcDec

44）ProcName::=ID

参数声明

45）ParamList::= ε

46）           | ParamDecList

47）ParamDecList::=Param  ParamMore

48）ParamMore::= ε

49）             | ; ParamDecList

50）Param::=TypeName  FormList

51）        | var TypeName  FormList

52）FormList::=IDFidMore

53）FidMore::= ε

54）          |, FormList

过程中的声明

55）ProcDecPart::=DeclarePart

过程体

56）ProcBody::=ProgramBody

57）ProgramBody::=begin　StmList  end.

语句序列

58）StmList::=StmStmMore

59）StmMore::= ε

60）          |; StmList

 

语句

61）StmList::=ConditionalStm

62）         | LoopStm

63）         | InputStm

64）         | OutputStm

65）         | ReturnStm

66）         | ID AssCall

67）AssCall::=AssignmentRest

68）         | CallStmRest

69）AssignmentRest::=VariMore:=Exp

70）ConditionalStm::=ifRelExp then StmList else StmList fi

71）LoopStm::=whileRelExp do StmList endwh

72）InputStm::=read(Invar)

73）Invar::=ID

74）OutputStm::=write(Exp)

75）ReturnStm::=return(Exp)

76）CallStmRest::=(ActParamList)

77）ActParamList::= ε

78）              |Exp ActParamMore

79）ActParamMore::= ε

80）              |; ActParamList

81）RelExp::=ExpOtherRelE

82）OtherRelE::=CmpOpExp

83）Exp::=TermOtherTerm

84）OtherTerm::= ε

85）            |AddOp Exp

86）Term::=Factor OtherFactor

87）OtherFactor::= ε

88）            |MulOp  Term

89）Factor::=(Exp)

90）       | INTC

91）       | Variable

92）Variable::=IDVariMore

93）VariMore::= ε

94）          |[Exp]

95）          |.FieldVar

96）FieldVar::=ID FieldVarMore

97）FieldVarMore::= ε

98）             |[Exp]

99）CmpOp::=<

100）                  | =

101）          AddOp::=+

102）                  |-

103）          MultOp::=*

104）                   |/

例子程序：

program bubble

var integer i,j,num;

array[1..20] of integer a;

procedure q(integernum);

var integer i,j,k;

   integert;

   begin

   i:=1;

   j:=1；

   while i<num do

         j:=num-i+1;

         k:=1；

         while k<j do

                if a[k+1]<a[k] thent:=a[k]; a[k]:=a[k+1]; a[k+1]:=t

               else  temp:=0

               fi;

               k:=k+1

         endwh;

   i:=i+1

   endwh

end

begin

    read(num);

    i:=1;

    while i<(num+1) do

         read(j);

          a[i]:=j;

         i:=i+1

    endwh;

   q(num);

    i:=1;

    while i<(num+1) do

          write(a[i]);

          a[i]:=j;

          i:=i+1

    endwh

end .