1、下列是交换群的有 A <{1},+>,+表示算术加法 B <{1},*>,*表示算术乘法 C <{1},/>,/表示算术除法 D <{1},->, - 表示算术减法 2、下列偏序集,能构成格的有哪些。 A <P(B),⊆> B <Z, ≤>,其中Z是整数集,≤为小于或等于关系
时间: 2024-03-11 15:45:49 浏览: 25
1. A是交换群,因为加法满足结合律、交换律、存在单位元素和倒元素。
B不是交换群,因为乘法不满足倒元素的条件。
C不是群,因为除法不满足结合律。
D不是群,因为减法不满足结合律。
2. A中的元素都是子集,可以通过并集和交集来得到最小上界和最大下界,因此构成格。
B中的元素是整数,任意两个元素都可以通过最小公倍数和最大公因数来得到最小上界和最大下界,因此构成格。
相关问题
已知某算术表达式的文法G为: (1)<AEXPR>→<AEXPR>+<TERM>丨<TERM> (2)<TERM>→<TERM>*<FACTOR>丨<FACTOR>(3)<FACTOR>→i丨(<AEXPR>) 给出i+i+i和i+i*I的最左推导、最右推导
最左推导和最右推导的概念已经在引用中给出了定义,下面分别给出i+i+i和i+i*I的最左推导和最右推导。
i+i+i的最左推导:
```
<AEXPR>
<AEXPR>+<TERM>
<TERM>+<TERM>
<FACTOR>+<TERM>
i+<TERM>
i+<FACTOR>
i+i
```
i+i+i的最右推导:
```
<AEXPR>
<TERM>
<FACTOR>
i
<FACTOR>+<TERM>
<i>+<TERM>
<i>+<FACTOR>
i+i
<TERM>+<FACTOR>
<i>+<FACTOR>
i+i+i
```
i+i*I的最左推导:
```
<AEXPR>
<TERM>
<FACTOR>
i
<FACTOR>*<FACTOR>
<i>*<FACTOR>
<i>+<FACTOR>
<FACTOR>+<TERM>
i+<TERM>
i+<FACTOR>
i+i
```
i+i*I的最右推导:
```
<AEXPR>
<TERM>
<FACTOR>
i
<FACTOR>*<FACTOR>
<i>*<FACTOR>
<i>*<FACTOR>
<FACTOR>
(<AEXPR>)
<TERM>*<FACTOR>
<FACTOR>*<FACTOR>
i*<FACTOR>
i*<AEXPR>
<FACTOR>*<AEXPR>
<i>+<AEXPR>
<FACTOR>+<TERM>
i+<TERM>
i+<FACTOR>
i+i*I
```
已知某算术表达式的文法G为: (1) <AEXPR> -<AEXPR> + <TERM><TERM>(2) <TERM>-> <TERM> *<FACTOR> <FACTOR>(3) <FACTOR> i(<AEXPR>给出i+i+i和i+i*i的最左推导、最右推导和语法树
最左推导、最右推导和语法树如下所示:
1. i+i+i的最左推导、最右推导和语法树:
最左推导:
```
<AEXPR>
<TERM>
<FACTOR>
i
<FACTOR>
+
<FACTOR>
i
<TERM>
+
<TERM>
<FACTOR>
i
```
最右推导:
```
<AEXPR>
<TERM>
<FACTOR>
i
<TERM>
<FACTOR>
+
<FACTOR>
i
<TERM>
+
<FACTOR>
i
```
语法树:
```
AEXPR
|
TERM
/ \
FACTOR TERM
| / \
i FACTOR
/ \
+ FACTOR
|
i
```
2. i+i*i的最左推导、最右推导和语法树:
最左推导:
```
<AEXPR>
<TERM>
<FACTOR>
i
<FACTOR>
+
<FACTOR>
i
<TERM>
*
<TERM>
<FACTOR>
i
```
最右推导:
```
<AEXPR>
<TERM>
<FACTOR>
i
<TERM>
<FACTOR>
*
<FACTOR>
i
```
语法树:
```
AEXPR
|
TERM
/ \
FACTOR TERM
| / \
i FACTOR
/ \
+ FACTOR
|
i
```
相关推荐
![pdf](https://img-home.csdnimg.cn/images/20210720083512.png)
![zip](https://img-home.csdnimg.cn/images/20210720083736.png)
![](https://img-home.csdnimg.cn/images/20210720083646.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)