{“id”：“https://openalex.org/W3174967760“，”doi“：”https://doi.org/10.109/lics52264.2021.9470688“，”title“：”From Finite-Valued Non-Deterministic Transducers to Deterministical Two-Tape Automata“，”display_name“：”Frem Finite-Valued Non-Determinated Transducers toDeterminatic Two-Tappe Automatta“，”publication_year“：2021，”publitation_date“：”2021-06-29“，”ids“：{”openalex“：”https://openalex.org/W3174967760“，”doi“：”https://doi.org/10.109/lics52264.2021.9470688“，”mag“：”3174967760“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics52264.2021.9470688“，”pdf_url“：null，”source“：nul，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”https://arxiv.org/pdf/2005.13710“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5087845945“，”display_name“：”Elisabet Burjons“，”orcid“：”https://orcid.org/0000-0001-6161-7440}，“机构”：[{“id”：https://openalex.org/I887968799“，”display_name“：”亚琛理工大学“，”ror“：”https://ror.org/04xfq0f34“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I887968799“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Elisabet Burjons“，”raw _ afiliation_strings“：[“德国亚琛RWTH计算机科学部”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5027072512“，”display_name“：”Fabian Frei“，”orcid“：”https://orcid.org/0000-0002-1368-3205}，“机构”：[{“id”：https://openalex.org/I35440088“，”display_name“：”苏黎世ETH“，”ror“：”https://ror.org/05a28rw58“，”country_code“：”CH“，”type“：“教育”，”世系“：[”https://openalex.org/I2799323385","https://openalex.org/I35440088“]}]，”国家“：[”CH“]，”is_corresponding“：false，”raw_author_name“：”Fabian Frei“，”raw _affiliation_strings“：[“瑞士ETH Z\u00fcrich计算机科学系”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5020812040“，”display_name“：”Martin Raszyk“，”orcid“：”https://orcid.org/0000-0003-3018-2557}，“机构”：[{“id”：https://openalex.org/I35440088“，”display_name“：”苏黎世ETH“，”ror“：”https://ror.org/05a28rw58“，”country_code“：”CH“，”type“：“教育”，”世系“：[”https://openalex.org/I2799323385","https://openalex.org/I35440088“]｝]，”countries“：[”CH“]，”is_corresponding“：false，”raw_author_name“：”Martin Raszyk“，”raw_affiation_strings“：[”瑞士联邦理工学院计算机科学系“]｝]，”countries_dstinct_count“：2，”institutes\distinct_count“：2，”corresponding_author_ids“：[]，”corresponding_institution_ids“：[]，”apc_list“：null，”apc_payed“：null，”has_fulltext“：false，”cited_by_count“：0，”cited_by_percentle_year“：｛“min”：0，”max“：63｝，”biblio“：｛”volume“：null，”issue“：null，”first_page“：null，”last_page“：null｝，”is_retracted“：false，”is_paratext“：false，”primary_topic“：｛”id“：”https://openalex.org/T11567“，”display_name“：”自动机理论和形式语言“，”score“：1.0，”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“：1.0，”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/T2002“，”display_name“：”计算复杂性与算法信息理论“，”score“：0.9973，”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/T12029“，”display_name“：”基于DNA的计算和数据存储“，”score“：0.9929，”subfield“：{”id“：”https://openalex.org/subfields/s312“，”display_name“：”Molecular Biology“｝，”field“：｛”id“：”https://openalex.org/fields/13“，”“display_name”：“生物化学、遗传学和分子生物学”}，“域”：{“id”：“https://openalex.org/domains/1“，”display_name“：”生命科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/t换能器“，”display_name“：”传感器“，”score“：0.489823}]，”概念“：[{”id“：”https://openalex.org/C176181172，“wikidata”：https://www.wikidata.org/wiki/Q3490301“，”display_name“：”非确定性算法“，”level“：2，”score“：0.7627584}，{”id“：”https://openalex.org/C158008952，“wikidata”：https://www.wikidata.org/wiki/Q617295“，”display_name“：”非确定性有限自动机“，”level“：4，”score“：0.7281999}，{”id“：”https://openalex.org/C104091681，“wikidata”：https://www.wikidata.org/wiki/Q837528“，”display_name“：”确定性有限自动机“，”level“：3，”score“：0.68587136}，{”id“：”https://openalex.org/C194525867，“wikidata”：https://www.wikidata.org/wiki/Q5265707“，”display_name“：”确定性自动机“，”level“：3，”score“：0.655889}，{”id“：”https://openalex.org/C56318395，“wikidata”：https://www.wikidata.org/wiki/Q215928“，”display_name“：”Transducer“，”level“：2，”score“：0.64434355}，{”id“：”https://openalex.org/C167822520，“wikidata”：https://www.wikidata.org/wiki/Q176452“，”display_name“：”Finite-state machine“，”level“：2，”score“：0.62378204}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.60686326}，{”id“：”https://openalex.org/C90805587，“wikidata”：https://www.wikidata.org/wiki/Q10944557“，”display_name“：”Word（群论）“，”level“：2，”score“：0.5843703}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.52070886}，{”id“：”https://openalex.org/C25343380，“wikidata”：https://www.wikidata.org/wiki/Q277521“，”display_name“：”关系（数据库）“，”级别“：2，”分数“：0.4428598}，{”id“：”https://openalex.org/C29248071，“wikidata”：https://www.wikidata.org/wiki/Q163310“，”display_name“：”Turing machine“，”level“：3，”score“：0.43456557}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.42988133}，{”id“：”https://openalex.org/C48372109，“wikidata”：https://www.wikidata.org/wiki/Q3913“，”display_name“：”二进制数“，”level“：2，”score“：0.42647484}，{”id“：”https://openalex.org/C139423837，“wikidata”：https://www.wikidata.org/wiki/Q243800“，”display_name“：”双向确定性有限自动机“，”level“：5，”score“：0.42250323}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.39146024｝，｛”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”Mathematics“，”level“：0，”score“：0.3749208｝，｛”id“：”https://openalex.org/C116248031，“wikidata”：https://www.wikidata.org/wiki/Q214526“，”display_name“：”自动机理论“，”level“：3，”score“：0.28406644}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.26167148}，{”id“：”https://openalex.org/C94375191，“wikidata”：https://www.wikidata.org/wiki/Q11205“，”display_name“：”算术“，”level“：1，”score“：0.24125573}，{”id“：”https://openalex.org/C24890656，“wikidata”：https://www.wikidata.org/wiki/Q82811“，”display_name“：”Acoustics“，”level“：1，”score“：0.08127007}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”等级“：0，”分数“：0.07949713}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C77088390，“wikidata”：https://www.wikidata.org/wiki/Q8513“，”display_name“：”数据库“，”级别“：1，”分数“：0.0}，{”id“：”https://openalex.org/C45374587，“wikidata”：https://www.wikidata.org/wiki/Q12525525“，”display_name“：”Computation“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：2.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics52264.2021.9470688“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“https://arxiv.org/abs/2005.13710，“pdf_url”：https://arxiv.org/pdf/2005.13710“，”源“：｛”id“：”https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，”type“：”repository“｝，”license“：null，”license_id“：null，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：｛”is_oa“：true，”landing_page_url“：”https://arxiv.org/abs/2005.13710，“pdf_url”：https://arxiv.org/pdf/2005.13710“，”源“：｛”id“：”https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，“grants”：[]、“datasets”：[]，“versions”：[】，“referenced_works_count”：19，“referrenced_works”：https://openalex.org/W1555579046","https://openalex.org/W1560909590","https://openalex.org/W1588627453网址","https://openalex.org/W1606855007","https://openalex.org/W1965306495","https://openalex.org/W1981523035","https://openalex.org/W1989382950","https://openalex.org/W2003113120","https://openalex.org/W2032744775","https://openalex.org/W2037367360","https://openalex.org/W2042869341","https://openalex.org/W2049481601","https://openalex.org/W2054801208","https://openalex.org/W2072604204","https://openalex.org/W2126160338","https://openalex.org/W2283017818","https://openalex.org/W2737444437","https://openalex.org/W2966364601","https://openalex.org/W4250846042“]，”related_works“：[”https://openalex.org/W63685668","https://openalex.org/W2810776027","https://openalex.org/W2581079654","https://openalex.org/W2243509623","https://openalex.org/W2136740376","https://openalex.org/W2037872771","https://openalex.org/W2003664089","https://openalex.org/W1990283467","https://openalex.org/W1983100634","https://openalex.org/W185868636“]，”ngrams_url“：”https://api.openalex.org/works/W3174967760/ngrams“，”“abstract_inverted_index”：{“The”：[0]，“question”：[1]，“when”：[2]，“P”：[3]，“equals”：[4]，“NP”：[5]，“reverses”：[6]，“around”：[7]，“The”：[8,24,49,55,71,77114117]，“difference”：[9]，“between”：[10]，“active”：[11]，“production”：[12]，“and”：[13,30,88112]，“mere”：[14]，：[15]，“by”：[16,97]，“Turing”：[17]，“machines.”：[18]，“In”：[19]，“this”：[20]，“论文，“：[21]，”我们“：[22]，”检验“：[23]，”类似“：[25]，”问题“：[26]，”对于“：[27,62]，”有限“：[28,34,67]，”传感器“：[29,91]，”自动机。“：[31]，”Every“：[32]，”nondeterministrative“：[33,90]，”transformer“：[35,50]，”defines“：[36]，”a“：[37,66,98]，”binary“：[38]，”relation“：[39,78]，”associating“：%40]，”each“：[41]，”input“：[42,82]，”word“：[43]，”with“：44,80]，”all“：[45]，”output“：%46,74]，”单词“：[47,75]，”that“：[48,76]，”can“：[51,94]，”successfully“：[52]，”product“：[53]，”on“：[54,70]，”given“：[56]，”input。“：[57]，“有限值”：[58]，“are”：[60]，“these”：[61]，“which”：[63]，“there”：[64]，“is”：[65]，“upper”：[68]，“bind”：[69]，“number”：[72]，“of”：[73116]，“associates”：[%9]，“every”：[81]，“word”。“：[83]，“We”：[84]，“characterize”：[85]，“finite-valued”：[86]，“functional”，：[87]，“unambiguous”：[89]，“which”：[92]，“relations”：/93]，“be”：[95]，“verified”：/96]，“deterministic”：[99]，“two-tape”：[100]，“automaton”：[101]，“show”：[102]，“how”：[003]，“to”：[104]，“construct”：[105]，“such”：[106]，“an”：[107]，“automaton”：[108]，“if”：[109]，“one”：[110]，“exists”，“：[111]，”证明“：[113]，”不可判定性“：[115]，”准则。“：[118]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W3174967760“，”counts_by_year“：[]，”updated_date“：”2024-05-22T20:20:54.063164“，”created_date:“2021-07-05”}“