{“status”:“ok”,“message type”:“work”,“message version”:“1.0.0”,“message”:{“indexed”:{“date parts”:[[2024,7,5]],“date time”:“2024-07-05T17:37:32Z”,“timestamp”:1720201052254},“reference count”:11,“publisher”:“Elsevier BV”,“license”:[{“start”:{“date parts”:[[1986,1,1]],“date time”:“1986-01-01T00:00:00Z”,“timestamp”:504921600000},“content version”:“tdm”,“delay-in-days”:0,“URL”:“https:\/\/www.elsevier.com//tdm\/userlicense\/1.0\/”},{“start”:{“date-parts”:[[2013,7,17]],“date-time”:“2013-07-17T00:00:00Z”,“timestamp”:1374019200000},“content-version”:“vor”,“delay-in-days”:10059,“URL“https:\\/www.elssevier.com/open-access\/user”许可证\/1.0\/“}],”内容域“:{”域“:[],“交叉标记限制”:false},“短容器标题”:[“理论计算机科学”],“已发表的印刷品”:{“日期部分”:[[1986]]},“DOI”:“10.1016\/00304-3975(86)90101-5”,“类型”:“期刊文章”,“创建的”:{“日期部分”:[[2003,4,25],“日期时间”:“2003-04-25T06:09:04Z”,“时间戳”:10512500944000},“页面”:“329-337”,“来源”:“Crossref”,“is-referenced-by-count”:18,“special_numbering”:“C”,“title”:[“关于自由部分交换幺半群的有理子集的一些问题的可判定性”],“prefix”:“10.1016”,“volume”:“48”,“author”:[{“given”:,“affiliation”:[]}],“member”:“78”,“reference”:[{“key”:“10.1016\/0304-3975(86)90101-5_BIB1”,“series-title”:“Transductions and Context-free Languages”,“author”:“Berstel”,“year”:“1979”},{“key”:“101016\/0304-3975:“正则跟踪语言的等价性和成员问题”,“卷”:“140”,“作者”:“Bertoni”,“年份”:“1982”},{“键”:“10.1016\/0304-3975(86)90101-5_BIB3”,“文章标题”:“自由部分交换幺半群”,“作家”:“Choffrut”,“年”:“1986”,“期刊标题”:《技术报告实验室信息》Th\u00e9orique et Programmation 86.20”}:“10.1016\/0304-3975(86)90101-5_BIB4”,“series-title”:“计算科学的程序数学发现”,“首页”:“256”,“文章-标题”:“部分交换字母表的唯一可解性问题”,“卷”:“233”,“作者”:“Chrobak”,“年份”:“1986”},{“问题”:“1”,“键”:“10.12016\/034-3975(86)9101-5_BIB5”,“doi-asserted-by”:“cross”ref“,”首页“:“106”,“DOI”:“10.1145\/322047.322058”,“article-title”:“反向有界多计数器及其决策问题”,“volume”:“25”,“author”:“Ibarra”,“year”:“1978”,“journal-title“:”J.ACM“},{“issue”:“4”,“key”:”10.1016\/0304-3975(86)90101-5_BIB6“,”DOI-asserted-by“:”crossref“,”first page“:”524“,“DOI:”10.1016 137\/0207042“,”文章标题“:“具有一元输入(输出)字母表和应用程序的无电子ngsm等价问题的不可解性”,“卷”:“7”,“作者”:“Ibarra”,“年份”:“1978”,“期刊标题”:“SIAM J.Compute.”},{“key”:“10.1016\/0304-3975(86)90101-5_BIB7”,《doi-asserted-by》:“crossref”,“article-title”:“并发程序方案及其解释”,“author”:“Mazurkiewicz”,“year”:“1977”,“DOI”:“10.7146\/dpb.v6i78.7691”},{“key”:“10.1016\/00304-3975(86)90101-5_BIB8”,“首页”:“115”,“文章标题”:“痕迹、历史、图表:过程monoid的实例”,“volume”:“176”,“author”:“Mazurkiewicz”,“year”:“1984”},{“issue”:“1”,“key”:“10.1016\/00304-3975(86)90101-5_BIB9”,“首页”:“107”,“文章标题”:“跟踪语言的某些属性”,“卷”:“VII”,“作者”:“Rytter”,“年份”:“1984”,“日志标题”:“Fund.Inform.”},{“issue”:“3”,“key”:“10.1016\/0304-3975(86)90101-5_BIB10”,“首页”:“531”,“article-title”:“描述并发系统行为的语言的分类和闭包属性”,”卷“:“IV”,“author”:“Szijarto”,“年”:“1981”,“journal-title”:“Fund.Inform.”},{“key”:“10.1016\/0304-3975(86)90101-5_BIB11”,“article-title“:“并发系统对形式语言的可实现性的说明”,“author”:“Tarlecki”,“year”:“1982”,“journal-titel”:“ICS PAS Repts.481”}],“container-title(容器)”:[“理论计算机科学”],“original-title:[],“language”:“en”,“link”:[{“URL”:“https:\/\/api.elsevier.com/content\/article\/PII:0304397586901015?httpAccept=text\.xml”,“content-type”:“text\/xml”,“content-version”:“vor”,“intended-application”:“text-mining”},{“URL”:“http:\/\-api.elsever.com/content\/article \/PII:0304397586901015?httpAccess=text\/plain”,“内容类型”:“文本\/plain”,“content-version“:“vor”,“intended-application”:“text-mining”}],“deposed”:{“date-parts”:[[2019,3,21]],“date-time”:“2019-03-21T16:53:51Z”,“timestamp”:1553187231000},“score”:1,“resource”:{primary“:{”URL“https:\/\/linkinghub.elsevier.com\/retrieve\/piii\/0304397586901015”}},”subtitle“:[],”shorttitle“:[],“issued”:date-parts“:[[1986]]},”references-count“:11,“alternative-id”:[“0304397586901015”],“URL”:“http://\/dx.doi.org\/10.1016\/0304-3975(86)90101-5”,“关系”:{},“ISSN”:[”0304-3975“],“ISSN-type”:[{“值”:“0304-397”,“类型”:“打印”}],“主题”:[],“发布”:{“日期parts”:[1986]}}}