分类: 学校学习

试了一下,老师发的那个用起来真不习惯,但老师说可以自行配置编译环境,能跑就行配置编译环境所以我想到了vscode,可以在vscode插件列表里找到相关的插件masm-tasm2025-03-23-164031<!--more-->要改一下这个插件的设...

先记忆一下基础概念,顺便练习一下\LaTeX{}LaTeX - A document preparation system运算律可交换性设\circ为S上的二元运算如果\forall x, y \in S,都有 x \circ y = y \circ...

代数系统的基本性质同构同构是代数系统之间的一种重要关系，用符号 \cong 表示。若两个代数系统 (A, \star) 和 (B, \circ) 之间存在同构，则记作 (A, \star) \cong (B, \circ)。同构的性质1. 自反性定理...

半群定义,独异点定义设 S是非空集合,*是S上的二元运算,如果*在S上满足封闭性 可结合性 ,则称<S,*>是半群独异点定义设<M,*>是个半群,如果*运算有幺元,,则称<M,*>是独异点,也称它为含幺半群可交换半群设<M,*>是个半群,如果*运算是...

子群的定义设<G,*>是群,S是G的非空子集,如果<S,*>满足:(1) 对 \forall a,b \in S均有a*b \in S (封闭性)(2) 幺元e \in S (有幺元)(3) 对 \forall a \in S ,有a^{-1} \i...

子群的陪集定义设<H,*>是群<G,*>的子群,a \in G,定义集合aH=\{a*h|h \in H\}Ha=\{h*a |h \in H\}则称aH(Ha)为a确定的H在G中的左(右)陪集.<!--more-->定理<H,*>是群<G,*>的子...

回顾偏序关系<A,\leq>是偏序集:\leq 是A上自反,反对称,和传递关系(偏序). 偏序集中的元素间的次序可以通过它的Hasse图反映出来.偏序集中的重要元素:极大(小)元,最大(小)元,上(下)界,上(下)确界.<!--more-->定义<A...

环定义给定代数系统<A,+,*>,+和*是A上的二元运算,若满足下面条件(1) <A,+>是交换群(2) <A,*>是半群(3)*对+可分配.即对任何a,b,c \in A ,有\\a*(b+c)=(a*b)+(a*c)及(a+b)*c=(a*c)+...

定义设<G,*>是代数系统,如果*在G上满足**封闭性,可结合性,<G,*>中有幺元,且G中每一个元素均可逆则称<G,*>是群细分定义(1)设<G,*>是群,若集合G是有限集,则称<G,*>是有限群.反之则为无限群(2)只含有幺元的群叫平凡群(3)若...

📚 参考书籍计算机算法设计与分析(第5版)ISBN编号：9787121344398image💡 有趣的发现： ISBN编号相同却有两个不同封面的书，可能是出版商重印了。🔍 一些基本概念计算复杂度上界(Upper Bound): 算法复杂度的上界...

FIRST集1FIRST(X): 可以从X推导出的所有串首终结符构成的集合如果X \Rightarrow {}^* \varepsilon.那么 \varepsilon \in FIRST(X) 例\begin{align*} \textcircle...

S_文法:::tipS_文法(简单的确定性文法)每个产生式的右部都以终结符开始同一非终结符的各个候选式的首终结符都不同S_文法不含\varepsilon产生式:::<!--more-->非终结符的后继符号集可能在某个句型中,紧跟在A后边的终结符a的集...

不知道写点什么,所以记一下,以防失忆:::ai本文内容含AI生成内容:::DFA确定有限自动机(Deterministic Finite Automaton,DFA)是一种计算模型,常用于模式匹配、词法分析等领域。定义一个 DFA 可以用一个五元组 ...

文法转换例 文法G\\ S \rarr aAd | aBe \\ A \rarr c \\ B \rarr b \\ 输入 a b c:::warning 同一非终结符的多个候选式存在共同前缀,将导致回溯现象 :::<!--more-->例 文法G...

这一周的学习环环相扣概览好多东西都是似曾相识的.要么是在上学期就讲过,要么是中学时期就有过了解.这学期开学一周,所学到的基础知识有这几点:课程内容形式语言与自动机计算理论学的,在编译原理的课上,老师又给大家讲了一遍布尔代数真(1)与假(0).与或非这...