{“id”：“https://openalex.org/W1536608616“，”doi“：”https://doi.org/10.1007/978-3-540-89439-1_14“，”title“：”关于非确定性B\u00fcchi和co-B\u00fcchi词自动机的相对简洁性“，”display_name“：”关于非确定性B\u00fcchi和co-B\u00fcchi词自动机的相对简洁性“，”publication_year“：2008，”publication_date“：”2008-01-01“，”ids“：｛”openalex“：”https://openalex.org/W1536608616“，”doi“：”https://doi.org/10.1007/978-3-540-89439-1_1-14“，”mag“：”1536608616“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-89439-1_14“，”pdf_url“：空，”源“：{”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”：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”：网址：http://www.cs.huji.ac.il/~ornak/publications/lpar08.pdf“，”any_repository_has_fulltext“：true}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5061045932“，”display_name“：”Benjamin Aminof“，”orcid“：null}，”institutions“：[{”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“：”Benjamin Aminof“，”raw _ afiliation_strings“：[“以色列耶路撒冷希伯来大学工程与计算机科学学院91904#TAB#”]，”affiliations“：[{”raw _affiliation_strong“：”以色列耶路撒冷希伯来大学工程和计算机科学学院，91904#TAB#“，”机构ID“：[”https://openalex.org/I197251160“]}]}，{”author_position“：”middle“，”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_affiliation_strings“：[“以色列耶路撒冷希伯来大学工程与计算机科学学院91904#TAB#”]，”affiliations“：[{”raw_affiliation_string“：”以色列耶路撒冷希伯来大学工程和计算机科学学院，91904#TAB#“，”机构ID“：[”https://openalex.org/I197251160“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5076014167“，”display_name“：”Omer Lev“，”orcid“：”https://orcid.org/0000-0001-7481-9439}，“机构”：[{“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“：”Omer Lev“，”raw _affiliation_strings“：[“以色列耶路撒冷希伯来大学工程与计算机科学学院91904#TAB#”]，”affiliations“：[{”raw _affiliation_string“：”以色列耶路撒冷希伯来大学工程和计算机科学学院，91904#TAB#“，”机构ID“：[”https://openalex.org/I197251160“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[]、“correspending_institution_ids“：[[]，”apc_list“：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：0.912，“has_fulltext”：false，“cited_b y_count“：3，”引用规范化百分比“：{”value“：0.637509，”is_in_top_1_percent“：false，”is-in_top_10_percennt“：false}，”cited_by_percentile_year“：{”min“：74，”max“：76}，“biblio”：{“volume”：null，”issue“：null”，”first_page“：”183“，”last_page“：”197“}”，“is_retracted”：falsehttps://openalex.org/T11567“，”display_name“：”自动机理论和形式语言“，”score“：0.9998，”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.9998，”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.9996，“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.9988，“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/sucictness网站“，”display_name“：”简洁“，”分数“：0.9728742}，{”id“：”https://openalex.org/keywords/nondeterministic-algorithm“，”display_name“：”非确定性算法“，”score“：0.70511127}，{”id“：”https://openalex.org/keywords/combinatics-on-words网站“，”display_name“：”单词组合学“，”score“：0.504118}]，”concepts“：[{”id“：”https://openalex.org/C2776493592，“wikidata”：https://www.wikidata.org/wiki/Q5158717“，”display_name“：”简洁“，”level“：2，”score“：0.9728742}，{”id“：”https://openalex.org/C176181172，“wikidata”：https://www.wikidata.org/wiki/Q3490301“，”display_name“：”非确定性算法“，”level“：2，”score“：0.70511127}，{”id“：”https://openalex.org/C90805587，“wikidata”：https://www.wikidata.org/wiki/Q10944557“，”display_name“：”Word（群论）“，”level“：2，”score“：0.5415085}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.51687145}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.40205437}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.35423738}，{”id“：”https://openalex.org/C94375191，“wikidata”：https://www.wikidata.org/wiki/Q11205“，”display_name“：”算术“，”level“：1，”score“：0.34819847}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.28895164}，{”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.2788308}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.18981439｝，｛”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”Philosophy“，”level“：0，”score“：0.08004141}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-89439-1_14“，”pdf_url“：空，”源“：{”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”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1156.8815，“pdf_url”：网址：http://www.cs.huji.ac.il/~ornak/publications/lpar08.pdf“，”源“：{”id“：”https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（The Pennsylvania State University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“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://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.156.8815，“pdf_url”：网址：http://www.cs.huji.ac.il/~ornak/publications/lpar08.pdf“，”源“：{”id“：”https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（The Pennsylvania State University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[{”display_name“：”素质教育“，”分数“：0.48，”id“：”https://metadata.un.org/sdg/4“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：27，”referrenced_works“：【”https://openalex.org/W117768600","https://openalex.org/W1489630028","https://openalex.org/W1492291048","https://openalex.org/W155083490","https://openalex.org/W1556566737","https://openalex.org/W1570288637","https://openalex.org/W1589421353","https://openalex.org/W1599755483","https://openalex.org/W1600581889","https://openalex.org/W1605593319","https://openalex.org/W1834198313","https://openalex.org/W1990609140","https://openalex.org/W1994797527","https://openalex.org/W2016206563","https://openalex.org/W2020617153","https://openalex.org/W2031592188","https://openalex.org/W2033071128","https://openalex.org/W2037846247","https://openalex.org/W2050073538","https://openalex.org/W2086440639","https://openalex.org/W2094912129","https://openalex.org/W2132638915","https://openalex.org/W2138856440","https://openalex.org/W2162583406","https://openalex.org/W2163151383","https://openalex.org/W2305184423","https://openalex.org/W4250884204“]，”related_works“：[”https://openalex.org/W306845974","https://openalex.org/W302213122","https://openalex.org/W2804031838网址","https://openalex.org/W2608771265","https://openalex.org/W2359995945","https://openalex.org/W2173721792","https://openalex.org/W2170813354","https://openalex.org/W2060032524","https://openalex.org/W1609236127","https://openalex.org/W1581583767“]，”abstract_inverted_index“：{”The“：[0,55]，”practical“：[1]，”importance“：[2]，”of“：[3,12,15,26,49,63218]，”automata“：[4,30,36]，”on“：[5]，”infinite“：[6]，”objects“：[7]，”has“：+8183]，”motived“：[9]，”a“：[10130152157215]，“re-inspection”：[11]，”The“：[13,22,45,52,61,75,88,91138176199 219237242251257]，“复杂性”：[14]，“自动机理论”：[16]，“建筑。“：[17]，”One“：[18]，”suke“：[19160]，”construction“：[20]，”is“：[21,42,67,96112123151190260]，”translation“，”：[23247]，”when“：[24]，”possible“，”:[25]，”nondetermistic“：[27,33]，”B\u00fcchi“：[28220]，”word“：[29,35]，”（NBW）“：[31]，”to“：[32,51,65214230245]，”co-B\u00fc chi“[34]，“（NCW）。“：[37]，”in“：[38]，”other“：[39，89]，”applications“：[40]，”it“：[4119195]，”used“：[43]，”in“：[44]，”translation“：[46，62，77]，”（when“：[47]，”possible“）：[48]，”LTL“：[50]，”alternation free“：[53]，”\u03bc微积分。“：[54]，”最佳“：[56,76,92]，”已知“：[57,93252]，”上限“：[58253]，”绑定“：[59,95140]，”for“：[60144198]，”NBW“：[64,71,99125169223246]，”NCW“：[66,81105128178244]，”指数“：[68]，”（给定“：[69]，”an“：[70,79124168222]，“with”：[72,82100170232]，”n“：[73101108]，”“状态”：[74174]，“产量”：[78]，“等价物”：[80104127]，“2”：[83]，“O（n）：[84]，”logn）“：[85]，”表示）。“：[86]，“开”：[87]，“手”：[90]，“下”：[94139]，“琐碎”：[97]，“（no”：[98]，“states”：[102111]，“which”：[103126]，“requires”：[106129]，“even”：[107]，“+”：[109172]，“1”：[110149173]，“known”）。“：[113]，”In“：[1114133209]，”fact“：[115]，”only“：[116]，”nerrent“：[117]，”was“：[118]，”shown“：[120]，”that“：[121143161179202250]，”there“：[12250]，”different“：131]，”structure“结构。“：[132]，”this“：[134188]，”paper“：[135]，”we“：[136239]，”improve“：[137]，”by“：[141167228]，”showing“：[142]，”every“：[145]，”integer“：[146]，”k“：[147155163182]，”\u2265“：[148]，”language“：[153]，”L“：[154162181]，”over“：[156]，”two-etter“：[158]，”albetter“，”：[159]，“can”：[164224]，“be”：[165]，“recognized”：[166]，“2k”：[171]，“where”：[175]，“minimal”：[177]，“识别“：[180]，“3k”：[184]，“状态。“：[185234]，“偶数”：[186]，“虽然”：[187]，“差距”：[189]，“非”：[191]，“渐近”：[192]，“非常”：[193]，“显著”，“：[194]，“尽管”：[196]，“证明”：[197]，“第一”：[200]，“时间”：[201]，“NBW”：[203]，“是”：[204]，Ws公司。“：[208]，”加法“：[210]，”我们的“：[211]，”证明“：[212]，”分数“：[213]，”概念“：[216]，”优势“：[217]，”条件：“：[221]，”抽象“：[225]，”精确“：[226]，”计数“：[227229]，”无限“：[231]，”两个“：[233]，”到“：[235]，”完成“：[236]，”图片“：[238]，”考虑“：[240]，”也“：[241]，“反向”：[243]，“和”：[248]，“显示”：[249]，“绑定”：[254]，“其中”：[255]，“重复项”：[256]，“状态”：[258]，“空格”，：[259]，“紧密。”：[261]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W1536608616“，”counts_by_year“：[{”年“：2012，”cited_by_count“：1}]，”更新日期“：”2024-09-19T22:52:36.862051“，”创建日期“：“2016-06-24”}