{“id”：“https://openalex.org/W1981772488“，”doi“：”https://doi.org/10.1145/1411260.1411267“，”title“：”使用forlan进行形式语言实验“，”display_name“：”用forlan尝试形式语言“，”publication_year“：2008，”publiation_date“：”2008-09-21“，”ids“：{”openalex“：”https://openalex.org/W1981772488“，”doi“：”https://doi.org/10.1145/1411260.1411267“，”mag“：”1981772488“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/11112601.1411267“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5088217136“，”display_name“：”Allen Stoughton“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I189590672“，”display_name“：”堪萨斯州立大学“，”ror“：”https://ror.org/05p1j8758“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I189590672“]}]，”国家“：[”美国“]，”is_corresponding“：true，”raw_author_name“：”Alley Stoughton“，”raw_affiliation_strings“：[“堪萨斯州立大学，曼哈顿，堪萨斯州，美国；”]，”affiliations“：[{”raw_affiliation_string“：”堪萨斯州大学，曼哈顿https://openalex.org/I189590672“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5088217136“]，”对应的机构ID“：[”https://openalex.org/I189590672“]，”apc_list“：null，”apc_payed“：null，”fwci“：0.0，”has_fulltext“：false，”cited_by_count“：6，”citation_normalized_p百分位数“：｛”value“：0.806536，”is_in_top_1_percent“：false，”is_in_top_1_percent“：false｝，”cited_by_percentle_year“：｛”min“：80，”max“：81｝，”biblio“：｛”volume“：null，”issue“：null，”first_page“：null，”last_page“：null｝，“is_retracted”：false，“is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9999，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”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.9999，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”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.9986，“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.99，”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/formal-languages网站“，”display_name“：”形式语言“，”score“：0.620871}，{”id“：”https://openalex.org/keywords/programming-language-semantics（https://openalex.org/keywords/programming-language-semantics）“，”display_name“：”编程语言语义“，”score“：0.543037}，{”id“：”https://openalex.org/keywords/combinatics-on-words网站“，”display_name“：”单词组合学“，”score“：0.500604}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7371661}，{”id“：”https://openalex.org/C14672743，“wikidata”：https://www.wikidata.org/wiki/Q192161“，”display_name“：”形式语言“，”level“：2，”score“：0.6316258}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.6176507}，{”id“：”https://openalex.org/C75606506，“wikidata”：https://www.wikidata.org/wiki/Q1049183“，”display_name“：”形式方法“，”level“：2，”score“：0.5056367}，{”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”正式验证“，”级别“：2，”分数“：0.41069996}，{”id“：”https://openalex.org/C204321447，“wikidata”：https://www.wikidata.org/wiki/Q30642“，”display_name“：”自然语言处理“，”level“：1，”score“：0.37648275}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.32302818}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/1411260.1411267“，”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.77}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：11，”referrenced_works“：【”https://openalex.org/W154072769","https://openalex.org/W1546727036","https://openalex.org/W1582810113","https://openalex.org/W1584951182","https://openalex.org/W1829244603","https://openalex.org/W2048476153","https://openalex.org/W2060765689","https://openalex.org/W2092208185","https://openalex.org/W2099254578","https://openalex.org/W2336662920","https://openalex.org/W372670364“]，”related_works“：[”https://openalex.org/W611419313","https://openalex.org/W2897842245","https://openalex.org/W27605384","https://openalex.org/W2752133100","https://openalex.org/W2156223462","https://openalex.org/W2149609054","https://openalex.org/W1536552036","https://openalex.org/W1524361563","https://openalex.org/W1517976619","https://openalex.org/W108810813“]，”abstract_inverted_index“：{”We“：[0,58]，”give“：[1,59]，”an“：[2,60]，”introduction“：[3]，”to“：[4,14,39]，”the“：[5,25,64,74]，”Forlan“：[6,21,69]，”formal“：[7,19]，”language“：[8,32]，”theory“：/9]，”toolset，“：[10]，”which“：[11]，”was“：[12]，”designed“：[13]，”instrumental“：[15]，“复杂”：[16]，“实验”：[17,53,67]，“与”：[18]，“语言。”：[20]，“是“：[22,44]，“嵌入”：[23]，“in”：[24]，“函数”：[26]，“编程”：[27]，“标准”：[29]，“ML，”：[30]，“a”：[31,84]，“which”：[33]，“notation”：[34]，“and”：[35,47,56,83,91]，“conceptions”：[36]，“are”：[37]，“similar”：[38]，“these”：[40]，“of”：[41,63,66,76,89]，“数学”●●●●。“：[42]，“It”：[43,72]，“strongly”：[45]，“typed”：[46]，“interactive”，：[48]，“properties”：[49]，“that”：[50,68]，“help”：[51]，“make”：[52]，“robust”：[P4]，“simple”：[55]，“covertive”。“：[57]，”扩展“：[61]，”示例“：[62]，”种类“：[65]，”使“：[70]，”可能。“：[71]，”涉及“：[73]，”使用“：[75]，”闭包“：[77]，”属性/算法“：[78]，”for“：[79]，”regular“：[80]，”languages/finited“：[81]，”automata“：[82]，”\“difference”“：[85]，”function“：[86]，”on“：[87]，”strings“：[88]，”zeros“：[90]，”ones“。“：[92]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1981772488“，”counts_by_year“：[{”年“：2022，”cited_by_count“：3}，{”年份“：2021，”cited_by_count”：1}，“年份”：2019