{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,4,3]]，“日期时间”：“2022-04-03T05:01:33Z”，“时间戳”：1648962093383}，“参考计数”：9，“出版商”：“世界科学出版社私人有限公司”，“问题”：“06”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”short集装箱运输”：[“国际J。找到。计算。科学。“]，”published-print“：{”date-parts“：[[2005,12]]}，”abstract“：”我们的目标是枚举识别给定正则语言的所有NFA（非确定性有限自动机）[公式：见正文]。更准确地说，我们生成了一组\ud835\udd38的自动机，这样每个识别[Formula:see text]的自动机a在合并一些状态和添加一些转换之前都会出现在\ud835%udd38中，也就是说，有一个surpjective态射将a映射到\ud832\udd38自动机上。我们为Kameda和Weiner（1970）以及Sengoku（1992）以前的工作提供了一个基于态射性质的通用理论框架，其问题是NFA的最小化。本文给出了两种无与伦比的枚举技术。两者都是通过枚举自动机地图的特定网格覆盖类来进行的。第一个与Carrez引入的标准自动机有关。第二个是基于与电网覆盖及其预测之间关系相关的新结果<\/jats:p>“，”DOI“：”10.1142\/s0129054105003790“，”type“：”journal-article“，”created“：{”date-parts“：[[2005,12,2]，”date-time“：”2005-12-02T11:54:25Z“，”timestamp“：1133524465000}，”page“：卡车运输CANONICAL AUTOMATON“]，“prefix”：“10.1142”，“volume”：“16”，“author”：[{“给定”：“J.-M.”，“family”：“CHAMPARNAUD”，”sequence“：”first“，”affiliation“：[{name“：”LIFAR，University of Rouen，France“}]}，{“given”：”F.“，”family“：“COULON”，“sequence”：“additional”，“affiliance”：[}“name”：“LIFAR（法国鲁昂大学）}]}]，“member”：“219”，“在线发布”：{“日期-部分”：[[2011,11,20]]}，“reference”：[{“key”：“rf1”，“首页”：“166”，“卷”：“47”，“作者”：“Arnold A.”，“新闻标题”：“EATCS公报”}，{“key”：”rf2“，“非结构化”：“J.A.\u00a0Brzozowski，自动机数学理论，MRI专题讨论会系列\u00a 012（1962）\u00a-0pp.529\u2013561。”}“，{”key“：”rf4“，”第一页“：”23“，“volume”：“55”，“作者”：“Champarnaud J.-M.”，“journal-title”：“Fundamental Informaticae”}，{“key”：“rf5”，“first-page”：“241”，“volume”：：“3”，“author”：“Champarnaud J.-M.”，“johnal-tittle”：”Theoret.Compute.Sci.“}，}“key:”rf6“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/BF02090394“}”，{”key“：”rf7“，”“doi-assert-by”：“publisher”，“doi”：“10.1137\/0222067”}，{“key”：“rf8”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/T-C.1970.222994”}，{“key”：“rf9”，“unstructured”：“O.\u00a0Matz and A.\u00a 0Potthoff，《系统构建和分析的工具和算法》\u2013 TACAS 95\u00a/0NS-95-2（1995）\u00a-0pp.74\u201388.”}、{“密钥”：“rf11”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3642-59136-5_2”}]，“container-title”：[“国际计算机科学基础杂志”]，“original-title”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/www.worldscience.com\/doi\/pdf\/10.1142\/S01290541055003790”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2019,8,7]]，“date-time”：“2019-08-07T15:29:20Z”，“timestamp”：1565191760000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/www.worldscience.com\/doi\/abs\/10.1142\/S0129054105003790”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：ed-online“：{“date-parts”：[[2011,11,20]]}，“published-print”用法：{“date-parts”：[[2005,12]]}}，“alternative-id”：[“10.1142\/S0129054105003790”]，“URL”：“http://\/dx.doi.org\/10.1142\/S0129054105003790”，“relation”：{}，”ISSN“：[“0129-0541”，“1793-6373”]，”ISSN-type“：[{”value“：”0129-05401“，”type“”：“print”}，{“value”：“1793-673”，“type”“：”电子“}]，”主题“：[]，”发布“：{”日期部分“：[[2005,12]]}}}