{“id”:“https://openalex.org/W3105456813“,”doi“:”https://doi.org/10.2168/lmcs-2(2:6)2006”,“title”:“上下文敏感语言、有理图和决定论”,“display_name”:“语境敏感语言、理性图和决定主义”,“publication_year”:2006,“publiction_date”:“2006-07-19”,“ids”:{“openalex”:“https://openalex.org/W3105456813“,”doi“:”https://doi.org/10.2168/lmcs-2(2:6)2006“,”mag“:”3105456813“},”language“:”en“,”primary_location“:{”is_oa“:true,”landing_page_url“:”https://doi.org/10.2168/lmcs-2(2:6)2006“,“pdf_url”:”https://lmcs.episciences.org/2254/pdf,“源”:{“id”:https://openalex.org/S114379355“,”“display_name”:“计算机科学中的逻辑方法”,“issn_l”:“1860-5974”,“isn”:[“1860-5.974”],“is_oa”:true,“is_ in_doaj”:true,“is_core”:真,“host_organization”:“https://openalex.org/P4310313916“,”“host_organization_name”:“计算机科学中的逻辑方法e.V.”,“host_ordanization_lineage”:[“https://openalex.org/P4310313916“],”host_organization_lineage_names“:[”计算机科学中的逻辑方法e.V.“],“type”:“journal”},“license”:“cc-by”,“licence_id”:“https://openalex.org/licenses/cc-by“,”version“:”publishedVersion“,”is_accepted“:true,”is_published“:true},”type“:”article“,”type_crossref“:“journal-article”,”indexed_in“:[”arxiv“,”crossref“,”datacite“,”doaj“],”open_access“:{”is_oa“:true,”oa_status“:”diamond“,”oa_url“:”https://lmcs.episciences.org/2254/pdf“,”any_repository_has_fulltext“:true},”authorships“:[{”author_position“:”第一“,”作者“:{”id“:”https://openalex.org/A5057935060“,”display_name“:”Arnaud Carayol“,”orcid“:null},”institutions“:[{”id“:”https://openalex.org/I2802519937“,”display_name“:”Institute de Recherche en Informatique et Syst\u00e8mes Al\u00e 9atoires“,”ror“:”https://ror.org/00myn0z94“,”“country_code”“:”FR“,”type“:”facility“,”lineage“:[”https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I2802204017","https://openalex.org/I2802519937","https://openalex.org/I28221208","https://openalex.org/I4210127572","https://openalex.org/I4210159245","https://openalex.org/I56067802“]}],”国家“:[”FR“],”is_corresponding“:false,”raw_author_name“:”Arnaud Carayol“,”raw _ afiliation_strings“:[“IRISA-Institute de Recherche en Informationque et Syst\u00e8mes Al\u00e 9atoires(Campus universitiaire de Beaulieu-35042 Rennes-France)”],“afiliations”:[{“raw _ ffiliation_string”:“IRISA-Institute de Recherche en Informatique et Syst\u00e8mes Al\u00e 9atoires(Campus universitiate de Beaulieu-35042 Rennes-France)“,”institution_ids“:[”https://openalex.org/I2802519937“]}]},{”author_position“:”last“,”author“:{”id“:”https://openalex.org/A5032265613“,”display_name“:”Antoine Meyer“,”orcid“:”https://orcid.org/0000-0003-4513-4347},“机构”:[{“id”:https://openalex.org/I4210094115“,”display_name“:”Laboratoire d'Informatique Algorithmique:基金会和应用程序“,”ror“:”https://ror.org/00pbqgm18“,”“country_code”“:”FR“,”type“:”facility“,”lineage“:[”https://openalex.org/I1294671590","https://openalex.org/I204730241","https://openalex.org/I4210094115","https://openalex.org/I4210159245“]},{”id“:”https://openalex.org/I204730241“,”display_name“:”Universit\u00e9 Paris Cit\u00e8“,”ror“:”https://ror.org/05f82e368“,”country_code“:”FR“,”type“:“教育”,”世系“:[”https://openalex.org/I204730241“]}],”国家“:[”FR“],”is_corresponding“:false,”raw_author_name“:”Antoine Meyer“,”raw _ afiliation_strings“:[“LIAFA-Laboratoire d’informatique Algorithmique:Fondements et Applications(University \u00e9 Paris Didero,B\u002t.Sophie Germain,case postale 7014,75205 Paris cedex 13-France)”],“affiliations”:[{”raw _affiliation_string“:”LIAFA-Laboratoire d’informatique Algorithmique:Fondements et Applications(University \u00e9 Paris Didero,B\u00e,Sophie Germain,case postale 7014,75205 Paris cedex 13-France)“,”institution_ids“:[”https://openalex.org/I4210094115","https://openalex.org/I204730241“]}]}],”countries_distinct_count“:1,”institutions_disting_count”:3,”corresponding_author_ids“:[],”corresponding_institution_ids”:[]、“apc_list”:{“value”:0,”currency“:”USD“,”value_USD“:0,“provenance”:“doaj”},”apc_payed“:null,”fwci“:0.846,”has_fulltext“:true,”fulltext_origin“:”pdf“,”cited_by_ count“:10,”引文规范化百分比“:{”value“:0.545165,”is_in_top_1_percent“:false,”is_in_top_10_percennt“:false},”cited_by_percentile_year“:{”min“:82,”max“:83},“biblio”:{“volume”:“volume 2,Issue 2”,“Issue”:null,“first_page”:null,“last_page”:null},‘is_retracted’:false;“is_paratext”:false、“primary_topic”:{“id”:“https://openalex.org/T12029“,”display_name“:”基于DNA的计算和数据存储“,”score“:0.9999,”subfield“:{”id“:”https://openalex.org/subfields/1312“,”display_name“:”分子生物学“},”字段“:{”id“:”https://openalex.org/fields/13“,”“display_name”:“生物化学、遗传学和分子生物学”},“域”:{“id”:“https://openalex.org/domains/1“,”display_name“:”生命科学“}},”主题“:[{”id“:”https://openalex.org/T12029“,”display_name“:”基于DNA的计算和数据存储“,”score“:0.9999,”subfield“:{”id“:”https://openalex.org/subfields/1312“,”display_name“:”分子生物学“},”字段“:{”id“:”https://openalex.org/fields/13“,”“display_name”:“生物化学、遗传学和分子生物学”},“域”:{“id”:“https://openalex.org/domains/1“,”display_name“:”生命科学“}},{”id“:”https://openalex.org/T11567“,”display_name“:”自动机理论和形式语言“,”score“:0.9998,”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/T11269“,”display_name“:”文本压缩和索引算法“,”score“:0.995,”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/formal-languages网站“,”display_name“:”形式语言“,”score“:0.489784},{”id“:”https://openalex.org/keywords/pushdown-automaton网站“,”display_name“:”下推自动机“,”score“:0.44684213},{”id“:”https://openalex.org/keywords/context-free-language网站“,”display_name“:”上下文无关语言“,”score“:0.4440277},{”id“:”https://openalex.org/keywords/regular-language网站“,”display_name“:”常规语言“,”score“:0.4285461}],”concepts“:[{”id“:”https://openalex.org/C118615104,“wikidata”:https://www.wikidata.org/wiki/Q121416“,”display_name“:”离散数学“,”level“:1,”score“:0.5761216},{”id“:”https://openalex.org/C114614502,“wikidata”:https://www.wikidata.org/wiki/Q76592“,”display_name“:”组合数学“,”level“:1,”score“:0.5572583},{”id“:”https://openalex.org/C108710211,“wikidata”:https://www.wikidata.org/wiki/Q11538“,”display_name“:”数学证明“,”level“:2,”score“:0.5399319},{”id“:”https://openalex.org/C80899671,“wikidata”:https://www.wikidata.org/wiki/Q1304193“,”display_name“:”Vertex(图论)“,”level“:3,”score“:0.46429074},{”id“:”https://openalex.org/C33923547,“wikidata”:https://www.wikidata.org/wiki/Q395“,”display_name“:”数学“,”等级“:0,”分数“:0.46099782},{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198“,”display_name“:”计算机科学“,”level“:0,”score“:0.45083818},{”id“:”https://openalex.org/C77944639,“wikidata”:https://www.wikidata.org/wiki/Q751443“,”display_name“:”下推自动机“,”level“:3,”score“:0.44684213},{”id“:”https://openalex.org/C198838072,“wikidata”:https://www.wikidata.org/wiki/Q729271“,”display_name“:”上下文无关语言“,”level“:3,”score“:0.4440277},{”id“:”https://openalex.org/C52370388,“wikidata”:https://www.wikidata.org/wiki/Q752532“,”display_name“:”普通语言“,”level“:3,”score“:0.4285461},{”id“:”https://openalex.org/C112505250,“wikidata”:https://www.wikidata.org/wiki/Q787116“,”display_name“:”Automaton“,”level“:2,”score“:0.3968566},{”id“:”https://openalex.org/C132525143,“wikidata”:https://www.wikidata.org/wiki/Q141488“,”display_name“:”Graph“,”level“:2,”score“:0.35444182},{”id“:”https://openalex.org/C53893814,“wikidata”:https://www.wikidata.org/wiki/Q7378909(网址:https://www.wikidata.org/wiki/Q7378909)“,”display_name“:”基于规则的机器翻译“,”level“:2,”score“:0.25417656},{”id“:”https://openalex.org/C80444323,“wikidata”:https://www.wikidata.org/wiki/Q2878974“,”display_name“:”理论计算机科学“,”level“:1,”score“:0.22834486},{”id“:”https://openalex.org/C154945302,“wikidata”:https://www.wikidata.org/wiki/Q11660“,”display_name“:”人工智能“,”level“:1,”score“:0.063645184},{”id“:”https://openalex.org/C2524010,“wikidata”:https://www.wikidata.org/wiki/Q8087“,”display_name“:”Geometry“,”level“:1,”score“:0.0}],”mesh“:[],”locations_count“:7,”locations“:[{”is_oa“:true,”landing_page_url“:”https://doi.org/10.2168/lmcs-2(2:6)2006“,“pdf_url”:”https://lmcs.episciences.org/2254/pdf,“源”:{“id”:https://openalex.org/S114379355“,”“display_name”:“计算机科学中的逻辑方法”,“issn_l”:“1860-5974”,“isn”:[“1860-5.974”],“is_oa”:true,“is_ in_doaj”:true,“is_core”:真,“host_organization”:“https://openalex.org/P4310313916“,”“host_organization_name”:“计算机科学中的逻辑方法e.V.”,“host_ordanization_lineage”:[“https://openalex.org/P4310313916“],”host_organization_lineage_names“:[”计算机科学中的逻辑方法e.V.“],“type”:“journal”},“license”:“cc-by”,“licence_id”:“https://openalex.org/licenses/cc-by“,”版本“:”已发布版本“,”is_accepted“:true,”is_published“:true},{”is_oa“:false,”landing_page_url“:”https://hal.archives-ouvertes.fr/hal-00149086“,”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_ordanization_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-00149086“,”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_ordanization_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://doaj.org/article/c1259469bcd14fa0bb368a38379f91b9“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S4306401280“,”display_name“:”DOAJ(DOAJ:开放存取期刊目录)“,”issn_l“:null,”issn“:null:”is_oa“:true,”is_in_DOAJ“:false,”is_core“:false,”host_organization“:null,”host_organization_name“:null,“host_orgganization_lineage”:[],“host_orgganization _lineage_names”:[[],”type“:”repository“}”,“license”:nullis_accepted“:false,”is_published“:false},{“is_oa”:true,”landing_page_url“:”https://arxiv.org/abs/cs/0606053,“pdf_url”:https://arxiv.org/pdf/cs/0606053,“源”:{“id”:https://openalex.org/S4306400194“,”display_name“:”arXiv(康奈尔大学)“,”issn_l“:null,”issn“:null,”is_oa“:true,”is.in_doaj“:false,”is_core“:fase,”host_organization“:”https://openalex.org/I205783295“,”“host_organization_name”:“康奈尔大学”,“host_organization_lineage”:[“https://openalex.org/I205783295“],”host_organization_lineage_names“:[”Cornell University“],“type”:“repository”},“license”:null,“licence_id”:null,“version”:“submittedVersion”,“is_accepted”:false,“is_published”:false},{“is_oa”:true,“landing_page_url”:nul,“pdf_url“:”https://arxiv.org/pdf/cs/0606053v2.pdf,“源”:{“id”:https://openalex.org/S4306400194“,”display_name“:”arXiv(康奈尔大学)“,”issn_l“:null,”issn“:null,”is_oa“:true,”is.in_doaj“:false,”is_core“:fase,”host_organization“:”https://openalex.org/I205783295“,”“host_organization_name”:“康奈尔大学”,“host_organization_lineage”:[“https://openalex.org/I205783295“],”host_organization_lineage_names“:[”Cornell University“],“type”:“repository”},“license”:null,“licence_id”:null,“version”:“submittedVersion”,“is_accepted”:false,“is_published”:false},{“is_oa”:false,“landing_page_url”:“https://api.datacite.org/dois/10.48550/arxiv.cs/0606053“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S4393179698“,”display_name“:”DataCite API“,”issn_l“:null,”issn“:null,”is_oa“:true,”is_ in_doaj“:false,”is_core“:false,”host_organization“:”https://openalex.org/I4210145204“,”“host_organization_name”:“DataCite”,“host_organization_lineage”:[“https://openalex.org/I4210145204“],”host_organization_lineage_names“:[”DataCite“],“type”:“metadata”},“license”:null,“licence_id”:null,“version”:null}],“best_oa_location”:{“is_oa”:true,“landing_page_url”:“https://doi.org/10.2168/lmcs-2(2:6)2006“,“pdf_url”:”https://lmcs.episciences.org/2254/pdf,“源”:{“id”:https://openalex.org/S114379355“,”“display_name”:“计算机科学中的逻辑方法”,“issn_l”:“1860-5974”,“isn”:[“1860-5.974”],“is_oa”:true,“is_ in_doaj”:true,“is_core”:真,“host_organization”:“https://openalex.org/P4310313916“,”“host_organization_name”:“计算机科学中的逻辑方法e.V.”,“host_ordanization_lineage”:[“https://openalex.org/P4310313916“],”host_organization_lineage_names“:[”计算机科学中的逻辑方法e.V.“],“type”:“journal”},“license”:“cc-by”,“licence_id”:“https://openalex.org/licenses/cc-by“,”version“:”publishedVersion“,”is_accepted“:true,”is_published“:true},”sustainable_development_goals“:[{”score“:0.63,”display_name“:”素质教育“,”id“:”https://metadata.un.org/sdg/4“}],”授予“:[],”数据集“:[],”版本“:[”https://openalex.org/W2136293518","https://openalex.org/W3105456813“],”referenced_works_count“:30,”referrenced_works“:[”https://openalex.org/W1505482284","https://openalex.org/W1510535793","https://openalex.org/W1513341013","https://openalex.org/W1517623691","https://openalex.org/W1547822735","https://openalex.org/W1572832005","https://openalex.org/W1581736958","https://openalex.org/W1584587517","https://openalex.org/W1870847788","https://openalex.org/W1963646041","https://openalex.org/W1965306495","https://openalex.org/W1984391920","https://openalex.org/W1988621416","https://openalex.org/W1989633683","https://openalex.org/W2002089154","https://openalex.org/W2003484715","https://openalex.org/W2021426226","https://openalex.org/W2040713190","https://openalex.org/W2051419196","https://openalex.org/W2066449302","https://openalex.org/W2149291830","https://openalex.org/W2163102368","https://openalex.org/W2296095876","https://openalex.org/W229813974","https://openalex.org/W2480498821","https://openalex.org/W2777836017","https://openalex.org/W2798367342网址","https://openalex.org/W421997344","https://openalex.org/W4298237022","https://openalex.org/W585175573“],”related_works“:[”https://openalex.org/W2886027706","https://openalex.org/W2811459629","https://openalex.org/W2519987770","https://openalex.org/W2503835330网址","https://openalex.org/W2044199853","https://openalex.org/W1999773318","https://openalex.org/W1990051509","https://openalex.org/W1584306444","https://openalex.org/W1536687913","https://openalex.org/W1490338449“],”abstract_inverted_index“:{”We“:[0],”investive“:[1],”families“:[2],”of“:[3,20,30,60,72,80,92105136140146149],”无限“:[4,10,14],”automata“:[5],”for“:[6],”context-sensitive“:[7,55106],”languages.“:[8],”An“:[9],”automiton“:[11],”is“:[12,27,85],”An“:[13,37],“标签”:[15],“图形”:[16142],“带”:[17],“两个”:[18],“集合”:[19,59],“初始“:[21,38,61150],”和“:[22,47,62,89122],”最终“:[23,42,63],”顶点。“:[24,64151],”Its“:[25],”language“:[26],”the“:[28,54,93112134138141144147],”set“:[29148],”all“:[31],”words“:[32],”labeling“:[33],”a“:[34,41101],”path“:[35],”from“:[36],”vertex“:[39],”to“:[40,70,86120],”顶点。“:[43],“In”:[44],“2001,”:[45],“Morvan”:【46】,“Stirling”:【48】,“proved”:【49】,“that”:【50】,“rational”:【51,58,73】,“graphs”:【52,74】,“accept”:【53】,“languages”:[56],“between”:【57】,“This”:【65】,“result”:〔66〕,“was”:〔67〕,“later”:【68】,“extended”:【69】,“sub-families”:【71129],“已定义”:[75108130],“by”:[76109126131],“more”:[77],“restricted”:[78],“classes”:[79],“传感器”:[81],“语言。<br><br>”:[82],“我们的”:[83],“贡献”:[84],“提供”:[87],“语法”:[88],“自包含”:[90],“证明”:[91],“上面”:[94],“结果”:[95],“当”:[96],“早期”:[97],“构造”:[98],“依赖”:[99],“依靠”:[100133],“非平凡”:[102],“正常”:[103],“form”:[104],“grammars”:[107],“Penttonen”:[110],“in”:[111],“1970年代”:[113],“这些”:[114],“新的”:[115],“证明”:[116],“技术”:[117],“启用”:[118],“我们”:[119],“总结”:[121],“细化”:[123],“这类”:[124],“结果”:[125],“考虑”:[127],“多个”:[128],“限制”:[132],“类型”:[135],“传感器”,“:[137],“度”:[139],“或”:[143],“大小”:[145]},“引用_ by_api_url”:“https://api.openalex.org/works?filter=cites:W3105456813“,”counts_by_year“:[{”年“:2013,”cited_by_count“:1}],”更新日期“:”2024-09-01T01:44:06.915554“,”创建日期“:“2020-11-23”}