C语法归约之表达式（3）

最新推荐文章于 2024-01-08 19:22:48 发布
最新推荐文章于 2024-01-08 19:22:48 发布
阅读量1.4k 收藏 1
点赞数 1
分类专栏： 编程语言 C编译 文章标签： 归约 LR 编译原理 c 语法
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/cwcmcw/article/details/39449795
版权
本文探讨C语言中表达式的归约过程，强调表达式与语句的区别，并解释运算符优先级如何在归约过程中自然体现。通过示例说明归约规则，包括何时暂停和继续归约，以及如何利用非终结符的follow集。文章提供基本表达式的归约示例，旨在帮助读者理解LR(1)解析的建树过程。
摘要由CSDN通过智能技术生成

1、概要

前三篇博文（0，1，2）主要讨论是声明和定义的相关语法归约。从这篇文字开始，将开始进行有效的计算，涉及表达式和语句。

首先，表达式和语句这两个概念是不同的，表达式是没有分号(;)的，而表达式+；构成语句。但这不是语句的全部，语句还可以是跳转，迭代，标签语句等等（见图片C语句文法图）！打个比喻来说吧——就是蛋和鸡的关系！当然不是那个悖论，而是表达式是蛋，孵化是分号，鸡是语句。蛋孵化成鸡。鸡肚子里可以有蛋！嘎嘎！二者区别必须明白。不能混为一谈！

在C语言中，如果单纯就表达式计算而言，表达式就是一个人，而分号；好似一张毕业证，有它你就是正规的劳动人员，哪怕你什么都不干什么都不会（比如单个分号；）而没它，你就是没户口的黑孩，不能参与计算劳动，编译器抱怨的不得了，就是不让你上岗运行！

其次，说到表达式，运算符的优先级问题就不得不提一提了。C中的优先级是由表达式文法决定的！当初学C的时候都是死记硬背的，那时候觉得这个优先级是C它爹里奇严格要求，每次运算的时候都要检测后面的优先级，看它是不是比当前运算符优先级高。而且一直觉得编译器也是这样做的。而事实上不是，广义上讲是严格要求，因为它已经写入了文法，归约顺序是固定的，就像法律条文一样，是严格约束的；但是从狭义上而论。这个优先级是很自然的事情，不需要摇头晃脑的背，也不用比较优先级高低来实现，而是语法归约过程很自然的东西。一级一级的归约，一级一级的蹦哒，到了哪个阶段，那个阶段归约，优先级自然就隐含在里面了！它们的归约顺序决定了它们优先级！



通过表达式对归约过程的理解，把它画成一个顺时钟的表圈更直观！如上图所示！(图片较大，另存为下载可正常查阅)

在中心处写了一段：运算符的结合只能从高到低而不能逆向进行（归约箭头方向决定了），较低运算符优先结合的方法是使用（）在零点方向。（）是相当复位运算符，使得较低运算符能够回到最高优先级处改变运算符结合顺序！这样较低运算符能够先运算之后再和较高运算符结合；注意归约过程不会跳跃！（下文示例可以得知这一点）即向‘上游’运算符结合，必须顺时钟走一圈，并且使用了()，否则达到零点前expression处就归约停止！

举个简单例子帮助理解这一段话：a+1<<8和a+(1<<8)

a+1<<8归约过程
a是id->primary-expr->postfix-expr->unary-expr->cast-expr->mul-expre->additive-expr(暂停)
+
1是constant->primary-expr->postfix-expr->unary-expr->cast-expr->mul-expr(暂停)
然后additive-expr+mul-expr->additive-expr->shift-expr
<<
8是constant->primary-expr->postfix-expr->unary-expr->cast-expr->mul-expr->additive-expre(暂停)
shift-expr<<additive-expr->shift-expr->relational-expr->equality-expr->...->expr(暂停)
a+(1<<8)归约过程
a是id->primary-expr->postfix-expr->unary-expr->cast-expr->mul-expr->additive-expr(暂停)
+
(
1是constant->primary-expr->postfix-expr->unary-expr->cast-expr->mul-expr->additive-expr->shift-expr(暂停)
<<
8是constant->primary-expr->postfix-expr->unary-expr->cast-expr->mul-expr->additive-expr(暂停)
shift-expr<<additive-expr->shift-expr->relational-expr->equality-expr->...->expr(暂停)
)
(expr)->primary-expr->postfix-expr->unary-expr->cast-expr->mul-expr
additive-expr+mul-expr->additive-expr->shift-expr->...->expr

