可识别语言

✍ dations ◷ 2025-01-13 03:15:34 #可识别语言

在数学和计算机科学中，可识别语言是可被有限状态机识别的形式语言。等价的说，可识别语言是语法关系的商的家族为有限的的形式语言。

给定一个幺半群，在上的语言简单的是子集 ${displaystyle Lsubset M}$ 上可识别的，如果有在上的有限状态机接受作为输入。在上的有限状态机简单的是以的元素作为输入，接受或拒绝它们的有限自动机。

在上的可识别语言的家族指示为 ${displaystyle REC(M)}$ 是在某个字母表 ${displaystyle Sigma }$ $Sigma$ 上自由幺半群 ${displaystyle Sigma ^{*}}$ $Sigma ^{*}$ ，则家族 ${displaystyle RECleft(Sigma ^{*}right)}$ ${displaystyle RECleft(Sigma ^{*}right)}$ 是正则语言 ${displaystyle REGleft(Sigma ^{*}right)}$ ${displaystyle REGleft(Sigma ^{*}right)}$ 的家族。

相关

精质物理学中，第五元素（英语：quintessence，又译作精质）是一种对于暗能量的假设形式，被提出来解释对于宇宙加速膨胀的观测。第五元素是一种标量场，其状态方程 (宇宙学)（将该物质之压力pq
日内瓦湖莱芒湖（法语：lac Léman），又称日内瓦湖（lac de Genève），是西欧的重要湖泊。莱芒湖略呈新月形，湖北岸和东西两端分属瑞士沃州、瓦莱州和日内瓦州，南岸则属于法国上萨瓦省。瑞士和法国
2019冠状病毒病天津市疫情2019冠状病毒病天津市疫情，介绍在2019冠状病毒病疫情中，在中华人民共和国天津市发生的情况。截至2020年5月2日，天津市累计报告新型冠状病毒肺炎确诊病例190例（境外输入病例54例），
一硫化镓一硫化镓是镓的数种硫化物之一，化学式为Ga2S2，或写作GaS。在一硫化镓中，存在Ga24+单元，Ga-Ga键长为248 pm。一硫化镓对水稳定，难溶于稀酸。和单质溴可以剧烈反应。 GaAs · GaBr
茨城县知事列表茨城县知事列表为在日本国宪法下，以公职选举法及地方自治法（日语：地方自治法）为基础之住民选举，而选出之茨城县民选知事一览表。
吉林市田家炳高级中学吉林市田家炳高级中学，原名吉林铁路第一中学、吉林市铁路中学，始建于1949年。2009年5月14日，吉林市铁路中学正式更名为吉林市田家炳高级中学。
汪元方汪元方（?－1867年），字友陈，号啸庵，安徽歙县人，晚清政治人物，进士出身。道光十三年（1833年）进士，选庶吉士，授编修，历任奉天府府丞、鸿胪寺卿、太仆寺卿、通政使、左副都御史、礼部右侍郎、
地穴寓言洞穴比喻是古典哲学最著名的比喻之一。作者是希腊哲学家柏拉图 (公元前428/427–348/347)。柏拉图在其理想国对话集第七卷的开篇，让他的老师苏格拉底（文学化身）叙述了这个比喻
弗拉基米尔·帕什科夫弗拉基米尔·伊戈列维奇·帕什科夫（俄语：Владимир Игоревич Пашков；1961年2月4日－）是一名俄罗斯官员，现任顿涅茨克人民共和国总理。1961年2月4日，帕什科夫出生在苏联俄罗斯苏维埃联邦社会主义共和国伊尔库茨克州布拉茨克。帕什科夫曾出任伊尔库茨克州副州长，在俄罗斯兼并克里米亚后离职。2018年，美国财政部宣布对帕什科夫制裁。2020年2月，俄罗斯总统弗拉基米尔·普京的发言人否认帕什科夫代表俄罗斯政府。
杭州岳王庙杭州岳王庙是纪念及祭祀南宋时期汉族民族英雄岳飞的庙宇，为所有岳王庙中最有名的一座。岳王庙位于杭州西湖西北角、栖霞岭南麓，始建于南宋嘉定十四年（1221年），因岳飞葬于此地，故杭州岳王庙又称岳坟。1961年，杭州岳王庙被中华人民共和国国务院列为全国重点文物保护单位。岳飞为中国南宋时期名将，对抗南侵的金国军队期间用兵如神，屡战屡胜。后来，其却被主和派的秦桧及宋高宗以莫须有的罪名在杭州风波亭被处死。但他的英勇事迹没有被后人遗忘，其后被追封为鄂武穆王及岳王。后世对他多以正面评价，更视为民族英雄。1142年岳飞死后