分类: 学校学习

好多东西都是似曾相识的.要么是在上学期就讲过,要么是中学时期就有过了解.这学期开学一周,所学到的基础知识有这几点:

设$<H,*>$是群$<G,*>$的子群,$a \in G$,定义集合

同一非终结符的多个候选式存在共同前缀,将导致回溯现象

S\_文法不含$\varepsilon$产生式

设 $S$是非空集合,$*$是$S$上的二元运算,如果$*$在$S$上满足封闭性 可结合性 ,则称$<S,*>$是半群

先记忆一下基础概念,顺便练习一下$\LaTeX{}$

试了一下,老师发的那个用起来真不习惯,但老师说可以自行配置编译环境,能跑就行

$<A,\leq>$是偏序集:$\leq 是A上自反,反对称,和传递关系(偏序).$

同构是代数系统之间的一种重要关系，用符号 $\cong$ 表示。若两个代数系统 $(A, \star)$ 和 $(B, \circ)$ 之间存在同构，则记作 $(A, \star) \cong (B, \circ)$。

不知道写点什么,所以记一下,以防~~失忆~~

设$<G,*>$是群,S是G的非空子集,如果$<S,*>$满足:

💡 有趣的发现： ISBN编号相同却有两个不同封面的书，可能是出版商重印了。

给定代数系统$<A,+,*>,+和*是A上的二元运算,若满足下面条件$

设$<G,*>$是代数系统,如果$*$在G上满足\*_封闭性,可结合性,$<G,_>$中有幺元,且G中每一个元素均可逆

FIRST(X): 可以从X推导出的所有串首终结符构成的集合