设$H<G$,全体左陪集构成的集合$\overline{G}=\{gH:g\in G\}$,我们希望赋予$\overline{G}$群的结构,很自然的定义乘法为$$aH\cdot bH=abH$ ...

已知 f: G → G' 是一个同态映射，e' 是 G' 的单位元，Ker f = {a ∈ G | f(a) = e'}. 则 Ker f 是 G 的正规子群. 证明：由同态映射定义知 f(a) = f(e·a) = f(e)·f(a)，f(a) = f(a·e) = f(a)·f(e ...

　3型文法也叫作正规文法，它对应于有限状态自动机，它是在2型文法的基础上满足：A->a|aB（右线性）或A->a|Ba（左线性）。如果有A->a,A->aB,B->a,B->cB则符合3型文法的要求。但是A->ab,A->aB,B-> ...

理清概念，在机器学习的公式推导中常常用到。比如SVD, LDA 酉变换，正交变换 正规矩阵 酉矩阵 正交矩阵 对角化 对角阵 正定阵 正交变换 正交变换是保持图形形状和大小不变的几何变换，包含旋转，轴对称及上述变换的复合。 例子 ...

1.分别写出描述以下语言的正规文法和正规式： L1={abna|n≥0}。 L2={ambn|n≥1,m ≥1} L3={（ab）n|n≥1} 解析： （1）设文法G(S)={abna|n≥0} 正规文法： S → aA A → Ba B → bn B ...

元素的阶 设<G,·>是群，a∈G,a的整数次幂可归纳定义为： a0 = e an+1 = an· a, n∈N a-n = (a-1)n, n∈N 容易证明，∀m ...

群作为代数结构首先是一个集合，那么元素间可能有各种等价关系，这些等价关系给出了群的划分，也使群自身结构的特异性突出。 一、 陪集 　　定义　　设$H$是$G$的一个子群，$a\in G$，作集合$aH=\{ax|x\in H\}$，称$aH$是关于子群$H$的一个左陪集。类似 ...

词法分析器是编译器中扫描源程序的部分，因而它还可以完成和用户接口的一些其他任务。其一是剥去源程序的注解和（由空格、制表或换行符等引起的）空白。其二是把来自编译器各个阶段的错误信息和 ...