{“id”：“https://openalex.org/W2071869647“，”doi“：”https://doi.org/10.1016/j.tcs.2014.01.018“，”title“：“基于最终非确定性自动机语言的描述”，”display_name“：”基于最终非确定自动机的语言的描述“，”publication_year“：2014，”publiation_date“：”2014-05-01“，”ids“：{”openalex“：”https://openalex.org/W2071869647“，”doi“：”https://doi.org/10.1016/j.tcs.2014.01.018“，”mag“：”2071869647“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.tcs.2014.01.018“，”pdf_url“：null，”source“：｛”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”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“：”hybrid“，”oa_url“：”https://doi.org/10.1016/j.tcs.2014.018“，”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}，“机构”：[{“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“：[“部门d'\u00c0lgebra，Val\u00e8ncia大学，Moliner博士，50，E-46100 Burjassot（Val\u00 e8nca），西班牙”]，“从属关系”：[{“raw_affiliation_string”：“部门d'\u00c 0lgebr，大学de Val\u00e8ncia，博士。Moliner，50，E-46100 Burjassot（Val\u00e8ncia），西班牙“，”institution_ids“：[”https://openalex.org/I16097986“]}]}，{”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“：[“Departament d'\u00c0lgebra，Universitat de Val\u00e8ncia，Dr.Moliner，50，E-46100 Burjassot（Val\u0e8nca），Spain“]，“affiliations”：[{“raw_affiliation_string”：“Department-d'\u0c0lg”埃布拉，瓦尔大学\u00e8ncia博士。Moliner，50，E-46100 Burjassot（Val\u00e8ncia），西班牙“，”institution_ids“：[”https://openalex.org/I16097986“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5010596354“，”display_name“：”R.Esteban\u2010Romero“，”orcid“：”https://orcid.org/0000-0002-2321-8139}，“机构”：[{“id”：https://openalex.org/I16097986“，”display_name“：”Val00e8ncia大学“，”错误“：”https://ror.org/043nxc105“，”country_code“：”ES“，”type“：“教育”，”世系“：[”https://openalex.org/I16097986“]}，{”id“：”https://openalex.org/I60053951“，”display_name“：”Universitat Polit\u00e8cnica de Val\u00e 8ncia“，”err“：”https://ror.org/01460j859“，”country_code“：”ES“，”type“：“教育”，”世系“：[”https://openalex.org/I60053951“]}]，”国家“：[”ES“]，”is_corresponding“：true，”raw_author_name“：”R.Esteban-Romero“，”raw _ afiliation_strings“：[“Departament d'\u00c0lgebra，Universitat de Val\u00e8ncia，Dr.Moliner，50，E-46100 Burjassot（Val\u00 e8nca），西班牙”，“西班牙马特姆大学（Institute Universitari de Matem\u00e0tica Pura i Aplicada），政治大学（Universitat Polit\u00e 8cnica de Val\u00e_8ncia），Cam\u00ed de Vera，s/n，E-46022 Val\u0e8ncia，西班牙“]，“affiliations”：[{“raw_affiliation_string”：“Departament d'\u00c0lgebra，Universitate de Val\u 00e8nca，Dr.Moliner，50，E-46100 Burjassot（Val\u001e8ncIA），西班牙”，“机构ID”：[“https://openalex.org/I16097986“]}，{”raw_affiliation_string“：”马特姆大学研究所\u00e0tica Pura i Aplicada，政治大学\u00e 8cnica de Val \u00e-8ncia，Cam\u00ed de Vera，s/n，E-46022 Val \u 00e8ncia（西班牙）“，”institution_ids“：[”https://openalex.org/I60053951“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：2，”corresponding_author_ids“：[”https://openalex.org/A5010596354“]，”对应的机构ID“：[”https://openalex.org/I16097986","https://openalex.org/I60053951“]，”apc_list“：{”value“：2690，”currency“：”USD“，”value_USD“：2680，”provenance“：”doaj“}，”apc _payed“：{”value”：2690、”currentary“：”美元“，”value_USD”：2680、“provenance”：“doaj”}、“has_fulltext”：true、“fulltext_origin”：“ngrams”、“cited_by_count”：5、“citecd_by_percentile_year”：{“min”：83、“max”：84}，“biblio”：{“volume”：“536”，“issue”：null，“first_page”：“1”，“last_page”：”20“}，“is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9996，“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.9996，“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/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/T11567“，”display_name“：”自动机理论和形式语言“，”score“：0.9994，”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/synchronizing-automata网站“，”display_name“：”Synchronizing Automata“，”score“：0.486785}]，”concepts“：[{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.7230085｝，｛”id“：”https://openalex.org/C194525867，“wikidata”：https://www.wikidata.org/wiki/Q5265707“，”display_name“：”确定性自动机“，”level“：3，”score“：0.5864847}，{”id“：”https://openalex.org/C92117001，“wikidata”：https://www.wikidata.org/wiki/Q6997829“，”display_name“：”嵌套单词“，”level“：5，”score“：0.5681182}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5623133｝，｛”id“：”https://openalex.org/C116248031，“wikidata”：https://www.wikidata.org/wiki/Q214526“，”display_name“：”自动机理论“，”level“：3，”score“：0.48186597}，{”id“：”https://openalex.org/C167822520，“wikidata”：https://www.wikidata.org/wiki/Q176452“，”display_name“：”Finite-state machine“，”level“：2，”score“：0.4598812}，{”id“：”https://openalex.org/C174327141，“wikidata”：https://www.wikidata.org/wiki/Q176837“，”display_name“：”量子有限自动机“，”level“：4，”score“：0.45227203}，{”id“：”https://openalex.org/C50348692，“wikidata”：https://www.wikidata.org/wiki/Q6887056“，”display_name“：”Mobile automaton“，”level“：4，”score“：0.44564733}，{”id“：”https://openalex.org/C92710233，“wikidata”：https://www.wikidata.org/wiki/Q291256“，”display_name“：”\u03c9-automaton“，”level“：5，”score“：0.43222183}，{”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031“，”display_name“：”State（computer science）“，”level“：2，”score“：0.42611378}，{”id“：”https://openalex.org/C2781238097，“wikidata”：https://www.wikidata.org/wiki/Q175026“，”display_name“：”Object（grammar）“，”level“：2，”score“：0.41825968}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.4168342}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.34548086}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.2708686｝，｛”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.121395946}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.tcs.2014.01.018“，”pdf_url“：null，”source“：｛”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”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://hdl.handle.net/10251/51041，“pdf_url”：https://riunet.upv.es/bitstream/10251/51041/2/BallesterCosmeEsteban14-tcs.pdf，“源”：{“id”：https://openalex.org/S4306401646“，”display_name“：”政治大学研究所（Universitat Polit\u00e8cnica）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I60053951“，”“host_organization_name”：“Universitat Polit\u00e8cnica de Val\u00e 8ncia”，“host_organization_lineage”：[“https://openalex.org/I60053951“]，”host_organization_lineage_names“：[”Universitat Polit\u00e8cnica de Val\u00e 8ncia“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”https://hdl.handle.net/10550/48173，“pdf_url”：https://roderic.uv.es/bitstream/10550/48173/1/098276.pdf，“源”：{“id”：https://openalex.org/S4306402641“，”display_name“：”LA Referencia（Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I4383465926“，”host_organization_name“：”LA Referencia“，”host_organization_lineage“：[”https://openalex.org/I4383465926“]，”host_organization_lineage_names“：[”LA Referencia“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.tcs.2014.01.018“，”pdf_url“：null，”source“：｛”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”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“：[{”display_name“：”和平、正义和强大的机构“，”id“：”https://metadata.un.org/sdg/16“，”得分“：0.51｝]，”拨款“：[｛”资助者“：”https://openalex.org/F4320321001“，”“funder_display_name”：“国家自然科学基金”，“award_id”：“11271085”}，{“funder”：“https://openalex.org/F4320322930“，”funder_display_name“：”Ministerio de Ciencia e Innovaci\u00f3n“，”award_id“：”MTM2010-19938-C03-01“}，{”funder“：”https://openalex.org/F4320324018“，”“funder_display_name”：“教育部\u00f3n de la Naci\u00f 3n”，“奖项id”：“AP2010-2764”}]，“数据集”：[]，“版本”：[[]，“referenced_works_count”：17，“referrenced_works”：[”https://openalex.org/W1528269269","https://openalex.org/W1556261722网址","https://openalex.org/W1589421353","https://openalex.org/W1978469611","https://openalex.org/W2002089154","https://openalex.org/W2038590032","https://openalex.org/W2039290601","https://openalex.org/W2042266169","https://openalex.org/W2068003272","https://openalex.org/W2081620669","https://openalex.org/W2085858043","https://openalex.org/W2088189323","https://openalex.org/W2120713972","https://openalex.org/W2156429182","https://openalex.org/W2166421074","https://openalex.org/W2603189617","https://openalex.org/W4232277105“]，”related_works“：[”https://openalex.org/W4386400090","https://openalex.org/W4382203044","https://openalex.org/W4310283533","https://openalex.org/W2368684504","https://openalex.org/W2173305072","https://openalex.org/W2169203237","https://openalex.org/W2037872771","https://openalex.org/W1978638999","https://openalex.org/W1569273857","https://openalex.org/W1549824944“]，”ngrams_url“：”https://api.openalex.org/works/W2071869647/ngrams网站“，”“abstract_inverted_index”：{“The”：[0]，“study”：[1]，“of”：[2,5,76,85,88,94129131150157168174185187191204221]，“The”：[3,12,19,25,44,56,67,74,77,83,86,92101124138155214219]，“behavior”：[4,75125220]，“non-deterministinative”：[6133158198]，“automata”：[7,78102188199]，“has”：[8]，“tractively”：[9]，“focused”：[10]，“on”：[11]，“语言“：[13139192209]，”其中“：[14,47]，”可以“：[15,29,39,48,59,79210]，”是“：[16,30,49,60,80211]，”关联“：[17140]，”到“：[18112122127141196202217]，”不同“：[20,26,45]，”状态。“：[21205]，”Under“：[22]，”this“：[23,72144]，”interpretation“：[24]，”branches“：[27,57]，”that“：[28,54,58,96208]，”take“：[31]，”at“：[32,51]，”every“：[33,52]，”step“：[34]，”are“：[35103]，”ignored。“：[36]，”“然而，”“：[37]，”我们“：[38146179]，”也“：[40]，”接受“：[41]，”进入“：[42]，”考虑“：[43]，”决定“：[46,64]，”作出“：[50]，”状态“：[53]，”是“：[55]，”采取“：[61]，”和“：[62193]，”这些“：[63]，”可能“：[65]，”改变“：[66]，”可能性“：[68121]，”未来“：[69]，“行为。“：[70]，”In“：[71143]，”case“：[73]，”descripted“：[81]，”with“：+82115165200]，”help“：[84167]，”concept“：[87]，”bisimility。“：[89]，”此“：[90206]，”是“：[91,97119]，”种类“：[93]，”描述“：[95149]，”通常“：[98]，”获得“：[99]，”当“：[100]，”视为“：[104160]，”作为“：[105161213]，”标记“：[106162]，”转换“：[107163]，”系统“：[108]，”或“：[109]，”余代数。“：[110]，“相反”：[111]，“什么”：[113]，“发生”：[114]，“确定性”：[116]，“自动机”：[11159]，“它”：[118]，“不”：[120]，“描述”：[123218]，“向上”：[126]，“相似性”：[128184203]，“状态”：[130186]，“a”：[132148151177181194]，“自动”：[134]，“by”：[135]，“考虑”：[136]，“只是”[137]，“他们。“：[142]，”paper“：[145]，”present“：[147]，”final“：[152]，”object“：[153]，”for“：[154]，”category“：%156]，”systems“：[164]，”some“：[169]，”structures“：%170]，”defined“：[171]，”in“：[172189]，”terms“：[173190]，”languages。“：[175]，”As“：[176]，”后果“：[178]，”获得“：[180]，”表征“：[182]，”方法“：[195]，”最小化“：[197]，”尊重“：[201]，”确认“：[207]，”考虑“：[212]，”自然“：[215]，”对象“：[216]，”自动机。“：[222]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2071869647“，”counts_by_year“：[{”年“：2024，”cited_by_count“：1}，{”年份“：2022，”cited_by_count”：1}，{“年”：2021，”citesd_by_count“:2}，”{“年份”：2018，”citecd_by_count“：1}]，”updated_date“：2024-06-14T14:53:38.900453”，“创建日期”：“2016-06-24”}