{“id”：“https://openalex.org/W22954444426“，”doi“：”https://doi.org/10.1007/978-3-319-19797-5_11“，”title“：”Automata和Coequations的正则变体“，”display_name“：”Automata和coequationsRegular Varieries“，”publication_year“：2015，”publiation_date“：”2015-01-01“，”ids“：{”openalex“：”https://openalex.org/W2295444426“，”doi“：”https://doi.org/10.1007/978-3-319-19797-5_11“，”mag“：”229544426“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-19797-5_11“，”pdf_url“：null，”source“：｛”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，“open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：https://repository.ubn.ru.nl/bitstream/handle/2066/143770/1/143770.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5018396940“，”display_name“：”J.Salamanca“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I1341640284“，”display_name“：”Centrum Wiskunde&Informatica“，”err“：”https://ror.org/00x7ekv49“，”country_code“：”NL“，”type“：”设施“，”沿袭“：[”https://openalex.org/I1341640284","https://openalex.org/I2800991832“]}]，”国家“：[”NL“]，”is_corresponding“：true，”raw_author_name“：”J.Salamanca“，”raw _affiliation_strings“：[“CWI阿姆斯特丹、阿姆斯特丹和荷兰”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5086219914“，”display_name“：”A.Ballester\u2010Bolinches“，”orcid“：”https://orcid.org/0000-0002-2051-9075}，“机构”：[{“id”：https://openalex.org/I16097986“，”display_name“：”Val00e8ncia大学“，”错误“：”https://ror.org/043nxc105“，”country_code“：”ES“，”type“：“教育”，”世系“：[”https://openalex.org/I16097986“]}]，”国家“：[”ES“]，”is_corresponding“：false，”raw_author_name“：”A.Ballester-Bolinches“，”raw _ afiliation_strings“：[“西班牙巴伦西亚瓦尔瓦尔瓦卢00e8ncia大学”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5028076905“，”display_name“：”Marcello Bonsangue“，”orcid“：”https://orcid.org/0000-0003-3746-3618}，“机构”：[{“id”：https://openalex.org/I121797337“，”display_name“：”莱顿大学“，”ror“：”https://ror.org/027bh9e22“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I121797337“]}，{”id“：”https://openalex.org/I1341640284“，”display_name“：”Centrum Wiskunde&Informatica“，”err“：”https://ror.org/00x7ekv49“，”country_code“：”NL“，”type“：”设施“，”沿袭“：[”https://openalex.org/I1341640284","https://openalex.org/I2800991832“]}]，”国家“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”M.M.Bonsange“，”raw _ afiliation_strings“：[“CWI阿姆斯特丹，荷兰”，“LIACS-荷兰莱顿大学”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5087604907“，”display_name“：”Enric Cosme Ll\u00f3pez“，”orcid“：”https://orcid.org/0000-0001-8618-7328}，“机构”：[{“id”：https://openalex.org/I16097986“，”display_name“：”Val00e8ncia大学“，”错误“：”https://ror.org/043nxc105“，”country_code“：”ES“，”type“：“教育”，”世系“：[”https://openalex.org/I16097986“]}]，”国家“：[”ES“]，”is_corresponding“：false，”raw_author_name“：”E.Cosme-Ll\u00f3pez“，”raw _ afiliation_strings“：[“西班牙巴伦西亚瓦尔大学\u00e8ncia”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5062502864“，”display_name“：”Jan R\u00fctten“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I145872427“，”display_name“：”奈梅亨Radboud大学“，”ror“：”https://ror.org/016xsfp80“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I145872427“]}，{”id“：”https://openalex.org/I1341640284“，”display_name“：”Centrum Wiskunde&Informatica“，”err“：”https://ror.org/00x7ekv49“，”country_code“：”NL“，”type“：”设施“，”沿袭“：[”https://openalex.org/I1341640284","https://openalex.org/I2800991832“]}]，”国家“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”J.J.M.M.Rutten“，”raw _affiliation_strings“：[“CWI阿姆斯特丹，荷兰”，“荷兰奈梅亨，奈梅亨拉德布德大学”]}]，”countries_distiction_count“：2，”institutions_disticent_count”：4，“corresponding_author_ids”：[“https://openalex.org/A5018396940“]，”对应的机构ID“：[”https://openalex.org/I1341640284“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：{“value”：5000，“currench”：“EUR”，”value_ usd“:5392，“provenance”：“doaj”}，“has_fulltext”：false，“cited_by_count”：5，“cited_by_percentile_year”：{“min”：83，“max”：84}，‘biblio’：{‘volume’：null，“issue”：null，“first_page”：“224”，“last_page”：“237”}，“is_retracted”：falseis_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9997，”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“：”Physical Sciences“｝｝，”topics“：[｛”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9997，”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/T11567“，”display_name“：”自动机理论和形式语言“，”score“：0.9997，”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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9992，“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/keywords/regular-expressions网站“，”display_name“：”正则表达式“，”score“：0.501012}]，”concepts“：[{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.839965}，{”id“：”https://openalex.org/C158338273，“wikidata”：https://www.wikidata.org/wiki/Q2154943“，”display_name“：”同态加密“，”level“：3，”score“：0.63050455}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5518094}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416（网址：https://www.wikidata.org/wiki/Q121416）“，”display_name“：”离散数学“，”level“：1，”score“：0.49112388}，{”id“：”https://openalex.org/C2778023678，“wikidata”：https://www.wikidata.org/wiki/Q554403“，”display_name“：”二重性（秩序理论）“，”level“：2，”score“：0.48733243}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.37583423}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”Mathematics“，”level“：0，”score“：0.34930837｝，｛”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.24408048}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.23108003}，{”id“：”https://openalex.org/C148730421，“wikidata”：https://www.wikidata.org/wiki/Q141090“，”display_name“：”Encryption“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：4，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-19797-5_11“，”pdf_url“：null，”source“：｛”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://hdl.handle.net/2066/143770，“pdf_url”：https://repository.ubn.ru.nl/bitstream/handle/2066/14377/143770.pdf，“源”：{“id”：https://openalex.org/S4306401068“，”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://ir.cwi.nl/pub/23382，“pdf_url”：https://ir.cwi.nl/pub/23382/23382B.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”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://hdl.handle.net/10550/49060，“pdf_url”：https://roderic.uv.es/bitstream/10550/49060/1/105917.pdf，“源”：{“id”：https://openalex.org/S4306400245“，”“display_name”：“教学研究与文化数字对象库（巴伦西亚大学）”，“issn_l”：null，“issn”：null，“is_oa”：true，“is.in_doaj”：false，“host_organization”：“https://openalex.org/I16097986“，”“host_organization_name”：“Val\u00e8ncia大学”，“host_organization_lineage”：[“https://openalex.org/I16097986“]，”host_organization_lineage_names“：[”Universitat de Val\u00e8ncia“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://hdl.handle.net/2066/143770，“pdf_url”：https://repository.ubn.ru.nl/bitstream/handle/2066/143770/1/143770.pdf，“源”：{“id”：https://openalex.org/S4306401068“，”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}，”sustainable_development_goals“：[]，“grants”：[]https://openalex.org/W1515423948","https://openalex.org/W1919037109","https://openalex.org/W2049352524","https://openalex.org/W2074592053","https://openalex.org/W2088189323","https://openalex.org/W2138769606","https://openalex.org/W2139845245","https://openalex.org/W2963337840","https://openalex.org/W344914243“]，”related_works“：[”https://openalex.org/W4390664647","https://openalex.org/W4313300189","https://openalex.org/W4256358502","https://openalex.org/W3012147850","https://openalex.org/W2949835517","https://openalex.org/W2771047361","https://openalex.org/W2625655658","https://openalex.org/W2601739120","https://openalex.org/W2539930818","https://openalex.org/W2403663234“]，”ngrams_url“：”https://api.openalex.org/works/W22954444426/ngrams“，”abstract_inverted_index“：｛”In“：[0]，”this“：[1]，”paper“：[2]，”we“：[3]，”use“：[4]，”a“：[5]，”对偶“：[6]，”result“：[7]，”between“：[8]，”equations“：[9，47]，”and“：[10，18，35，48]，”共方程“：[11，60]，”for“：[12,75]，”自动机“：[13]，”证明“：[14]，”by“：[15,45]，“Ballester Bolinches，”：[16]，“Cosme Ll\u00f3pez，”：[17]，“Rutten”：[19]，“to”：[20,72]，“characterize”：[21]，“非空“：[22]，“类”：[23,41,54]，“of”：[24,42,55,59,63]，“确定性”：[25]，“自动机”：[26,43,56]，“that”：[27]，“are”：[28,70]，“closed”：[29]，“under”：[30]，“products”：[31]，“subautomata”：[32]，“同态”：[33]，“images”：[34]，“总和”。“：[36]，”One“：[37]，”characterization“：[38]，”is“：[39,52]，”as“：[40,53]，”defined“：[44]，”regular“：[46,76]，”the“：[49]，”second“：[50]，”One“：[P1]，”satisfient“：[57]，”set“：[58]，”called“：A/61/，”variations“：[62]，”languages。“：[64]，“我们”：[65]，“显示”：[66]，“如何”：[67]，“我的”：[68]，“结果”：[69]，“相关”：[71]，“Birkhoff\u2019s”：[73]，“定理”：[74]，“变种”。“：[77]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W22954444426“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：1}，{“年度”：2021，”“cited_by_cunt”：2}，}“年份“：2016，”“cited_by_count”“：1}，{”“年份”“：2015，”“引用_by_cont”“:1}]，”“updated_date”：“2024-05-14T10:39:00.571373”，”“创建日期”：“2016-06-24”}