随笔分类 -  Bird-Meertens Formlism

Bird Meertens Formalism--homomorphism -part 2
摘要：Bird Meertens Formalism--homomorphism 上一篇有点长，我分开来写 ↑#：定义为返回长度较长的序列。长度相同时返回字典序小的。 长度对++有分配率 x ++ (y ↑# z) = (x ++ y) ↑# (x ++ z)(x ↑# y) ++ z = (x ++ z 阅读全文
posted @ 2021-12-28 21:57 liankewei123456 阅读(64) 评论(0) 推荐(0) 编辑
Bird Meertens Formalism--homomorphism
摘要：是个神奇的理论啊... homomorphism（态射）是从一个 monoid（幺半群）到一个 monoid 的线性映射。 幺半群的意思是有幺元，对乘法封闭，乘法满足左右结合律 那么 homomorphism 满足 h id⊕ = id⊗h (x ⊕ y) = h x ⊗ h y 也就是线性变换应该 阅读全文
posted @ 2021-12-17 09:02 liankewei123456 阅读(230) 评论(0) 推荐(0) 编辑

点击右上角即可分享
微信分享提示