注意区分它们的不同！或许你会问如何知道到什么时候需要暂停，什么时候继续归约？答案就在非终结符的follow基上！什么是follow集以及first基，请参与《编译原理》第4章语法分析部分！这里就不重述了！

在这里你只需要知道：当下一个运算符是当前非终结符要归约到的非终结符的follow基时，则继续归约，否则暂停。比如上面这个例子1的归约shift-expression的follow基包含<<，那么additive-expression就需要归约到shift-expression，再往下，relational-expression的follow基不包含<<，所以shift-expression就到此暂停，不能再归约下去！而等待其他部分（<< 和additive-expression）到来，再一起归约！

如果上文看不懂，不要紧，在下面的示例中会给出很多组合范例，可以多看几个就理解了，当然你要结合C99文法或者上图来理解！

最后，为了更好描述原理，这里要相对前面的声明定义而言做些调整！单个示例进行提示！表达式示例分两大类，基本常用和高级复合！在此文将给出基本常用表达式归约。下一篇给出复合表达式归约。

输出依旧老风格，整个归约栈，其实是一颗树，只不过是栈的形式描述的。每次归约都是从孩子到父亲的建树过程，因为这是LR(1)，自底向上！（LL正好相反，自顶向下）整个归约纳入一个函数当中，每次栈的输出开头“declaration-specifiers declarator { block-item-list“它属于函数归约的部分，压在栈中而已，可以忽略不看，重点在表达式的归约上！另外，表达式之间过度部分如下，也可以忽略不看！

declaration-specifiers declarator { expression-statement
declaration-specifiers declarator { statement
declaration-specifiers declarator { block-item
declaration-specifiers declarator { block-item-list

2、表达式归约

2.1、基本表达式
示例代码
void basic_exp()
{
	left = a[i]; 
	left = i++; 
	left = i--; 
	left = fun(i); 
	left = girl.age;
	left = girl->wight;
	left = ++i;
	left = --i;
	left = *a;
	left = &a;
	left = !a;
	left = ~a;
	left = +a;
	left = -a;
	left = sizeof(int);
	left = (int *)a;
	left = a * b;
	left = a / b;
	left = a % b;
	left = a + b;
	left = a - b;
	left = a << 1;
	left = b >> 1;
	left = a > b;
	left = a < b;
	left = a <= b;
	left = a >= b;
	left = a != b;
	left = a == b;
	left = a & b;
	left = a ^ b;
	left = a | b;
	left = a && b;
	left = a || b;
	left = a > b ? a : b;
	left = a = 1;
	left = a >>= 1;
	left = a, b;
	left = (a + b) * c;
}
归约过程
void basic_exp()

{ 

curr: void  next: basic_exp  
type-specifier 
declaration-specifiers 

curr: ID  next: (  
declaration-specifiers direct-declarator 

curr: (  next: )  

curr: )  next: {  
declaration-specifiers direct-declarator 
declaration-specifiers declarator 

curr: {  next: left

left = a[i];

curr: ID  next: =  
declaration-specifiers declarator { primary-expression 
declaration-specifiers declarator { postfix-expression 
declaration-specifiers declarator { unary-expression 

curr: =  next: a  
declaration-specifiers declarator { unary-expression assignment-operator 

curr: ID  next: [  
declaration-specifiers declarator { unary-expression assignment-operator primary-expression 
declaration-specifiers declarator { unary-expression assignment-operator postfix-expression 

curr: [  next: i  

curr: ID  next: ]  
declaration-specifiers declarator { unary-expression assignment-operator postfix-expression [ primary-expression 
declaration-specifiers declarator { unary-expression assignment-operator postfix-expression [ postfix-expression 
declaration-specifiers declarator { unary-expression assignment-operator postfix-expression [ unary-expression 
declaration-specifiers declarator { unary-expression assignment-operator postfix-expression [ cast-expression 
declaration-specifiers declarator { unary-expression assignment-operator postfix-expression [ multiplicative-expression 
declaration-specifiers declarator { unary-expression assignment-operator postfix-expression [ additive-expression 
declaration-specifiers declarator { unary-expression assignment-operator postfix-expression [ shift-expression 
declaration-specifiers declarator { unary-expression assignment-operator postfix-expression [ relational-expression 
declaration-specifiers declarator { unary-expression assignment-operator postfix-expression [ equality-expression 
declaration-specifiers declarator { unary-expression assignment-operator postfix-expression [ AND-expression 
declaration-specifiers declarator { unary-expression assignment-operator postfix-expression [ exclusive-OR-expression 
declaration-specifiers declarator { unary-expression assignment-operator postfix-expression [ inclusive-OR-expression 
declaration-specifiers declarator { unary-expression assignment-operator postfix-expression [ logical-AND-expression 
declaration-specifiers declarator { unary-expression assignment-operator postfix-expression [ logical-OR-expression 
declaration-specifiers declarator { unary-expression assignment-operator postfix-expression [ conditional-expression 
declaration-specifiers declarator { unary-expression assignment-operator postfix-expression [ assignment-expression 
declaration-specifiers declarator { unary-expression assignment-operator postfix-expression [ expression 

curr: ]  next: ;  
declaration-specifiers declarator { unary-expression assignment-operator postfix-expression 
declaration-specifiers declarator { unary-expression assignment-operator unary-expression 
declaration-specifiers declarator { unary-expression assignment-operator cast-expression 
declaration-specifiers declarator { unary-expression assignment-operator multiplicative-expression 
declaration-specifiers declarator { unary-expression assignment-operator additive-expression 
declaration-specifiers declarator { unary-expression assignment-operator shift-expression 
declaration-specifiers declarator { unary-expression assignment-operator relational-expression 
declaration-specifiers declarator { unary-expression assignment-operator equality-expression 
declaration-specifiers declarator { unary-expression assignment-operator AND-expression 
declaration-specifiers declarator { unary-expression assignment-operator exclusive-OR-expression 
declaration-specifiers declarator { unary-expression assignment-operator inclusive-OR-expression 
declaration-specifiers declarator { unary-expression assignment-operator logical-AND-expression 
declaration-specifiers declarator { unary-expression assignment-operator logical-OR-expression 
declaration-specifiers declarator { unary-expression assignment-operator conditional-expression 
declaration-specifiers declarator { unary-expression assignment-operator assignment-expression 
declaration-specifiers declarator { assignment-expression 
declaration-specifiers declarator { expression 

curr: ;  next: left  
declaration-specifiers declarator { expression-statement 
declaration-specifiers declarator { statement 
declaration-specifiers declarator { block-item 
declaration-specifiers declarator { block-item-list
left = i--; 
curr: ID  next: =  
declaration-specifiers declarator { block-item-list primary-expression 
declaration-specifiers declarator { block-item-list postfix-expression 
declaration-specifiers declarator { block-item-list unary-expression 

curr: =  next: i  
declaration-specifiers declarator { block-item-list unary-expression assignment-operator 

curr: ID  next: --  
declaration-specifiers declarator { block-item-list unary-expression assignment-operator primary-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator postfix-expression 

curr: --  next: ;  
declaration-specifiers declarator { block-item-list unary-expression assignment-operator postfix-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator unary-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator cast-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator multiplicative-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator additive-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator shift-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator relational-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator equality-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator AND-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator exclusive-OR-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator inclusive-OR-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator logical-AND-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator logical-OR-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator conditional-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator assignment-expression 
declaration-specifiers declarator { block-item-list assignment-expression 
declaration-specifiers declarator { block-item-list expression 

curr: ;  next: left  
declaration-specifiers declarator { block-item-list expression-statement 
declaration-specifiers declarator { block-item-list statement 
declaration-specifiers declarator { block-item-list block-item 
declaration-specifiers declarator { block-item-list
left = fun(i); 
curr: ID  next: =  
declaration-specifiers declarator { block-item-list primary-expression 
declaration-specifiers declarator { block-item-list postfix-expression 
declaration-specifiers declarator { block-item-list unary-expression 

curr: =  next: fun  
declaration-specifiers declarator { block-item-list unary-expression assignment-operator 

curr: ID  next: (  
declaration-specifiers declarator { block-item-list unary-expression assignment-operator primary-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator postfix-expression 

curr: (  next: i  

curr: ID  next: )  
declaration-specifiers declarator { block-item-list unary-expression assignment-operator postfix-expression ( primary-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator postfix-expression ( postfix-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator postfix-expression ( unary-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator postfix-expression ( cast-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator postfix-expression ( multiplicative-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator postfix-expression ( additive-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator postfix-expression ( shift-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator postfix-expression ( relational-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator postfix-expression ( equality-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator postfix-expression ( AND-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator postfix-expression ( exclusive-OR-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator postfix-expression ( inclusive-OR-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator postfix-expression ( logical-AND-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator postfix-expression ( logical-OR-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator postfix-expression ( conditional-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator postfix-expression ( assignment-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator postfix-expression ( argument-expression-list 

curr: )  next: ;  
declaration-specifiers declarator { block-item-list unary-expression assignment-operator postfix-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator unary-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator cast-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator multiplicative-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator additive-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator shift-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator relational-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator equality-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator AND-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator exclusive-OR-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator inclusive-OR-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator logical-AND-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator logical-OR-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator conditional-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator assignment-expression 
declaration-specifiers declarator { block-item-list assignment-expression 
declaration-specifiers declarator { block-item-list expression 

curr: ;  next: left  
declaration-specifiers declarator { block-item-list expression-statement 
declaration-specifiers declarator { block-item-list statement 
declaration-specifiers declarator { block-item-list block-item 
declaration-specifiers declarator { block-item-list
left = girl.age; 
curr: ID  next: =  
declaration-specifiers declarator { block-item-list primary-expression 
declaration-specifiers declarator { block-item-list postfix-expression 
declaration-specifiers declarator { block-item-list unary-expression 

curr: =  next: girl  
declaration-specifiers declarator { block-item-list unary-expression assignment-operator 

curr: ID  next: .  
declaration-specifiers declarator { block-item-list unary-expression assignment-operator primary-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator postfix-expression 

curr: .  next: age  

curr: ID  next: ;  
declaration-specifiers declarator { block-item-list unary-expression assignment-operator postfix-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator unary-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator cast-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator multiplicative-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator additive-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator shift-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator relational-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator equality-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator AND-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator exclusive-OR-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator inclusive-OR-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator logical-AND-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator logical-OR-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator conditional-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator assignment-expression 
declaration-specifiers declarator { block-item-list assignment-expression 
declaration-specifiers declarator { block-item-list expression 

curr: ;  next: left  
declaration-specifiers declarator { block-item-list expression-statement 
declaration-specifiers declarator { block-item-list statement 
declaration-specifiers declarator { block-item-list block-item 
declaration-specifiers declarator { block-item-list
left = girl->wight; 
curr: ID  next: =  
declaration-specifiers declarator { block-item-list primary-expression 
declaration-specifiers declarator { block-item-list postfix-expression 
declaration-specifiers declarator { block-item-list unary-expression 

curr: =  next: girl  
declaration-specifiers declarator { block-item-list unary-expression assignment-operator 

curr: ID  next: ->  
declaration-specifiers declarator { block-item-list unary-expression assignment-operator primary-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator postfix-expression 

curr: ->  next: wight  

curr: ID  next: ;  
declaration-specifiers declarator { block-item-list unary-expression assignment-operator postfix-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator unary-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator cast-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator multiplicative-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator additive-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator shift-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator relational-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator equality-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator AND-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator exclusive-OR-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator inclusive-OR-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator logical-AND-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator logical-OR-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator conditional-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator assignment-expression 
declaration-specifiers declarator { block-item-list assignment-expression 
declaration-specifiers declarator { block-item-list expression 

curr: ;  next: left  
declaration-specifiers declarator { block-item-list expression-statement 
declaration-specifiers declarator { block-item-list statement 
declaration-specifiers declarator { block-item-list block-item 
declaration-specifiers declarator { block-item-list
left = ++i; 
curr: ID  next: =  
declaration-specifiers declarator { block-item-list primary-expression 
declaration-specifiers declarator { block-item-list postfix-expression 
declaration-specifiers declarator { block-item-list unary-expression 

curr: =  next: ++  
declaration-specifiers declarator { block-item-list unary-expression assignment-operator 

curr: ++  next: i  

curr: ID  next: ;  
declaration-specifiers declarator { block-item-list unary-expression assignment-operator ++ primary-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator ++ postfix-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator ++ unary-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator unary-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator cast-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator multiplicative-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator additive-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator shift-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator relational-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator equality-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator AND-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator exclusive-OR-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator inclusive-OR-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator logical-AND-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator logical-OR-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator conditional-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator assignment-expression 
declaration-specifiers declarator { block-item-list assignment-expression 
declaration-specifiers declarator { block-item-list expression 

curr: ;  next: left  
declaration-specifiers declarator { block-item-list expression-statement 
declaration-specifiers declarator { block-item-list statement 
declaration-specifiers declarator { block-item-list block-item 
declaration-specifiers declarator { block-item-list
left = --i; 
curr: ID  next: =  
declaration-specifiers declarator { block-item-list primary-expression 
declaration-specifiers declarator { block-item-list postfix-expression 
declaration-specifiers declarator { block-item-list unary-expression 

curr: =  next: --  
declaration-specifiers declarator { block-item-list unary-expression assignment-operator 

curr: --  next: i  

curr: ID  next: ;  
declaration-specifiers declarator { block-item-list unary-expression assignment-operator -- primary-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator -- postfix-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator -- unary-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator unary-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator cast-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator multiplicative-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator additive-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator shift-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator relational-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator equality-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator AND-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator exclusive-OR-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator inclusive-OR-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator logical-AND-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator logical-OR-expression 
declaration-specifiers declarator { block-item-list unary-expression assignment-operator conditional-expression 
declaration-specifiers declarator { block-item-list unary-expression
最低0.47元/天 解锁文章
一根烂笔头
关注
  • 1
    点赞
  • 踩
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
C语法归约之变量声明和定义（0）
my_live_123
09-20 2248
采用LR(1)技术，写了一个C语言的语法归约器！之所以用LR(1)是因为gcc，tcc，ucc和lcc跟商量好似的，清一色的用的LL归约技术，书上也是讲的跟天花一样漂亮，如果再使用LL技术实在是炸不出价值来，源码一抓一大把，看看就够了，重写必要性不大！另外，书中的LR技术讲的项集又是大的没谱，工具YACC自动生成又不知道它玩的猫腻！最终用LR(1)自搞了一套方法high起来，效果还不错^!^
C语法归约之函数（2）
my_live_123
09-20 1524
C函数声明与定义的语法归约过程阐释。抽象数据类型强大到不可撼动！如何解释int (*mother(int (*)(long), int))(int);，它的函数指针又怎么定义在这里将找到答案！
表达式归约算法优化
梁飞的博客
08-14 228
这两天将[url=http:www.meteortl.org]MeteorTL[/url]的表达式归约算法优化了一下，对常量计算提前到解释期，这样可以避免在运行期重复计算，提高性能，以及减小表达式树的大小。 如： coins + 2 * 3 * 4 被优化成 coins + 24， 2 + 3 + 4 + coins 被优化成 5 + coins， 但 coins + 2 + 3 + 4 ...
C语法归约之语句（5）
my_live_123
09-25 1392
这是语法归约最后一部分了，文法当中还有个外部归约。它已经在前面以及这里都提及到了，也就是把全局声明定义和函数定义整合的过程，最后归约成一颗完整的树。根结点就是translation-unit，因此不再单独示例！其次，文法不是C的全部，真正的C还要包括语义分析部分，也就是把文法推导出来东西进行有意义化！即文法上推出的东西不是全部都合法的！c只用了文法推导结果中的一个子集，而不是全集！好比汉语词汇组合说出来的东西不是全部都有意义，可以有脏话废话和不是人话^_^
C语法归约之表达式复合运算（4）
my_live_123
09-22 1527
上篇文字是基本表达式归约过程示例，本篇将来点高级复杂的玩玩！这部分示例代码源自kernel的20个源程序文件，挑选运算符组合复杂和比较典型的表达式！因此只能用来归约示例，不是可运行代码！挑你有兴趣的运算符组合，瞅瞅！
表达式归约器v1.1
04-06
在计算机科学领域，表达式归约是一种重要的计算过程，常用于编译原理、解释器构造和抽象语法树（AST）的处理。本文将围绕“表达式归约器v1.1”这一主题，深入探讨其新增功能——“=”运算符的自右向左型处理，并结合...
表达式归约器v2.0
04-11
v2.0版 1.向语法解析方向重写了内核; 2.... (1)符号对:'',,(),[],{} <1> ''内可为任何内容; <2> 内只能为标识符... (2)暂时未支持将嵌套包含的内容归约,如<a>-{[c]}将只被分解成,-,{[c]}.而不是被分解成,-,,[c].
yufafenxi-LR：编译原理C语言LR语法分析器的简单实现
03-01
《编译原理C语言LR语法分析器的简单实现》 在计算机科学领域，编译原理是研究编程语言如何被转化为机器可理解的形式的关键学科。LR（LookaheadLR）语法分析器是编译器设计中一个重要的组成部分，它主要用于将源代码...
Lambda演算（二）归约！归约！归约！
weixin_30485379的博客
04-28 373
（一） 这里先不列出λ项的正式定义，只记住λ表达式语义上的构造方式为： x 一个单独的变量名是一个λ项表达式； (λx.M) 该λ表示一个函数。其中 M 是这个函数的函数体，M 本身也是一个λ项。 除了 x 之外，M 中可能还有其他变量名，λ 这个符号用于指示函数体 M 的参数为 x。 了便于理解，可以将 M 看作函数体，x 看作形参，即变量名。 例如：λx...
verilog的全部运算符
04-22
算术运算符、按位运算符、归约操作符、逻辑操作符
编译原理的归约和推导
阳光心态，健康人生的博客
11-06 1万+
首先，要明白两个概念什么是文法，什么是字符 举个例子： 文法已经给出，下面的那个输入就是字符我们规定： 文法 到 字符 称为 推导 字符 到 文法 称为 归约那么最右推导称为规范推导，最左归约称为规范归约 = =挺好懂的，不知道你懂了没有~
编译原理 - 推导与归约（一）
热门推荐
lslxy1021的博客
03-23 1万+
在介绍完文法的基本概念后，接下来将介绍一下编译原理中的推导与归约。推导，意思是用产生式的右部，主要分为最左推导和最右推导。归约则是推导的逆过程，最左推导对应最右归约，最右推导对应最左归约。
归约运算符
weixin_30566149的博客
03-29 4710
归约运算符是一元操作数，相当于C中的单目运算符。它是对一个操作数进行位操作，最后得到一个一位的数。 归约运算的过程是第一步先用操作数的第一位和第二位进行位操作，然后再用第一步的结果和操作的数的下一位 进行位操作，如此重复直到最后一位。 1、归约与 2、归约或 3、归约异或 一个例子 a = 4'b0000; &a = 0; ~&a = 1 ;|a =...
verilog 归约操作符
qq_36613247的博客
06-28 6237
一、归约操作符包括： 归约与（&），归约与非（~&），归约或（|），归约或非（~|），归约异或（^），归约同或（~^）。二、归约操作符结果 归约操作符只有一个操作数，它对这个向量操作数逐位进行操作，最终产生一个 1bit 结果。三、和其他不同 逻辑操作符、按位操作符和归约操作符都使用相同的符号表示，因此有时候容易混淆。区分这些操作符的关键是分清操作数的数目，和计算结果的规则。1.逻辑操作符主要有 3 个：&&（逻辑与）, ||（逻辑或），!（逻辑非）。2.按位操作符
【Verilog】运算符
最新发布
m0_60511809的博客
01-08 1941
算术运算符 关系运算符 相等关系运算符 逻辑运算符 按位运算符 归约运算符 移位运算符 条件运算符 连接和复制运算符
【FPGA】初识Verilog
weixin_46075647的博客
03-23 663
文章目录Verilog常用关键字逻辑值变量参数常量赋值方式always语句assign语句算术运算符归约运算符、按位运算符逻辑运算符逻辑运算符 Verilog常用关键字 逻辑值 0：逻辑低电平，条件为假 1：逻辑高电平，条件为真 z：高阻态，无驱动 x:未知逻辑电平（不存在） module：模块开始（模块名一般和文件名字相同） endmodule：模块结束 input //输入信号关键字 output //输出信号关键字 inout //输入输出信号 变量 wir
「Verilog HDL」自学计划｜基础知识
zycblank的博客
01-18 650
「Verilog HDL」日更计划｜001｜基础知识复盘 1 Verilog HDL 语言要素 「注释符」 多行注释不允许嵌套，但是单行注释可以嵌套在多行注释中。 单行注释： assign a = b & c; //单行注释 多行注释： assign a[3:0] = b[3:0] & c[3:0]; /*注释行1 注释行2*/ 非法多行注释： /*注释内容 /*多行注释嵌套多行注释*/ 注释内容*/ 合法多行注释： /*注释内容 //多行注释嵌套单行
Verilog操作符
zaifendoujiayou的博客
08-06 969
归约运算符 归约运算符为单目运算符。被操作数是具有一定位宽的向量，操作结果为1bit。 (1) & 被操作数所有位做按位与操作 例： wire [3:0] a = 4'b1111; wire b = &a； // b=1'b1; (2 ) ~& 被操作数的所有位先做归约与操作，再取反 (3) | 被操作数所有位做按位或操作 (4）~| 被操作数的所有位先做归约或操作，再取反 (5) ^ 被操作数所有位做逻辑异或操作
语法制导翻译与表达式归约过程
"这篇资料是关于编译原理的课件，重点讲述了表达式2+3*5的归约过程，并涉及语法制导翻译法的概念和应用。内容涵盖语义分析、中间代码生成、属性文法以及静态语义检查等多个方面。" 在编译原理中，表达式2+3*5的归约...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值