语法幺半群

✍ dations ◷ 2025-12-05 17:49:57 #语法幺半群

语法幺半群,即在数学中,形式语言 的 语法幺半群 () 是可识别语言 的最小的幺半群。

给定幺半群 的子集 S M {displaystyle Ssubset M} 中元素的形式左逆或右逆组成的集合。它们叫做商,可以定义右商和左商,依赖于串接的是哪一端。 与一个元素 m M {displaystyle min M} 上的一个等价关系,叫做(引发自 的)语法关系、语法等价或语法同余。右语法等价是等价关系

类似的,左语法关系是

两端同余可以定义为

语法商相容于在幺半群中的串接,有着

对于所有 s , t M {displaystyle s,tin M} 的语法幺半群是可识别 的最小的幺半群;就是说 () 识别 ,对于所有识别 的幺半群 ,() 是 的子幺半群的商。 的语法幺半群也是 的极小自动机的转移幺半群。

等价的说,一个语言 是可识别的,当且仅当商的族

是有限的。等价性的证明非常容易。假定字符串 是可被确定有限状态自动机识别的,带有最终机器状态是 。如果 是这个机器可识别的另一个字符串,也终止于同样的最终状态 ,则明显的有 L / x L / y {displaystyle L/x,sim L/y} 是初始状态,转移函数给出自 ( L / x ) / y = L / ( x y ) {displaystyle (L/x)/y=L/(xy)} 。所以语言 是可识别的当且仅当集合 { L / m | m M } {displaystyle {L/m,vert ;min M}} 的一个正则表达式 ,很容易计算 的语法幺半群。

相关

  • 壶菌门壶菌(英语:Chytridiomycota)是一类具有动孢子(英语:zoospore)的真菌。其名称来源于希腊文χυτρίδιον(chytridion),意思是“小壶”,因其产生动孢子的结构动孢子囊而得名。壶菌
  • font style=color:#888small汉更始帝 23–25/small/font汉更始帝刘玄(?-25年),字圣公,南阳郡蔡阳县(今湖北省枣阳市西南)人,两汉之际绿林军拥立的皇帝(玄汉政权),或被视为西汉的最后一位皇帝。刘玄原本是西汉宗室,是汉景帝刘启的后代、汉光武帝
  • 评判评判,是一个比赛的公证人,他们给予参赛者评分,最后决定谁胜谁负。评判可能是一个人,称为评判员;或者是一个群体,称为评审团,或称评判团;又或者用公众投票来评议打分数,称为公众评判、
  • 长江服役奖章长江服役奖章(英语:Yangtze Service Medal) 是美国海军部颁发的一项军事勋奖。创立于1930年,长江服役奖章颁发的对象是美国海军和海军陆战队,后拓展至部分美国陆军成员。该奖章用于嘉奖1926年9月3日至1932年12月31日,长江流域动荡不安的时期,在该地区服役的美军。该奖章也可授予常驻上海,为美国海军长江巡逻舰队的登陆行动(如南京事件中)提供支援的军事人员。长江服役奖章在1940年宣告停用,同时被中国服役奖章所取代。
  • 福特总统在萨克拉门托遇刺案福特总统在萨克拉门托遇刺案(英语:Attempted assassination of Gerald Ford in Sacramento)是指1975年9月5日礼拜五,曼森家族信徒、极端环保主义者琳内特·弗洛姆(Lynette Alice“Squeaky” Fromme)在加利福尼亚州首府萨克拉门托暗杀时任美国总统杰拉尔德·福特的未遂事件。弗洛姆称其行凶动机是为向各界宣扬“ATWA”这一曼森家族教义。当日上午,弗洛姆与福特仅有一臂之远,且她迅速掏出M1911手枪对着福特开火;但由于她未上膛,故无人受伤。
  • 音乐魔法镇!《音乐魔法镇!》(英语:)是一部美国歌舞喜剧类型的网络剧集,由辛柯·保罗和肯·多利欧(英语:Cinco Paul and Ken Daurio)开创,希丝莉·史壮(英语:Cecily Strong)领衔出演,剧集于2021年7月16日在苹果公司的线上串流媒体平台Apple TV+首播。一对自助旅行的恋人意外进入名为施米加多的小镇,发现镇上居民的行为举止如同20世纪40年代的音乐剧,随后两人意识到除非找到“真爱”,否则无法离开小镇。2020年1月,Apple TV+给予剧集整季预订,希丝莉·史壮(英语:Ce
  • 阿道夫·巴隆切里阿道夫·巴隆切里(意大利语:Adolfo Baloncieri,1897年7月27日-1986年7月23日),意大利男子足球运动员。他曾代表意大利参加1920年、1924年和1928年夏季奥林匹克运动会足球比赛,获得一枚铜牌。
  • 瞽女瞽女(日语:瞽女/ごぜ  *)是古代与近代日本的女性盲人卖艺者。其日语训读来自于对其敬称“盲御前(めくらごぜん)”。瞽女表演直到近代都活跃于日本全国。至20世纪则以新潟県为中心在北陆地方各处弹唱三味线,时夹以胡弓,是以巡回进行门付表演为生的云游艺人。亦称女盲目(おんなめくら)。
  • 约翰·朱利叶斯·沃尔鲍姆约翰·朱利叶斯·沃尔鲍姆(德语:Johann Julius Walbaum,1724年6月30日-1799年8月21日)是位18世纪的德国医生、自然历史学家、鱼类学家、动物群分类学家。 沃尔鲍姆是第一个发现外科手术中可以用手套来防止感染的人。他在1758年所用手套是使用羊的盲肠所制,因为当时橡胶还没有被发明。作为鱼类学家,沃尔鲍姆描述并命名了二十多种在偏远地区不被当时欧洲人所知的鱼类,包括大鳞魣、西伯利亚远东堪察加河的狗鲑和虹鳟、以及巴西圣弗朗西斯科河的银色鲮脂鲤。在1893年开放的吕贝克自然历史博物馆(
  • 氢氧化亚锰氢氧化锰(II),或称氢氧化亚锰,是一种无机化合物,化学式为Mn(OH)2。氢氧化锰(II)可以通过无碳酸盐的氢氧化钾和氯化锰稀溶液反应得到,该反应需要在无氧的环境中进行,处理产物要在氢气气氛中完成,所得产物为白色胶状沉淀:氢氧化锰(II)略具两性,可以溶于酸,也能被强碱作用:除了Mn(OH)3-之外,Mn(OH)2还可以形成Mn(OH)42-,如Na2Mn(OH)4、SrMn(OH)4和BaMn(OH)4。氢氧化锰(II)也能溶于氯化铵溶液。氢氧化锰(II)接触空气时颜色逐渐变深,这是它被空气中的氧氧化