{“id”：“https://openalex.org/W1602657894“，”doi“：”https://doi.org/10.1007/978-3642-13089-2_15“，”title“：”二进制正则语言的几何性“，”display_name“：”二元正则语言的几何学“，”publication_year“：2010，”publitation_date“：”2010-01-01“，”ids“：{”openalex“：”https://openalex.org/W1602657894“，”doi“：”https://doi.org/10.1007/978-3642-13089-2_15“，”mag“：”1602657894“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3642-13089-2_15“，”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“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5062592922“，”display_name“：”Jean-Marc Champarnaud“，”orcid“：null｝，”institutions“：[｛”id“：”https://openalex.org/I62396329“，”display_name“：”鲁昂诺曼底大学\u00e9“，”ror“：”https://ror.org/03nhjew95“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I4210105918","https://openalex.org/I62396329“]}，{”id“：”https://openalex.org/I4210108118“，”display_name“：”Laboratoire d'Informationque，du Traitement de l'Information et des Syst\u00e8mes“，”ror“：”https://ror.org/01f1vfy95“，”country_code“：”FR“，”type“：”设施“，”沿袭“：[”https://openalex.org/I141576021","https://openalex.org/I4210105918","https://openalex.org/I4210108118","https://openalex.org/I62396329","https://openalex.org/I88814501“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Jean-Marc Champarnaud“，”raw _ affiliation_strings“：[“LITIS，法国鲁昂大学”]，”affiliation“：[{”raw _affiliation_string“：”LITIShttps://openalex.org/I62396329","https://openalex.org/I4210108118“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5026325097“，”display_name“：”Jean-Philippe Dubernard“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I62396329“，”display_name“：”鲁昂诺曼底大学\u00e9“，”ror“：”https://ror.org/03nhjew95“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I4210105918","https://openalex.org/I62396329“]}，{”id“：”https://openalex.org/I4210108118“，”display_name“：”Laboratoire d'Informationque，du Traitement de l'Information et des Syst\u00e8mes“，”ror“：”https://ror.org/01f1vfy95“，”country_code“：”FR“，”type“：”设施“，”沿袭“：[”https://openalex.org/I141576021","https://openalex.org/I4210105918","https://openalex.org/I4210108118","https://openalex.org/I62396329","https://openalex.org/I88814501“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Jean-Philippe Dubernard“，”raw _ afiliation_strings“：[“LITIS，University of Rouen，France”]，“affiliations”：[{“raw_affiliation_string”：“LITIS-，Universityof-Ruen，Frence”，“institution_ids”：[“https://openalex.org/I62396329","https://openalex.org/I4210108118“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5035621384“，”display_name“：”Hadrien Jeanne“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210108118“，”display_name“：”Laboratoire d‘Information，du Traitement de l‘Information et des Syst\u00e8mes“，”ror“：”https://ror.org/01f1vfy95“，”country_code“：”FR“，”type“：”设施“，”沿袭“：[”https://openalex.org/I141576021","https://openalex.org/I4210105918","https://openalex.org/I4210108118","https://openalex.org/I62396329","https://openalex.org/I88814501“]}，{”id“：”https://openalex.org/I62396329“，”display_name“：”鲁昂诺曼底大学\u00e9“，”ror“：”https://ror.org/03nhjew95“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I4210105918","https://openalex.org/I62396329“]}]，”countries“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Hadrien Jeanne“，”raw _affiliation_strings“：【”法国鲁昂大学LITIS“】，”affiliations“：[{”raw _affiliation_string“：”LITIS，法国鲁昂学院“，”institution_ids“：[“https://openalex.org/I4210108118","https://openalex.org/I62396329“]}]}]，”countries_distinct_count“：1，”institutions_distinact_counts“：2，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：1.324，“has_fulltext”：false，“cited_by_count”：5，“citation_normalize”d_percentile“：{“值”：0.653827，”is_in_to_1_percent“：false，”is_in_to_10_percent“：false｝，”cited_by_percentle_year“：｛”min“：79，”max“：81｝，”biblio“：｛”volume“：null，”issue“：null，”first_page“：”178“，”last_page“：”189“｝，”is_reracted“：false，”is_paratext“：false，”primary_topic“：｛”id“：”https://openalex.org/T10142“，”“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/T10142“，”“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/T10933“，”“display_name”：“嵌入式系统中的实时调度”，“score”：0.9997，“subfield”：{“id”：“https://openalex.org/subfields/1708“，”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/T10904“，”“display_name”：“可重构计算系统和设计方法”，“score”：0.9993，“subfield”：{“id”：“https://openalex.org/subfields/1708“，”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-language网站“，”display_name“：”常规语言“，”score“：0.6514369}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.502958}，{”id“：”https://openalex.org/keywords/regular-expression网站“，”display_name“：”正则表达式“，”score“：0.43418482}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.82702637}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.65914464}，{”id“：”https://openalex.org/C52370388，“wikidata”：https://www.wikidata.org/wiki/Q752532“，”display_name“：”普通语言“，”level“：3，”score“：0.6514369}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.58729625}，{”id“：”https://openalex.org/C48372109，“wikidata”：https://www.wikidata.org/wiki/Q3913“，”display_name“：”二进制数“，”level“：2，”score“：0.481096}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.45927626}，{”id“：”https://openalex.org/C121329065，“wikidata”：https://www.wikidata.org/wiki/Q185612网址“，”display_name“：”正则表达式“，”level“：2，”score“：0.43418482}，{”id“：”https://openalex.org/C94375191，“wikidata”：https://www.wikidata.org/wiki/Q11205“，”display_name“：”算术“，”等级“：1，”分数“：0.19449028}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”Mathematics“，”level“：0，”score“：0.133986093｝]，”mesh“：[]，”locations_count“：3，”locations“：[｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3642-13089-2_15“，”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”：false，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-00906777“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”host_organization_name“：”国家科学研究中心“，”host_organization_lineage“：[”https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://hal.science/hal-00906777“，”pdf_url“：null，”source“：null，”license“：null，”liccense_id“：nuld，”version“：nully，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[{”display_name“：”素质教育“，”id“：”https://metadata.un.org/sdg/4“，”score“：0.49}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：8，”referrenced_works“：]”https://openalex.org/W1504879905","https://openalex.org/W1570445666","https://openalex.org/W1971395575","https://openalex.org/W2076114468","https://openalex.org/W2086748818","https://openalex.org/W2157390113","https://openalex.org/W2167954650","https://openalex.org/W4244661353“]，”related_works“：[”https://openalex.org/W4386081251","https://openalex.org/W2998389348","https://openalex.org/W2964091527","https://openalex.org/W2952363982","https://openalex.org/W2613180196","https://openalex.org/W2603910788","https://openalex.org/W2280368318","https://openalex.org/W2105843429","https://openalex.org/W2057841333","https://openalex.org/W1582705003“]，”abstract_inverted_index“：{”Our“：[0]，”aim“：[1]，”is“：[2,14,49,54]，”to“：[3]，”present“：[4]，”an“：[5,35,63]，”efficient“：[6,64]，”algorithm“：[7,77]，”for“：[8,38,82]，”checking“：[9]，”ify“：[10]，”a“：[11]，”regular“：[12,52,71,88]，”language“：[13]，”geometrical“：[15]，“or”：[16]，“not”：[17]，“based”：[18]，“on”：[19]，“specific”：[20]，“properties”：[21,31]“：[22,42,55,62,70,85]，”its“：[23]，”minimal“：[24]，”自动机。“：[25]，”几何“：[26]，”语言“：[27]，”有“：[28]，”有趣“：[29]，”理论“：[30]，”和“：[32]，”它们“：[33]，”提供“：[34]，”原始“：[36]，”模型“：[37]，”脱机“：[39]，”暂时“：[40]，”验证“：[41]，”实时“：[43]，”软件。“：[44]，“As”：[45]，“far”：[46]，“As”：[47]，“implementation”：[48]，“concerned”，“：[50]，“the”：[51,60,68,76,80,83]，“case”：[53,84]，“practical”：【56】，“interest”：【57】，“which”：【58】，“motivates”：【59】，“design”：〔61】，“geometricity”：【65】，“test”：【66】，“addressing”：【67】，“family”：【69】，“语言。“：[72,89]，”This“：[73]，”study“：[74]，”generalizes“：[75]，”designed“：[78]，”by“：[79]，”authors“：[81]，”extendable“：[86]，”binary“：[87]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1602657894“，”counts_by_year“：[{”年份“：2019，”cited_by_count“：1}，{”年度“：2012，”cited_by_count”：2}]，”updated_date“：”2024-09-09T02:03:31.948842“，”created_date:“2016-06-24”}