克莱尼星号

✍ dations ◷ 2025-02-28 00:18:22 #克莱尼星号

Kleene 星号,或称Kleene 闭包,德语称 Kleensche Hülle,在数学上是一种适用于字符串或符号及字元的集合的一元运算。当 Kleene 星号被应用在一个集合 V {displaystyle V} , {displaystyle circ } 和在 上的二元运算 {displaystyle circ } 是 的子集,则 * 被定义为包含 ε(空字符串)并闭合于这个运算下的 的最小超集。接着 * 自身是幺半群,并被称为“V 生成的自由幺半群”。这是上面讨论的 Kleene 星号的推广,因为在某个符号的集合上所有字符串的集合形成了一个幺半群(带有字符串串接作为二元运算)。

The definition of Kleene star is found in virtually every textbook on automata theory. A standard reference is the following:

相关

  • 氧气中毒氧气中毒(Oxygen toxicity)是指吸入高浓度高压氧气的不良反应,又称氧气毒性症,氧气毒性。这种症状历史上曾称以发现及描述此病症的19世纪研究员命名,其对中枢神经系统的影响称为
  • 高雄市交响乐团高雄市交响乐团 (Kaohsiung Symphony Orchestra;简称高市交、KSO)是高雄市政府以基金会形式所管理的交响乐团。附设于财团法人高雄市爱乐文化艺术基金会。总部位于高雄市凤山
  • 卡尔·李特尔卡尔·李特尔(Carl Ritter,1779年8月7日-1859年9月28日),为德国地理学家,出生在奎德林堡,后世称之为人文地理学之父。1796年,他入读了哈雷大学,读自然科学和文史等课程。1819年,他担任
  • 谋杀之谜谋杀之谜(英语:Murder mystery game)通常是一种聚会游戏。派对中的一名宾客秘密扮演凶手的角色,而其他宾客则必须找出谁是凶手。游戏中可以虚拟一起在开始之前就已经发生的谋杀
  • 富峪卫富峪卫,明洪武二十四年(1391年)升富峪千户所置,治今河北省平泉县北,属北平行都指挥使司。永乐元年(1403年)徙京师(即今北京市),后废。
  • 罗斯·克莱恩罗斯兰·伊丽莎白·克莱恩,(英语:Rosalind Elizabeth Crane,1991年5月2日-)是一位美国创作歌手,艺名为罗斯。罗斯在马林学院高中就读。之后,她在南加
  • 大蜜蜂 (游戏)《Galaga》(中文昵称“大蜜蜂”,因机体较Galaxian大)是日本Namco推出的射击游戏,于1981年9月首度推出街机版。美国的Midway Games亦获Namco授权发布此游戏。游戏为《Galaxian》(又称“小蜜蜂”、“乌蝇机”等)的后续作品,玩家需控制画面下方的太空战机,把上方的外星昆虫射掉,同时亦要闪避敌人攻击,包括炮弹及向下冲来。当画面全部敌人被射掉,玩家方能玩下一关。位于画面上方的绿色昆虫会飞到画面中央,放出吸收光波,把玩家的战机吸走并俘虏,这时玩家需要用新的战机继续游戏。如果把俘
  • 杰夫·格林杰弗里·林恩·格林(英语:Jeffrey Lynn Green,1986年8月28日-),美国职业篮球运动员,司职大前锋,目前效力NBA丹佛掘金。格林大学时效力乔治城大学,在2007年NBA选秀中于第一轮第5位被孟菲斯灰熊选中,随即被交易至波士顿凯尔特人,而后同沃利·斯泽比亚克和德隆特·韦斯特一道被送往西雅图超音速(现在的俄克拉何马城雷霆)。以换取雷·阿伦和格伦·戴维斯。格林自打进入NBA以来,就一直被定位为凯文·杜兰特的副手。在07-08赛季,雷霆队仅有两名球员打满(出赛场次大于或等于)70场比赛,一位
  • 杨·弗拉蒂斯劳·沃雪杨·弗拉蒂斯劳·沃雪(波兰语:Jan Władysław Woś,1939年4月19日-)波兰裔历史学家,现居于意大利佛罗伦萨。在波兰华沙结束小学、初中和高中的学业后,沃雪于1958年就读于华沙大学哲学系波兰语言和文学专业。次年,转入华沙第一教育学院学习波兰语言学,1961年毕业。此后至1963年8月就职于华沙第197中学,任语文教师及校图书馆管理员。1963年,重回华沙大学哲学系,主攻中世纪哲学史,研究论题为“有关但丁《神曲》中爱情问题的言论”。在此期间,进修了方法论课程,并通过相关考试,于1967年7
  • 鄂登引理在形式语言理论中,Ogden引理提供了在上下文无关语言的泵引理上灵活性的扩展。Ogden 引理声称如果语言 是上下文无关的,则存在某个数 > 0 (这里的 可以是也可以不是抽吸长度),使得对于 中任何长度至少 字符串 ,和“标记” 或更多个 中的位置的所有方式, 可以被写为带有字符串 , , , 和 ,使得 有至少一个标记了的位置, 有最多 个标记了的位置,而Ogden 引理可以在上下文无关语言的泵引理不充分的情况下,被用来证明特定语言不是上下文无关的。一个例子是语言