快传网汽车广西四川威海宁德解释
周口词组
博客买车
新车城市
上海精品
专题城市
南阳昆明
广西辽宁
合肥吉安
咸阳四平
天水威海
科学自然
化学社会
研究遗产

克莱尼代数(由词目及其释义等构成的中文知识性百科条目)

9月5日 洪痔 投稿

  克莱尼代数,是数学名词,又称Kleene代数,是下列两个事物之一:带有满足德摩根定律和不等式xxyy的对合的有界分配格。所有布尔代数都是Kleene代数,但是多数Kleene代数不是布尔代数。克莱尼代数并非Kleene提出,但是他有着不可磨灭的贡献。   历史   Kleene代数不是Kleene定义的;他介入了正则表达式并寻求一个完备的公理集合来允许在正则表达式上的所有等式的推导。首先约翰何顿康威在正则代数的名义下研究了这个问题。DexterKozen最先证明了Kleene代数的公理解决了这个问题。   定义   在文献中给出了Kleene代数和相关结构的各种不等价的定义。总揽可见〔1〕。下面给出当代最常用的定义。   Kleene代数是带有分别写为ab、ab和a的,两个二元运算:AAA和:AAA,和一个函数:AA的集合A,所以满足下列公理。   和的结合律:a(bc)(ab)c和a(bc)(ab)c对于A中所有的a,b,c。   的交换律:abba对于A中所有的a,b。   分配律:a(bc)(ab)(ac)和(bc)a(ba)(ca)对于A中所有的a,b,c。   和的单位元:对于A中所有的a存在一个A中元素0使得:a00aa。对于A中所有的a存在一个A中元素1使得:a11aa。   a00a0对于A中所有的a。   上述公理定义了一个半环。我们进一步要求:   是等幂的:aaa对于A中所有的a。   现在可以定义在A上的偏序,通过设定ab当且仅当abb(或等价的:ab当且仅当A存在一个x使得axb)。通过这个次序我们可以公式化关于运算的最后两个公理:   1a(a)a对于A中所有的a。   1(a)aa对于A中所有的a。   如果a和x在A中使得axx,则axx。   如果a和x在A中使得xax,则x(a)...(全文)

<<<<<<>>>>>>

西天(由词目及其释义等构成的中文知识性百科条目)在我国古时候,有一段时间认为太阳是一个神物,每天都要执事,刚有东西方向的时候,太阳落西,说成是在我们这里执事查看完,去西天执事查看去了。咱们这里天黑了,西天该是白天了。西天也可……阿里山山椒鱼(由词目及其释义等构成的中文知识性百科条目)阿里山小鲵分布台湾阿里山,雄鲵全长100毫米,雌鲵86毫米左右。基本资料名称:阿里山小鲵学名:HynobiusarisanensisMakiArisanHyn……帕金森叠加征(由词目及其释义等构成的中文知识性百科条目)帕金森叠加综合征(ParkinsonismPlussyndrome,PPS),是一组有帕金森病类似的临床表现,又有其他神经系统病变特征的神经系统变性疾患。帕金森叠加综合征的病因……明日边缘(由词目及其释义等构成的中文知识性百科条目)《明日边缘》(EdgeofTomorrow)是道格里曼执导的科幻动作电影,由汤姆克鲁斯、艾米莉布朗特、比尔帕克斯顿、布莱丹格里森、诺亚泰勒、夏洛特莱李、约纳斯阿姆斯特朗、劳拉普……克莱尼代数(由词目及其释义等构成的中文知识性百科条目)克莱尼代数,是数学名词,又称Kleene代数,是下列两个事物之一:带有满足德摩根定律和不等式xxyy的对合的有界分配格。所有布尔代数都是Kleene代数,但是多数Kleene代……宝泉岭站(由词目及其释义等构成的中文知识性百科条目)宝泉岭站(BaoquanlingRailwayStation),位于中国黑龙江省鹤岗市,是中国铁路哈尔滨局集团有限公司管辖的三等站,始建于1981年。地理位置宝泉岭……中国古代科技(由词目及其释义等构成的中文知识性百科条目)《中国古代科技》是2010年中国国际广播出版社出版的图书,作者是金秋鹏。内容简介《中国古代科技》内容简介:从世界古代文明发展史看,中国早期的文明是落后于古巴比伦、古……三鲜卷(由词目及其释义等构成的中文知识性百科条目)三鲜卷是家常面食,主料是对虾,肥膘肉,韭菜,将鸡蛋打在碗内,放少许精盐、淀粉搅匀,倒入勺内摊成蛋皮;把调好的馅卷在蛋皮内,卷成1。5厘米粗、15厘米长的卷,上屉蒸;蒸熟取出晾凉……D4537(由词目及其释义等构成的中文知识性百科条目)2010年4月26日,列车开通,停靠唐山北站和滦县站;2010年6月20日,更换车型为CRH2,取消停靠唐山北站和滦县站;2011年7月2日,北戴河站改造完成,终点站调整为北戴……富士通fi4220C(由词目及其释义等构成的中文知识性百科条富士通fi4220C,一款扫描仪富士通fi4220C概述富士通fi4220C主要参数设计类型平板扫描元件CCD光学分辨率600600dpi扫描介质……逆天神器(由词目及其释义等构成的中文知识性百科条目)《逆天神器》是公子吉祥创作的网络小说,已完结。该书主要讲述了现代孤儿易周偶然得到一件神奇的戒指后穿越成为古代易家少主,从此开始了一帆风顺的日子的故事。内容简介当他的……《革命练习曲》(由词目及其释义等构成的中文知识性百科条目)作品由十二首练习曲组成,每首具有明确的技术锻炼目的。如第一首练右手的伸张和大把位的分解和弦;第二首练右手3、4、5指的独立、灵活和翻越弹奏等等。在这同时,每首练习曲又具有鲜明、……

<<<<<<>>>>>>

广州荣声电器(由词目及其释义等构成的中文知识性百科条目)《商战不倒翁》(由词目及其释义等构成的中文知识性百科条目)朱洪庙乡(由词目及其释义等构成的中文知识性百科条目)充国香桃源(由词目及其释义等构成的中文知识性百科条目)金刚石磨块(由词目及其释义等构成的中文知识性百科条目)方创美容仪(由词目及其释义等构成的中文知识性百科条目)舒喘灵(由词目及其释义等构成的中文知识性百科条目)蓝釉灯(由词目及其释义等构成的中文知识性百科条目)驰骋商场(由词目及其释义等构成的中文知识性百科条目)楚翔(由词目及其释义等构成的中文知识性百科条目)巢湖学院学报(由词目及其释义等构成的中文知识性百科条目)棕尾扁嘴霸鹟(由词目及其释义等构成的中文知识性百科条目)