![](https://img-blog.csdnimg.cn/20190918140213434.png?x-oss-process=image/resize,m_fixed,h_224,w_224)
数学
文章平均质量分 97
math
persistenthuang
☞
展开
-
编译原理词法分析(正规式转NFA)
文章目录【问题描述】【基本要求】【测试用例】【解决步骤】正规式转NFA方法步骤:图的构建过程:完整代码:【问题描述】正规表达式→NFA问题的一种描述是:编写一个程序,输入一个正规表达式,输出与该文法等价的有穷自动机。【基本要求】设置FA初始状态X,终态Y,过程态用数字表示:0 1 2 3………【测试用例】测试数据:(a|b)*abb输出结果应为:X X - ~ ->3Y0 0-a->11 1-b->22 2-b->Y3 3-~->0 3-a-原创 2022-02-15 09:44:31 · 4327 阅读 · 0 评论 -
离散数学-代数系统-半群与独异点,群-18
离散数学代数系统半群与独异点定义:(1)设V=<S, ∘ >是代数系统,∘为二元运算,如果∘运算是可结合的(满足结合律),则称V为半群(semi-group)(2)设V=<S, ∘ >是半群,若e∈S是关于∘运算的单位元,则称V是含幺半群,也叫做独异点(monoid),有时也将独异点V记作V=<S,∘ ,e>...原创 2020-05-22 14:02:49 · 8696 阅读 · 0 评论 -
离散数学-代数系统-同态同构-17
离散数学代数系统同态映射:定义:设V1=<A,∘>和V2=<B,∗>是同类型的代数系统, f:A→B,且∀x, y∈A 有f(x∘y) = f(x)∗f(y), 则称 f 是V1到V2的同态映射,简称同态.同态分类:如果f是单射,则称为单同态如果f是满射,则称为满同态,这时称V2是V1的同态像,记作V1∼ V2如果f是双射,则称为同构,也称代数系统V1同构于V2,记作V1 ≅ V2如果V1 = V2,则称作自同态同态映射的判别和证明:说明:设有代数系统V1=&原创 2020-05-21 09:34:12 · 11273 阅读 · 0 评论 -
离散数学-代数系统-二元运算-16
离散数学代数系统原创 2020-05-21 08:55:15 · 12440 阅读 · 0 评论 -
离散数学-函数-集合的基数-15
离散数学函数集合的基数集合的等势:集合的优势:原创 2020-05-21 08:13:47 · 7233 阅读 · 0 评论 -
离散数学-函数-复合函数+反函数-14
离散数学函数:复合函数+反函数:复合函数的定义:复合函数的性质反函数的定义:反函数存在条件:反函数的性质:原创 2020-04-15 09:24:29 · 6420 阅读 · 0 评论 -
离散数学-函数-定义和性质-13
离散数学函数:函数的定义和性质:定义:函数相等:函数的集合:函数的像,完全原像:满射、单射、双射常用函数:常含数:f(x)=c恒等函数:f(x)=x单调递增:对于x1<x2 :f(x1)<=f(x2)严格单调递增:对于x1<x2 :f(x1)<f(x2)特征函数:自然映射:...原创 2020-04-13 15:52:12 · 9777 阅读 · 0 评论 -
离散数学-集合-等价关系-11
离散数学等价关系:原创 2020-04-09 14:58:21 · 1157 阅读 · 0 评论 -
离散数学-集合-关系的闭包-10
离散数学集合与关系:定义闭包的构造方法:原创 2020-04-09 11:30:25 · 3856 阅读 · 0 评论 -
离散数学-集合-关系的性质-09
离散数学:关系的性质:例题:关系的等价描述:证明:总结原创 2020-03-30 15:37:33 · 2037 阅读 · 1 评论 -
离散数学-集合-关系的运算-08
离散数学:集合与关系-关系的运算:关系特有的运算:关系的复合关系的逆关系的幂关系的复合:复合关系的性质:原创 2020-03-30 14:30:08 · 4941 阅读 · 0 评论 -
离散数学-集合-笛卡尔积-07
离散数学:集合与关系-笛卡尔积:有序对:笛卡尔积:性质:(6). 不满足交换律。(7). 不满足结合律。证明练习:二元关系:关系的表示:三种关系:...原创 2020-03-30 13:55:14 · 6280 阅读 · 0 评论 -
离散数学-集合与关系-06
离散数学:集合的基本概念:集合的表示法:列举法描述法图示法集合的关系:全集和空集:集合的幂集:集合的基本运算:广义交、广义并:运算优先级:集合恒等式:证明集合恒等式:例题:鸽巢原理:有穷集合计数问题:...原创 2020-03-23 15:45:44 · 3107 阅读 · 0 评论 -
离散数学-谓词逻辑-05
离散数学-谓词逻辑等值演算:逻辑等值和永真蕴含谓词永真式:谓词逻辑中的基本永真式:量词与否定的交换:量词辖域的扩张和收缩:原创 2020-03-16 15:08:34 · 614 阅读 · 0 评论 -
离散结构-谓词逻辑-04
离散结构-谓词逻辑谓词逻辑基本概念谓词刻画个体词性质及个体词之间相互关系的词个体词、个体域命题函数量词:特征量词谓词逻辑及其符号化符号总结:一阶语言:原子公式的定义:自由与约束:例题:谓词公式的分类:...原创 2020-03-09 16:09:10 · 365 阅读 · 0 评论 -
离散结构-对偶与范式+命题逻辑-03
离散结构对偶式与范式对偶式定义:在仅含有连接词非,v,^ ,的命题公式A中,将v换成 ^同时将T和F互相替代,所得公式A*,称为对偶式。当然A式A的对偶式A*的对偶式。公式的标准型-范式...原创 2020-03-04 13:54:50 · 1110 阅读 · 0 评论 -
离散结构-02
离散结构原创 2020-02-26 11:23:13 · 1491 阅读 · 0 评论 -
离散结构-01
离散结构绪论离散结构这门课包含数理逻辑、集合论、图论、代数系统等四大部分内容。命题及其表示法命题:能判断真假的陈述句。命题的真值:0命题类型简单命题:由一个简单陈述句组成复合命题:简单命题+连接词常见的命题连词:事件PQ。否定:“非”:并非P合取:“且“:P并且Q析取:”或“,(相容或:P或者Q)、(排斥或:PQ不能同时为真)蕴含:”->“:如果P,那么Q等价...原创 2020-02-26 08:16:18 · 3323 阅读 · 0 评论