{“id”：“https://openalex.org/W2123724019“，”doi“：”https://doi.org/10.1016/j.ic.2015.08.001“，”title“：“自动机方程和系数的对偶等价”，”display_name“：”自动机方程的对偶等效“，”publication_year“：2015，”publiation_date“：”2015-10-01“，”ids“：{”openalex“：”https://openalex.org/W2123724019“，”doi“：”https://doi.org/10.1016/j.ic.2015.08.001“，”mag“：”2123724019“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.ic.2015.08.001“，”pdf_url“：null，”source“：｛”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜“，”oa_url“：”https://doi.org/10.1016/j.ic-2015.08.001“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5086219914“，”display_name“：”A.Ballester\u2010Bolinches“，”orcid“：”https://orcid.org/0000-0002-2051-9075“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”A.Ballester-Bolinches“，”raw _ afiliation_strings“：[]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5087604907“，”display_name“：”Enric Cosme Ll\u00f3pez“，”orcid“：”https://orcid.org/0000-0001-8618-7328“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”E.Cosme-Ll\u00f3pez“，”raw _ afiliation_strings“：[]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5062502864“，”display_name“：”Jan R\u00fctten“，”orcid“：null｝，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“：”J.Rutten“，”raw_affiation_strings“：[]｝]，”countries_dstinct_count“：0，”institutions_dispinict_count“：0，”corresponding_author_ids“：[]，”corresponding_institution_ids“：[]，”apc_list“：｛”value“：2630，”currency“：”USD“，”value_usd“：2630，”provenance“：”doaj“}，”apc_payed“：{”value“：2630,”currency“：”usd“，”value_usd:2630，“provenance”：“doaj”}，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count”：14，“cited_by_percentile_year”：{“min”：89，“max”：90}，《图书》：{卷：“244”，“issue”：null，“first”_page“：”49“，”last_page“：”75“}，”is_retracted“：false，”is_paratext“：false，”主主题“：{”id“：”https://openalex.org/T11567“，”display_name“：”自动机理论和形式语言“，”score“：0.9999，”subfield“：｛”id“：”https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”Physical Sciences“｝｝，”topics“：[｛”id“：”https://openalex.org/T11567“，”display_name“：”自动机理论与形式语言“，”score“：0.9999，”subfield“：{”id“：”https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“｝｝，｛”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9984，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“｝｝，｛”id“：”https://openalex.org/T10911“，”“display_name”：“肽合成与药物发现”，“score”：0.9955，“subfield”：{“id”：“https://openalex.org/subfields/1312“，”display_name“：”分子生物学“}，”字段“：{”id“：”https://openalex.org/fields/13“，”“display_name”：“生物化学、遗传学和分子生物学”}，“域”：{“id”：“https://openalex.org/domains/1“，”display_name“：”生命科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/combinatics-on-words网站“，”“display_name”：“单词组合学”，“score”：0.50141}，{“id”：“https://openalex.org/keywords/synchronizing-automata网站“，”display_name“：”Synchronizing Automata“，”score“：0.501092}]，”concepts“：[{”id“：”https://openalex.org/C2778249326，“wikidata”：https://www.wikidata.org/wiki/Q1777803“，”display_name“：”Coalgebra“，”level“：3，”score“：0.73860997}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.71595585}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.5944561}，{”id“：”https://openalex.org/C156103551，“wikidata”：https://www.wikidata.org/wiki/Q130998“，”display_name“：”等价关系“，”level“：2，”score“：0.5907497}，{”id“：”https://openalex.org/C2780069185，“wikidata”：https://www.wikidata.org/wiki/Q7977945“，”display_name“：”等价（正式语言）“，”level“：2，”score“：0.50609034}，{”id“：”https://openalex.org/C136197465，“wikidata”：https://www.wikidata.org/wiki/Q1729295“，”“display_name”“：”“多样性（控制论）”“，”级别“：2，”分数“：0.46738636}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.4610149}，{”id“：”https://openalex.org/C27859207，“wikidata”：https://www.wikidata.org/wiki/Q5500180“，”display_name“：”自由代数“，”level“：5，”score“：0.45850024}，{”id“：”https://openalex.org/C2780980858，“wikidata”：https://www.wikidata.org/wiki/Q110022“，”display_name“：”Dual（语法数字）“，”level“：2，”score“：0.4448886}，{”id“：”https://openalex.org/C112876837，“wikidata”：https://www.wikidata.org/wiki/Q837518“，”display_name“：”字母“，”level“：2，”score“：0.4444713}，{”id“：”https://openalex.org/C132074034，“wikidata”：https://www.wikidata.org/wiki/Q154210“，”display_name“：”同余（几何）“，”level“：2，”score“：0.43586424}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（抽象数据类型）“，”level“：2，”score“：0.43177348｝，｛”id“：”https://openalex.org/C194525867，“wikidata”：https://www.wikidata.org/wiki/Q5265707“，”display_name“：”确定性自动机“，”level“：3，”score“：0.43076342｝，｛”id“：”https://openalex.org/C167822520，“wikidata”：https://www.wikidata.org/wiki/Q176452“，”display_name“：”Finite-state machine“，”level“：2，”score“：0.41630322}，{”id“：”https://openalex.org/C21720249，“wikidata”：https://www.wikidata.org/wiki/Q5165460“，”display_name“：”Continuous automaton“，”level“：5，”score“：0.41234067}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.4031354}，{”id“：”https://openalex.org/C116248031，“wikidata”：https://www.wikidata.org/wiki/Q214526“，”display_name“：”自动机理论“，”level“：3，”score“：0.2921638}，{”id“：”https://openalex.org/C158008952，“wikidata”：https://www.wikidata.org/wiki/Q617295“，”display_name“：”非确定性有限自动机“，”level“：4，”score“：0.18292785}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.111355454}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.087278634}，{”id“：”https://openalex.org/C14394260，“wikidata”：https://www.wikidata.org/wiki/Q4723980“，”display_name“：”代数表示“，”level“：3，”score“：0.0845266}，{”id“：”https://openalex.org/C100899422，“wikidata”：https://www.wikidata.org/wiki/Q5058347“，”display_name“：”细胞代数“，”level“：4，”score“：0.07375783}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C142362112，“wikidata”：https://www.wikidata.org/wiki/Q735“，”display_name“：”Art“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C124952713，“wikidata”：https://www.wikidata.org/wiki/Q8242“，”display_name“：”文学“，”等级“：1，”分数“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：5，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.ic.2015.08.001“，”pdf_url“：null，”source“：｛”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”https://ir.cwi.nl/pub/22407，“pdf_url”：https://ir.cwi.nl/pub/22407/22407D.pdf，“源”：{“id”：https://openalex.org/S4306400859“，”display_name“：”CWI的机构知识库（Centrum Wiskunde&Informatica）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I1341640284“，”host_organization_name“：”Centrum Wiskunde&Informatica“，”host_organization _lineage“：[”https://openalex.org/I1341640284“]，”host_organization_lineage_names“：[”Centrum Wiskunde&Informatica“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”https://ir.cwi.nl/pub/23806，“pdf_url”：https://ir.cwi.nl/pub/23806/23806D.pdf，“源”：{“id”：https://openalex.org/S4306400859“，”display_name“：”CWI的机构知识库（Centrum Wiskunde&Informatica）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I1341640284“，”host_organization_name“：”Centrum Wiskunde&Informatica“，”host_organization _lineage“：[”https://openalex.org/I1341640284“]，”host_organization_lineage_names“：[”Centrum Wiskunde&Informatica“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”https://repository.ubn.ru.nl//bitstream/handle/2066/147286/147286.pdf，“pdf_url”：https://repository.ubn.ru.nl/bitstream/handle/2066/147286/147286.pdf，“源”：{“id”：https://openalex.org/S4306401067“，”display_name“：”Radboud Repository（Radboud-University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I145872427“，”host_organization_name“：”奈梅亨拉德布大学“，”host_organization_lineage“：[”https://openalex.org/I145872427“]，”host_organization_lineage_names“：[”Radboud University Nijmegen“]，”type“：”repository“｝，”license“：null，”license_id“：null，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false｝，｛”is_oa“：true，”landing_page_url“：”https://hdl.handle.net/2066/147286，“pdf_url”：https://repository.ubn.ru.nl/bitstream/handle/2066/147286/147286.pdf，“源”：{“id”：https://openalex.org/S4306401067“，”display_name“：”Radboud Repository（Radboud-University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I145872427“，”host_organization_name“：”奈梅亨拉德布大学“，”host_organization_lineage“：[”https://openalex.org/I145872427“]，”host_organization_lineage_names“：[”Radboud University Nijmegen“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1016/j.ic-2015.08.001“，”pdf_url“：null，”source“：｛”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：{”funder“：”https://openalex.org/F4320321001“，”“funder_display_name”：“国家自然科学基金”，“award_id”：“11271085”}，{“funder”：“https://openalex.org/F4320321837“，”“funder_display_name”：“经济部\u00eda y Competitividad”，“award_id”：“MTM2014-54707-C3-1-P”}，{“funder”：“https://openalex.org/F4320324018“，”“funder_display_name”：“教育部\u00f3n de la Naci\u00f 3n”，“奖项id”：“AP2010-2764”}]，“数据集”：[]，“版本”：[[]，“referenced_works_count”：27，“referrenced_works”：[”https://openalex.org/W1490682046","https://openalex.org/W1518573520","https://openalex.org/W1533648993","https://openalex.org/W1563218161","https://openalex.org/W1570532888","https://openalex.org/W196547133","https://openalex.org/W2002895162","https://openalex.org/W2005100072","https://openalex.org/W2008285256","https://openalex.org/W2013548638","https://openalex.org/W2028110117","https://openalex.org/W2049352524","https://openalex.org/W2054801208","https://openalex.org/W2088189323","https://openalex.org/W2097706640","https://openalex.org/W2116250539","https://openalex.org/W2138769606","https://openalex.org/W2156429182","https://openalex.org/W2231711512","https://openalex.org/W2482537687","https://openalex.org/W2483416580","https://openalex.org/W2500252975","https://openalex.org/W2914248380","https://openalex.org/W3102384285","https://openalex.org/W4206635485","https://openalex.org/W4213165878","https://openalex.org/W4249509651“]，”related_works“：[”https://openalex.org/W4297516501","https://openalex.org/W4251939207","https://openalex.org/W3105604159","https://openalex.org/W2522171317","https://openalex.org/W2155870982","https://openalex.org/W2091988401","https://openalex.org/W2091417034","https://openalex.org/W2044688016","https://openalex.org/W2042728676","https://openalex.org/W2020296378“]，”ngrams_url“：”https://api.openalex.org/works/W2123724019/ngrams网站“，”“abstract_inverted_index”：{“The”：[0]，“transition”：[1]，“structure”：[2]，“\u03b1”：[3,57,69,76,96]，“：”：[4]，“X”：[5,7,16,55,67,74,94]，“\u 2192”：[6]，“A”：[8,23125130]，“of”：[9,47,83,89113120129151158163167]，“A”：[10,33,41135141145149]，“确定性”：[11]，“automatic”关于“：[12,53]，”带有“：[13,18132]，”状态“：[14]，”设置“：[15,82,88]，”和“：[17,31,49,71,85115122165]，”输入“：[19]，”来自“：[20]，”an“：[21,29]，”字母“：[22]，”can“：[24]，”be“：[25104]，“viewed”：[26]，“both”：[27]，“as”：[28,32,40]，“algebra”：[30]，“coalegebra。“：[34]，”We“：[35]，”use“：[36]，”this“：[37]，”algebra\u2013coalebra“：[3]，”对偶“：[39]，”common“：[42]，”perspective“：%43]，”for“：[44156]，”the“：[45,80,86111161]，”study“：[46]，”equations“：[C8,84]，”coequations。“：[50]，”对于“：[51]，”每个“：[52]，”（“：[54,66,73,93]，”，“：[56,59,68,75,95139]，”）“：[58,70,77,97]，”我们“：[60147]，”定义“：[61]，”两个“：[62]，”新“：[63]，”自动机：“：[64]，”自由“：[65114]，”cofree“：[72116]，”表示，“：”：[78]，“分别，”：[79118]，“最大”：[81]，“最小”：[87]，“等式”：[90]，“满足”：[91]，“by”：[92]，“。“：[98]，”Both“：[99]，”constructions“：[100]，”are“：[101]，”shown“：[102]，”to“：[103123134]，”functorial。“：[105]，“我们的”：[106]，“主”：[107]，“结果”：[108]，“是”：[109]，“那”：[110]，“限制”：[112]，“to，”：[117]，“预设”：[119]，“语言”：[121]，“商”：[124]，“\u204e”：[126131]，“/”：[127]，“C”：[128138]，“尊重”：[133]，“同余”：[136]，“关系”：[137]，“形式”：[140]，“对偶”：[142]，“等价。“：[143]，”As“：[144]，”success“：[146]，”present“：[148]，”variant“：%150]，”Eilenberg’s“：[152]，”hearted“：[153]，”change“：[154]，”heeth“：[155]，”veries“：[157166]，”monoids“：[159]，”（in“：[160]，”sense“：[162]，”Birkhoff）“：[164]，”languages“。“：[168]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2123724019“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：2}，{“年度”：2021，”“cited_by_cunt”：2%n，{”“年”：2018，”“cited_by_count”“：1}，”“年份”“：2017，”“引用_by_cont”：4}，“年份”（year）：2016，”“引伯爵”“：2]，”{“年”“：2015，”“引伯爵”：3}]，”“更新日期”：“2024-05-27T19:51:40.114722”，“创建日期”：“2016-06-24”}