可识别语言

✍ dations ◷ 2025-09-12 11:33:20 #可识别语言

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

给定一个幺半群，在上的语言简单的是子集 ${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)}$ 的家族。

相关

起始因子起始因子（英语：Initiation factors）是指翻译起始阶段端结合到核糖体小亚基上的一些蛋白质，翻译是蛋白质生物合成中的一部分。主要分为三种：氨酰-tRNA合成酶 · 阅读框架 · 起始
卡诺定理卡诺定理是热力学中的一个定理，说明热机的最大热效率只和其高温热源和低温热源的温度有关。此定理以尼古拉·卡诺为名。根据卡诺定理，则依卡诺定理可得到一热机的最大热效率
华族大量华人世居于印度尼西亚长达数个世纪。随时间演变，特别是在印度尼西亚新秩序时期的社会与政治压力迫使下，多数印尼华人已采用融入当地语言文化的姓氏拼写方式。但历史上曾有
弗朗茨·格拉晓夫弗朗茨·格拉晓夫（德语：Franz Grashof；1826年7月11日－1893年10月26日）是一位德国工程师。曾任卡尔斯鲁厄理工学院应用力学系教授。用于描述自然对流的格拉晓夫数即是以他之名命名
达州银行达州银行的前身达州市商业银行成立于2009年12月23日，是四川省最后一家由城市信用社改建的城市商业银行。2017年7月3日，经中国银监会正式批准更名为“达州银行”。
布雷达宣言《布雷达宣言》（日期为1660年4月4日）是英格兰国王查理二世发表的宣言，查理在英国内战后仍流亡海外，但在宣言后不久回到英国，复辟并成为国王。宣言主要内容包括：一、对所有承认查理
赛马娘 Pretty Derby《赛马娘 Pretty Derby》（日语：ウマ娘プリティーダービー），是由游戏开发公司Cygames制作的以手机游戏为主导，包含动画、漫画和音乐的多媒体企划。简称‘马娘（ウマ娘）’。预定2018
对食对食，最早是指宫女之间的女同性恋关系，宦官与宫女的结合则称为菜户。后来宦官与宫女的结合亦称为对食。对食一辞最早源自汉朝，《汉书》记载：“官婢曹晓、道房、张弃，故赵昭仪御
崇侯虎崇侯虎，为有崇氏（今河南嵩县北）国君，侯爵，名虎。商代时受封为侯，是纣王的重要羽翼。纣王为政残虐，对百姓施以炮烙之刑。西伯昌（周文王）暗中叹息，被他获知，告于纣王，纣遂囚西伯于羑里（今河南汤阴北）。西伯被释放后，开始笼络人心并南征北讨，最后攻打崇侯虎。据《说苑》记载，文王（西伯）令兵士不准杀人、不准毁坏民房、不准填井、不准伐木、不准抢百姓的六畜，不听从以上五点的人，杀无赦，崇国百姓听闻风声后，马上举城投降，崇侯虎此后则下落不明。
朱孝纯朱孝纯（1735年－1801年），字子颖，号海愚。山东东海县（今山东郯城）人。乾隆二十七年（1762年）举人，任四川简州知州，升重庆府、泰安府知府，官至两淮盐运使。著有《海愚诗钞》、《泰山金石记》等。