c编译器的问题

kallytin

目前在做一些语法分析的东东（之前都是使用yacc去辅助，但这次要自己写，烦。编译原理也忘记的差不多了....），碰到一些问题，如下：

请教对于C语言的postfix_expression，是如何计算它的 First集 和 Follow集 的？

附上C的语法（C语言的yacc的文件） c_grammar.txt.zip (1.85 KB, 下载次数: 4)

2013-04-27 13:49 上传

点击文件名下载附件

。以下是我的分析


//假设$是带分析字符串的最后符号（是分析是手工加上去的）

1. ============================================================
   
2. (1) 转换成LL(1):
   
3.         postfix_expression R
   
4.                         : primary_expression R
   
5.                         ;
   
6. 
   
7.                 R        : '[' expression ']' R
   
8.                         | '(' ')' R
   
9.                         | '(' argument_expression_list R
   
10.                         | '.' IEDNTIFIER R
    
11.                         | PTR_OP IDENTIFIER R
    
12.                         | INC_OP R
    
13.                         | DEC_OP R
    
14.                         |Ɛ
    
15.                         ;
    
16. 
    
17. (2) First Set
    
18.         First( postfix_expression) = First( primary_expression)
    
19. 
    
20.         First(R) = First(PTR_OP) U First(INC_OP) U First(DEC_OP) U {'[', '(', '.'}
    
21.                  = {PTR_OP, INC_OP, DEC_OP, '[', '(', '.'}
    
22. 
    
23.         First( primary_expression) = {IDENTIFIER, CONSTANT, STRING_LITERAL, '('}
    
24. 
    
25.         First(expression) =
    
26. 
    
27.         First(argument_expression_list) =
    
28. 
    
29. (3) Follow Set
    
30.         Follow(R) = {$}       
    
31. 
    
32. ============================================================
    
33. 
    
34. 对于，First(expression) 和 First(argument_expression_list)，该如何分析？
    
35. 
    
36. 我的分析如下:
    
37. ============================================================
    
38. 1、根据：
    
39.         expression         : assignment_expression
    
40.                         | expression ',' assignment_expression
    
41.                         ;
    
42. 
    
43. (1) 转换成LL(1)
    
44.         expression         : assignment_expression R
    
45.                         ;
    
46. 
    
47.               R         : ',' assignment_expression R
    
48.                         |Ɛ
    
49.                         ;
    
50. 
    
51. (2) First Set
    
52.         First(expression) = First(assignment_expression)
    
53.         First(R) = {','}
    
54.        
    
55. (3) Follow Set
    
56.         Follow(R) = {$}
    
57. 
    
58. 得出：
    
59.         First(expression) 依赖于： First(assignment_expression）
    
60. 
    
61. ---------------------------------------------------------
    
62. 
    
63. 2、根据：
    
64.         argument_expression_list
    
65.                         : assignment_expression
    
66.                         | argument_expression_list ',' assignment_expression
    
67.                         ;
    
68. 
    
69. (1) 转换成LL(1):
    
70.         argument_expression_list
    
71.                         : assignment_expression R
    
72.                         ;
    
73. 
    
74.                 R        : ',' assignment_expression R
    
75.                         |Ɛ
    
76.                         ;
    
77. 
    
78. (2) First Set
    
79.         First(argument_expression_list) = First(assignment_expression)
    
80.         First(R) = {','}
    
81.        
    
82. (3) Follow Set
    
83.         Follow(R) = {$}
    
84. 
    
85. 得出：
    
86.         First(argument_expression_list) 依赖于： First(assignment_expression）
    
87. 
    
88. ============================================================
    
89. 
    
90. 也就是：
    
91. 无论First(expression)还是First(argument_expression_list)，都需要先求出First(assignment_expression）。那根据assignment_expression，conditional_expression，logical_or_expression，logical_and_expression，inclusive_or_expression，exclusive_or_expression，and_expression，equality_expression，relational_expression，shift_expression，additive_expression，multiplicative_expression 和 cast_expression，最后发现如果要求出First(assignment_expression），则先要求出First(cast_expression)，
    
92. 即：
    
93. First(assignment_expression） 依赖于： First(cast_expression)
    
94. 
    
95. ============================================================
    
96. 3、根据：
    
97.                 cast_expression
    
98.                         : unary_expression
    
99.                         | '(' type_name ')' cast_expression
    
100.                         ;
     
101. 
     
102. (1) 转换成LL(1)
     
103. (2) First Set
     
104.                 First(cast_expression)        = First(unary_expression) U {'('}
     
105.                 First(unary_expression) =
     
106.                 First(type_name)        =
     
107. (3) Follow Set
     
108. 
     
109. 得出：
     
110.                 First(cast_expression) 依赖于： First(unary_expression) 和 First(type_name)
     
111. 
     
112. 4、根据：
     
113.                 unary_expression
     
114.                         : postfix_expression
     
115.                         | INC_OP unary_expression
     
116.                         | DEC_OP unary_expression
     
117.                         | unary_operator cast_expression
     
118.                         | SIZEOF unary_expression
     
119.                         | SIZEOF '(' type_name ')'
     
120.                         ;
     
121. 
     
122. (1) 转换成LL(1):
     
123. 
     
124. (2) First Set
     
125.                 First(unary_expression) = First(postfix_expression) U First(INC_OP) U First(DEC_OP) U
     
126.                                                         First(unary_operator) U First(SIZEOF)
     
127.                                         = First(postfix_expression) U First(unary_operator) U {INC_OP, DEC_OP, SIZEOF}
     
128.                                         = First(postfix_expression) U {'&', '*', '+', '-', '~', '!'} U {INC_OP, DEC_OP, SIZEOF}
     
129.                                         = First(postfix_expression) U {'&', '*', '+', '-', '~', '!', INC_OP, DEC_OP, SIZEOF}
     
130. 
     
131.                 First(postfix_expression) =
     
132.                                                   
     
133.                 First(unary_operator) = {'&', '*', '+', '-', '~', '!'}
     
134.                 First(cast_expression) =
     
135.                 First(type_name) =
     
136. (3) Follow Set
     
137. 
     
138. 得出：
     
139.         First(unary_expression) 依赖于： First(postfix_expression) 和 First(cast_expression) 和 First(type_name)
     
140. ============================================================
     
141. 
     
142. 后面的First(type_name)我先不算了，因为我发现原来要求的 postfix_expression 的First集，它最终是依赖于First(postfix_expression) 和 First(cast_expression) 和 First(type_name)。这是否形成了一个“回路”？是否我算错了？

复制代码

kallytin

回复 1# kallytin


    dddddddd