{“@context”：“https:\/\/schema.org\/”，“@type”：“ScholarlyArticle”，“@id”：“#article13472”，“name”：“最小确定有限自动机识别有限二进制语言的渐近性”，“abstract”：“我们证明了具有n+1状态的最小确定有限自动机的数量对于类似于u0398的n\u2192\u221e（n！8\u207fe^{3a\u2081n^{1\/3}}n^{7\/8}）是渐近增长的，其中\u2081\u2248-2.338是Airy函数的最大根。为此，我们使用了同一作者在最近的预印本（2019年）中提出的一种新的渐近枚举方法。我们首先导出了一个新的双参数递推关系，该递推关系表示此类自动机的个数达到给定的大小。利用这个结果，我们通过归纳证明了对于大n来说足够精确的紧界，以便使用自适应的Netwon多边形确定渐近形式。“，”关键字“：[”Airy函数“，”渐近性“，”有向无环图“，”Dyck路径“，”双射“，”拉伸指数“，”压缩树“，”最小自动机“，”有限语言“]，”作者“：[｛”@type“：”Person“，”name“：”Elvey Price，Andrew“，”givenName“：”Andrew“，”familyName“：”Elvey Price“，”电子邮件“：”mailto:andrew.elvey@univ-tours.fr“，”sameAs“：”https:\/\/orcid.org\/00000-0003-3240-6390“，”affiliation“：”University\u00e9 de Bordeaux，Laboratoire Bordelais de Recherche en Informatique，UMR 5800，351 Cours de la Lib\u00e 9ration，33405 Talence Cedex，France“，”funding“：”欧盟欧洲研究理事会（ERC）\u2019s Horizon 2020研究与创新计划，根据第759702号赠款协议。”}，{“@type”：“Person”，“name”：“Fang，Wenjie”，“givenName”：“Wenjie”，“familyName”：“Fang”，“email”：“mailto:wenjie.fang@u-pem.fr”，“sameAs”：“https:\/\/orcid.org/0000-0001-9148-2807”，“附属机构”：“信息实验室Gaspard Monge，UMR 8049，古斯塔夫·埃菲尔大学，CNRS，ESIEE Paris，77454 Marne la Vall\u00e9e，France”，“资助”：“自由精神研究，即不受具有精确预定义目标的资助的支持。“}，{”@type“：”Person“，”name“：”Wallner，Michael“，”givenName“：”Michael“michael.wallner@tuwien.ac.at邮箱“，”sameAs“：”https:\/\/orcid.org\/00000-0001-8581-4499X“，”affiliation“：”波尔多大学，波尔多信息实验室，UMR 5800，351 Cours de la Lib\u00e9ration，33405 Talence Cedex，法国“，”funding“：”Erwin Schr\u00f6dinger Fellowship of the Austrian Science Fund（FWF）：J 4162-N35.“}]，”position“：11，”pageStart“11:1“，”pageEnd“：”11:13“，”dateCreated“：“2020-06-10”，”datePublished“：”2020-06-100“，”isAccessibleForFree“：true，”license“：”https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode“，”copyrightHolder“：[{”@type“：”Person“，”name“：”Elvey Price，Andrew“，”givenName“：”Andrewandrew.elvey@univ-tours.fr“，”sameAs“：”https:\/\/orcid.org\/00000-0003-3240-6390“，”affiliation“：”University\u00e9 de Bordeaux，Laboratoire Bordelais de Recherche en Informatique，UMR 5800，351 Cours de la Lib\u00e 9ration，33405 Talence Cedex，France“，”funding“：”欧盟欧洲研究理事会（ERC）\u2019s Horizon 2020研究与创新计划，根据第759702号赠款协议。“}，{”@type“：”Person“，”name“：”Fang，Wenjie“，”givenName“：”Wenjie.“，”familyName“：“Fang”，”email“：”mailto:“wenjie.fang@u-pem.fr“，”sameAs“：”https:\/\/orcid.org\/00000-0001-9148-2807“，”affiliation“：”Laboratoire d'Informatique Gaspard-Monge，UMR 8049，University\u00e9 Gustave Eiffel，CNRS，ESIEE Paris，77454 Marne-la-Vall\u00e 9e，France“，”funding“：”Recherche en esprit libre，即，不受具有精确预定义目标的资金支持。“}，{”@type“：”Person“，”name“：”Wallner，Michael“，”givenName“：”Michael“michael.wallner@tuwien.ac.at邮箱“，”sameAs“：”https:\/\/orcid.org\/00000-0001-8581-4499X“，”affiliation“：”University\u00e9 de Bordeaux，Laboratoire Bordelais de Recherche en Informatique，UMR 5800，351 Cours de la Lib\u00e 9ration，33405 Talence Cedex，France“，”funding“：”Erwin Schr\u00f6dinger Fellowship of the Austrian Science Fund（FWF）：J 4162-N35.“}]，”copyright Year“：”2020“，”accessMode“：”textual“，”accessModeSufficient“：”extext“，”creativeWorkStatus“：”Published“，”inLanguage“：”en-US“，”sameAs“：”https:\/\/doi.org\/10.4230\/LIPIcs。AofA.2020.11“，”publisher“：”Schloss Dagstuhl\u2013 Leibniz-Zentrum f\u00fcr Informatik“，”引文“：[”https:\\/doi.org\/10.4230\/LIPIcs.STACS.2012.88“，”https:\//doi.org\/10.1016\/j.tcs.2007.04.001“，”http://\\/doi.org\/10.007\/s00224-014-9544-x“，”http://www.eatcs.org\/images\bulletin\/beatcs 89.pdf“，”https:\/\/cs.uwaterloo.ca\/~shallit\/Papers\/enum.ps“，”http://\/arxiv.org\/abs\/1908.11181“，”https:\\/doi.org\/10.1016\/j.jcta.2019.105177“，”https:\\/dio.org\/101016\/j.dam.20056.009“，”http://www.dmg.tuwien.ac.at\/mwallner“]，”isPartOf“：{”@type“：“PublicationVolume”，“@id”：“#volume6362”，“volumeNumber”：159，“name”：“第31届算法分析概率、组合和渐近方法国际会议（AofA 2020）“，“dateCreated”：“2020-06-10”，“datePublished”：“2020年6月10日”，“editor”：[{“@type”：“Person”，“name”：“Drmota，Michael”，“givenName”：“Michael”michael.drmota@tuwien.ac.at邮箱：“，”sameAs“：”https:\/\/orcid.org\/00000-0002-6876-6569“，”affiliation“：”TU Wien，Austria“}，{”@type“：“Person”，“name”：“Heuberger，Clemens”，“givenName”：“Clemenss”，“familyName”：”Heuberge“，”email“：”mailto:“clemens.heuberger@aau.at“，”sameAs“：”https:\/\/orcid.org\/00000-0003-0082-7334“，”affiliation“：”University\u00e4t Klagenfurt，Austria“}]，”isAccessibleForFree“：true，”publisher“：“Schloss Dagstuhl\u2013 Leibniz-Zentrum f\u00fcr Informatik”，“hasPart”：“#article13472”，“isPartOf”：{“@type”：”Periodic“，”@id“：”#series116“，”name“：”Leibniz International Proceedings in Informative cs“，”issn“：”1868-8969“，”isAccessibleForFree“：true，”publisher“：”Schloss Dagstuhl\u2013 Leibniz-Zentrum f\u00fcr Informatik“，”hasPart“：“#volume6362”}}“