{“id”：“https://openalex.org/W1564539225“，”doi“：”https://doi.org/10.1007/978-3-540-31980-1_14“，”title“：”无限词上非确定性自动机的补码构造“，”display_name“：”无穷词上非确定自动机的补码构造“；”publication_year“：2005，”publication_date“：”2005-01-01“，”ids“：{”openalex“：”https://openalex.org/W1564539225“，”doi“：”https://doi.org/10.1007/978-3-540-31980-1_14“，”mag“：”1564539225“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-31980-1_14，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-540-31980-1_14.pdf“，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”book-chapter“，”type_crossref“：美国“：”铜牌“，”oaurl“：”https://link.springer.com/content/pdf/10.1007%2F978-3-540-31980-1_14.pdf”，“any_repository_has_fulltext”：false｝，“authorships”：[｛“author_position”：“first”，“author”：｛“id”：“https://openalex.org/A5077429082“，”display_name“：”Orna Kupferman“，”orcid“：”https://orcid.org/0000-0003-4699-6117}，“机构”：[{“id”：https://openalex.org/I197251160“，”display_name“：”耶路撒冷希伯来语大学“，”ror“：”https://ror.org/03qxff017“，”country_code“：”IL“，”type“：“教育”，”世系“：[”https://openalex.org/I197251160“]}]，”国家“：[”IL“]，”is_corresponding“：false，”raw_author_name“：”Orna Kupferman“，”raw _ afiliation_strings“：[“以色列耶路撒冷希伯来大学工程与计算机科学学院”]，”affiliations“：[{”raw_ afiliation _string“：”以色列耶路撒冷希伯来大学工程和计算机科学学院“，”institution_ids“：]”https://openalex.org/I197251160“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5000059818“，”display_name“：”Moshe Y.Vardi“，”orcid“：”https://orcid.org/0000-0002-0661-5773}，“机构”：[{“id”：https://openalex.org/I74775410“，”display_name“：”莱斯大学“，”ror“：”https://ror.org/008zs3103“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I74775410“]}]，”countries“：[”US“]，”is_corresponding“：false，”raw_author_name“：”Moshe Y.Vardi“，”raw _ afiliation_strings“：【”美国休斯顿莱斯大学计算机科学系“】，”affiliations“：[{”raw _affiliation_strong“：”美国休斯敦莱斯大学计算科学系“，”institution_ids“：[“https://openalex.org/I74775410“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：2，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：2.997，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_b y_count“：30，”引用规范化百分比“：{”value“：0.891546，”is_in_top_1_percent“：false，”is_in_top_10_percent.“：false}，”cited_by_percentile_year“：{”min“：89，”max“：90}，“biblio”：{“volume”：null，”issue“：null”，“first_page”：“206”，“last_page”：“221”}、“is_retracted”：false、“is_paratext”：false，“primary_topic”：“{”id“：”https://openalex.org/T11567“，”display_name“：”自动机理论和形式语言“，”score“：0.9995，”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/T11567“，”display_name“：”自动机理论和形式语言“，”score“：0.9995，”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.9987，“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.993，”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/keywords/nondeterministic-algorithm“，”display_name“：”非确定性算法“，”score“：0.8236444}，{”id“：”https://openalex.org/keywords/combinatics-on-words网站“，”display_name“：”单词组合“，”score“：0.559029｝，｛”id“：”https://openalex.org/keywords/synchronizing-automata网站“，”display_name“：”Synchronizing Automata“，”score“：0.516984}]，”concepts“：[{”id“：”https://openalex.org/C176181172，“wikidata”：https://www.wikidata.org/wiki/Q3490301“，”display_name“：”非确定性算法“，”level“：2，”score“：0.8236444}，{”id“：”https://openalex.org/C188082640，“wikidata”：https://www.wikidata.org/wiki/Q1780899“，”display_name“：”互补“，”level“：4，”score“：0.77036136}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.71519697}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.583916}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.54309285｝，｛”id“：”https://openalex.org/C2780586882，“wikidata”：https://www.wikidata.org/wiki/Q7520643“，”display_name“：”Simple（哲学）“，”level“：2，”score“：0.44414517}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.42751414}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.29924735}，{”id“：”https://openalex.org/C55493867，“wikidata”：https://www.wikidata.org/wiki/Q7094“，”display_name“：”生物化学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329网址“，”display_name“：”Chemistry“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C104317684，“wikidata”：https://www.wikidata.org/wiki/Q7187“，”display_name“：”Gene“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C127716648，“wikidata”：https://www.wikidata.org/wiki/Q104053“，”display_name“：”Phenotype“，”level“：3，”score“：0.0｝]，”mesh“：[]，”locations_count“：1，”locations“：[｛”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-31980-1_14，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-540-31980-1_14.pdf“，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”best_oa_location“：{”is_oa“：true”，“landing_page_url”：“https://doi.org/10.1007/978-3-540-31980-1_14，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-540-31980-1_14.pdf“，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，”grants“：【】，”dataset“：【]，”versions“：【〕，”referenced_works_count“：40，”https://openalex.org/W1516458431","https://openalex.org/W1529546258","https://openalex.org/W1537299619","https://openalex.org/W1560270176","https://openalex.org/W1605593319","https://openalex.org/W1605860947","https://openalex.org/W1707248965","https://openalex.org/W1798280647","https://openalex.org/W1818793721","https://openalex.org/W1841354836","https://openalex.org/W1990609140","https://openalex.org/W1994797527","https://openalex.org/W1996207810","https://openalex.org/W1998084650网址","https://openalex.org/W2000302396","https://openalex.org/W2026134631","https://openalex.org/W2027755003","https://openalex.org/W2031592188","https://openalex.org/W2044310724","https://openalex.org/W2051621669","https://openalex.org/W2053388055","https://openalex.org/W2054801208","https://openalex.org/W2059045337","https://openalex.org/W2086970337","https://openalex.org/W2087593009","https://openalex.org/W2091750535","https://openalex.org/W2098817244","https://openalex.org/W2115309705","https://openalex.org/W2132107743","https://openalex.org/W2138856440","https://openalex.org/W2145121791","https://openalex.org/W2156060655","https://openalex.org/W2170933628","https://openalex.org/W2561675875","https://openalex.org/W2914000465","https://openalex.org/W4245752840网址","https://openalex.org/W4250266285","https://openalex.org/W4250884204","https://openalex.org/W4285719527","https://openalex.org/W69918202“]，”related_works“：[”https://openalex.org/W4313680197","https://openalex.org/W3104076899","https://openalex.org/W2583818399","https://openalex.org/W2527359676","https://openalex.org/W2109183219","https://openalex.org/W2100326215","https://openalex.org/W2085821685","https://openalex.org/W1974905959","https://openalex.org/W1564539225","https://openalex.org/W1548816955“]，”abstract_inverted_index“：{”The“：[0]，”complementation“：[1,31,64,94]，”problem“：[2]，”for“：[3,48,66,96]，”nondetermistic“：[4]，”automata“：[5,55]，”on“：[6]，”infinite“：[7]，”words“：[8]，”has“：[9]，”mannumber“：[10]，”applications“：[11]，”in“：[12]，”formal“：[13]，”verification“。”：[14]，“在“：[15,72]，”special，“：[16]，”The“：[17,58,77,87]，”中语言遏制“：[18]，“问题”，：[19]，“to”：[20,60,80,89]，“which”：[21]，“many”：[22]，“verification”：[23]，“problems”：[24]，“are”：[25,33]，“reduced”：[26]，“includes”：[27]，“complementation”。“：[28]，”传统“：[29]，”最佳“：[30,63]，”构造“：[32,65,95]，”相当“：[34]，”复杂“：[35]，”和“：[36,52,56,68,82,85,92]，”有“：[37,43]，”没有“：[38]，”已经“：[39]，”实现。“：[40]，”最近，“：[41]，”我们“：[42,75]，”开发“：[44]，”an“：[45]，”分析“：[46,59,78,88]，”技术“：[47]，”运行“：[49]，”of“：[50]，”co-B\u00fcchi“：[51,54]，”广义“：[53,69]，”使用“：[57]，”描述“：[61,90]，”更简单“：[62]，”B\u00ffchi“:[67,70]，”自动机●●●●。“：[71]，”这个“：[73]，”工作“：[74]，”扩展“：[76]，”技术“：[79]，”拉宾“：[81]，”斯特雷特“：[83]，”自动机“：[84]，”使用“：[86]，”新颖“：[91]，”简单“：[93]，”它们。“：[97]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1564539225“，”“counts_by_year”：[{“年份”：2019，”“cited_by_count”：2}，{“年度”：2018，”“引用_by_cunt”：1}，“引用_by_count年”：2017，”