{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部分”：[[2022,3,31]]，“日期-时间”：“2022-03-31T13:50:52Z”，“时间戳”：1648734652878}，“引用-计数”：8，“发布者”：“世界科学出版社有限公司”，“问题”：“06”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”short集装箱运输”：[“国际J。已找到。计算。科学。“]，”published-print“：{”date-parts“：[[2002,12]]}，”abstract“：”我们将术语重写系统中重叠模式的模式匹配编译为最小的树匹配自动机。使用共享所有同构子自动机的有向非循环图可以减少空间需求。这些在树自动机中是重复的。我们设计了一种有效的方法来识别这种子自动机，并避免在生成dag自动机时重复它们的构造。我们计算了自动机大小的一些边界，从而改进了之前已知的树自动机的等价边界<\/jats:p>“，”DOI“：”10.1142\/s0129054102001515“，”type“：”journal-article“，”created“：{”date-parts“：[[2002,11,21]]，”date-time“：”2002-11-21T10:17:37Z“，”timestamp“：1037873857000}，”page“：“873-887”，“source”：“Crossref”，“is-referenced-by-count”：0，“title”：[“重写式编程语言中的模式匹配代码最小化GES“]，”前缀“：”10.1142“，”卷：“13”，“作者”：[｛“给定”：“NADIA”，“家族”：“NEDJAH”，“序列”：“第一个”，“隶属关系”：[｛“名称”：“里约热内卢州立大学工程学院系统工程与计算系，Rua S\u00e3o Francisco Xavier，524，Sala 5022-D，Maracan\u00e3，里约热内卢，RJ，20559-900，巴西”｝]，｛“给定”：“LUIZA de MACEDO”family“：”MOURELLE“，”sequence“：”additional“，”affiliation“：[{”name“：”里约热内卢州立大学工程学院系统工程与计算系，Rua S\u00e3o Francisco Xavier，524，Sala 5022-D，Maracan\u00e 3，Rio de Janeiro，RJ，20559-900，Brazil“}]]，“成员”：“219”，“在线发布”：{“日期部分”：[2011,12]}，“参考文献“：[{“key”：“p_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/3-540-53904-2_107”}by“：”publisher“，”doi“：”10.1007\/3-540-52592-0_68“}，{”key“：”p_7“，”doi-asserted-by“：”publisher“，”doi“：”10.1137\/0206024“}，{“key”：“p_9”，“first page”：”273“，”volume“：”1298“，”author“：”Nedjah CD.“，”year“：”1997“，”journal-title“：”Proc.6th，International Conference on Algebraic and Logic Programming，Southampton，UK，Springer-Verlag计算机科学讲义author“：”Nedjah CD.“，”year“：”1999“，”journal-title“：”Software-Practice and Experience，John Wiley“}，{“key”：“p_14”，“doi-asserted-by”：“publisher”，“doi”：“10.1137\/S0097539792246252”}]，“container-title”：[“International journal of Foundations of Computer Science”]，“original-title:[]，“language”：“en”，“link”：[{“URL”：“https:\/\/www.worldscience.com\/doi\/pdf\/10.1142\/S012905412001515“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,8,7]]，”date-time“：“2019-08-07T15:34:10Z”，”timestamp“：1565192050000}，”score“：1，”resource“：”{“primary”：{“URL”：“https:\/\/www.worldscience.com\/doi\/abs\/10.1142\/S012905412001515“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2002.12]]}，“参考计数”：8，”日志发布“：”发布“：}，“alternative-id”：[“10.1142\/S012905412001515”]，“URL”：“http:\/\/dx.doi.org\/10.1142\/s0129054102001515“，”关系“：{}，”ISSN“：[”0129-0541“，”1793-6373“]，”ISSN-type“：[{”value“：”0129-00541“”，“type”：“print”}，{”value“：”1793-673“，”type“:”electronic“}]，“subject”：[]，“published”：{“date-parts”：[2002,12]}}}}