{“id”：“https://openalex.org/W2038404317“，”doi“：”https://doi.org/10.1006/inco.1994.1085“，”title“：”Finite-State Unification Automata and Relational Languages“，”display_name“：”Finite-State-Unification-Automata and Relational-Languages“，“publication_year”：1994，”publication_date“：”1994-11-01“，”ids“：{”openalex“：”https://openalex.org/W2038404317“，”doi“：”https://doi.org/10.1006/inco.1994.1085“，”mag“：”2038404317“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1006/inco.1994.1085“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”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“：”青铜“，”oa_url“：”https://doi.org/10.1006/inco.1994.1085“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5071593349“，”display_name“：”Y.Shemesh“，”orcid“：null｝，”institutions“：[｛”id“：”https://openalex.org/I174306211“，”display_name“：”Technion\u2013以色列理工学院“，”ror“：”https://ror.org/03qryx823“，”country_code“：”IL“，”type“：“教育”，”世系“：[”https://openalex.org/I174306211“]}]，”国家“：[”IL“]，”is_corresponding“：false，”raw_author_name“：”Y.Shemesh“，”raw_affiliation_strings“：[“Technion Israel Inst Technol，Dept Comp Sci，IL 32000 Haifa，Israel”]，“affiliations”：[{“raw_affilition_string”：“Technion以色列Inst Technol.，Dept Compa Scihttps://openalex.org/I174306211“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5065931607“，”display_name“：”Nissim Francez“，”orcid“：”https://orcid.org/0000-0002-6993-4392“｝，”机构“：[｛”id“：”https://openalex.org/I174306211“，”display_name“：”Technion\u2013以色列理工学院“，”ror“：”https://ror.org/03qryx823“，”country_code“：”IL“，”type“：“教育”，”世系“：[”https://openalex.org/I174306211“]}]，”国家“：[”IL“]，”is_corresponding“：false，”raw_author_name“：”N.Francez“，”raw _affiliation_strings“：[“Technion Israel Inst Technol，Dept Comp Sci，IL 32000 Haifa，Israel”]，“affiliations”：[{“raw_affiliation _string”：“Technion以色列Inst Technol.，Dept Compa Scihttps://openalex.org/I174306211“]｝]｝]，”机构声明“：[]，”国家_地区_计数“：1，”机构_地区_计数“：1，”对应机构_作者_ ID“：[]，”对应机构_ ID“：[]，”apc_list“：｛”值“：2630，”货币“：”美元“，”value_USD“：2630，”出处“：”doaj“｝，”apc_payed“：null，”fwci“：0.521，”has_fulltext“：false，”cited_by_count“：26，”citation_normalized_p百分位“：｛”value“：0.840346，”is_in_top_1_percent“：false，”is-in_top_10_percennt“：false}，”cited_by_percentile_year“：{”min“：87，”max“：88}，“biblio”：{“volume”：“114”，”issue“：”2“，”first_page“：”192“，”last_page“：”213“}https://openalex.org/T11567“，”display_name“：”自动机理论和形式语言“，”score“：0.9983，”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.9983，”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.9945，“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.9938，“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/unified网站“，”display_name“：”Unification“，”score“：0.92268384}，{”id“：”https://openalex.org/keywords/finite-state“，”display_name“：”有限状态“，”score“：0.6433643}，{”id“：”https://openalex.org/keywords/lemma“，”display_name“：”引理（植物学）“，”score“：0.57549834}，{”id“：”https://openalex.org/keywords/formal-languages网站“，”display_name“：”形式语言“，”score“：0.551677}，{”id“：”https://openalex.org/keywords/regular-language网站“，”display_name“：”常规语言“，”score“：0.53771305}，{”id“：”https://openalex.org/keywords/synchronizing-automata网站“，”display_name“：”Synchronizing Automata“，”score“：0.532272}，{”id“：”https://openalex.org/keywords/combinatics-on-words网站“，”display_name“：”单词组合学“，”score“：0.518747}，{”id“：”https://openalex.org/keywords/base网站“，”display_name“：”Base（topology）“，”score“：0.41438314}]，”concepts“：[{”id“：”https://openalex.org/C96146094，“wikidata”：https://www.wikidata.org/wiki/Q609057“，”display_name“：”Unification“，”level“：2，”score“：0.92268384｝，｛”id“：”https://openalex.org/C157968401，“wikidata”：https://www.wikidata.org/wiki/Q2292874网址“，”“display_name”：“正则语言的泵引理”，“level”：5，“score”：0.8417442}，{“id”：“https://openalex.org/C167822520，“wikidata”：https://www.wikidata.org/wiki/Q176452“，”display_name“：”Finite-state machine“，”level“：2，”score“：0.7094394}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.66128933}，{”id“：”https://openalex.org/C2983497884，“wikidata”：https://www.wikidata.org/wiki/Q176452“，”display_name“：”有限状态“，”level“：3，”score“：0.6433643}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6271581}，{”id“：”https://openalex.org/C2777759810，“wikidata”：https://www.wikidata.org/wiki/Q149316“，”display_name“：”引理（植物学）“，”level“：3，”score“：0.57549834}，{”id“：”https://openalex.org/C52370388，“wikidata”：https://www.wikidata.org/wiki/Q752532“，”display_name“：”普通语言“，”level“：3，”score“：0.53771305}，{”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031“，”display_name“：”State（computer science）“，”level“：2，”score“：0.49548852}，{”id“：”https://openalex.org/C199163288，“wikidata”：https://www.wikidata.org/wiki/Q3065587“，”display_name“：”抽象语言系列“，”level“：5，”score“：0.4414047}，{”id“：”https://openalex.org/C42058472，“wikidata”：https://www.wikidata.org/wiki/Q810214“，”display_name“：”Base（topology）“，”level“：2，”score“：0.41438314｝，｛”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.3531685}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.3253355}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.3229969}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.32260227}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.31214207}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.16282672}，{”id“：”https://openalex.org/C11164408，“wikidata”：https://www.wikidata.org/wiki/Q18657800“，”display_name“：”第二代编程语言“，”level“：4，”score“：0.098260015}，{”id“：”https://openalex.org/C199305712，“wikidata”：https://www.wikidata.org/wiki/Q3205914“，”display_name“：”第五代编程语言“，”level“：3，”score“：0.05627927}，{”id“：”https://openalex.org/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150“，”display_name“：”Ecology“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C46757340，“wikidata”：https://www.wikidata.org/wiki/Q43238“，”display_name“：”禾本科“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C119857082，“wikidata”：https://www.wikidata.org/wiki/Q2539“，”display_name“：”机器学习“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C34165917，“wikidata”：https://www.wikidata.org/wiki/Q188267“，”display_name“：”编程范例“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C98763669，“wikidata”：https://www.wikidata.org/wiki/Q176645“，”display_name“：”Markov链“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”Biology“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1006/inco.1994.1085“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”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}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1006/inco.1994.1085“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”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“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W4384942687","https://openalex.org/W4254878942","https://openalex.org/W2394074174","https://openalex.org/W2361389645","https://openalex.org/W2105739157","https://openalex.org/W2037441184","https://openalex.org/W2017318974","https://openalex.org/W1998380256","https://openalex.org/W1985942087","https://openalex.org/W1667390002“]，”abstract_inverted_index“：{”We“：[0]，”define“：[1]，”the“：[2,36,61]，”new“：[3,75]，”concept“：[4]，”of“：[5,15,20,46,63]，”a“：[6,10,26,74,82,86]，”（有限状态）“：[7]，”unified“：[8,21]，”automaton“，”：[9]，”device“：[11]，”for“：[12,89]，”finite-state“：[13,90]，“识别”：[14]，“关系”：[16]，“语言”：[17,48,68]，“通过”：[18,30,49,69]，“表示”：[19]过渡。“：[22]，”单词“：[23]，”in“：[24]，”such“：[25,47,67,96]，”language“：[27]，”are“：[28,98]，”formed“：[29]，”composing“：[31]，”base“：[32]，”relations“：[33]，”and“：[34]，”have“：[35]，”general“：[37]，”form“：[38]，”ri1（xj1，“：[39]，”xk1）\u00b7\u00b7\ u00b7rin（xjn，“：[40]，”xkn）“：[41]，”some“：[43]，”n.“：[44]，”Generation“：[45]，”about“：[50]，”Horn“：[51]，”子句“：[52]，”如“：[53]，”语法“：[54]，”已经“：[55]，”被“：[56]，”考虑“：[57]，”之前“：[58]，”但是“：[59]，”到“：[60]，”最好“：[62]，”我们的“：[64]，”知识“：[65]，”识别“：[66]，”适当“：[70]，”设计“：[71]，”自动机“：[72,97]，”是“：[73,81]，”方法。“：[76]，”The“：[77]，”main“：[78]，”result“：[79]，”presented“：+80]，”pumping“：[83]，”lemma“，”：[84]，“forming”：[85]，“necessary”：[87]，“condition”：[88]，“recognizability”。“：[91]，”Some“：[92]，”example“：[93]，”results“：[94]，”about“：[95]，”given。“：[99]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2038404317“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：1}，{“年”：2020，”“cited_by_cunt”：1\n，{”年“：2019，”“cited_by-count”“：1}.，{年”：2018，”“icted_by_count”“创建日期”：“2016-06-24”}