{"created":"2021-03-01T06:26:31.210116+00:00","id":19060,"links":{},"metadata":{"_buckets":{"deposit":"9fe7bd8a-65f6-4c86-aa90-fca12c70a1fd"},"_deposit":{"id":"19060","owners":[],"pid":{"revision_id":0,"type":"depid","value":"19060"},"status":"published"},"_oai":{"id":"oai:nagoya.repo.nii.ac.jp:00019060"},"item_10_biblio_info_6":{"attribute_name":"\u66f8\u8a8c\u60c5\u5831","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2011-09","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"4","bibliographicPageEnd":"35","bibliographicPageStart":"12","bibliographicVolumeNumber":"4","bibliographic_titles":[{"bibliographic_title":"\u60c5\u5831\u51e6\u7406\u5b66\u4f1a\u8ad6\u6587\u8a8c, \u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0"}]}]},"item_10_description_4":{"attribute_name":"\u6284\u9332","attribute_value_mlt":[{"subitem_description":"The reachability problem for an initial term, a goal term, and a rewrite system is to decide whether the initial term is reachable to goal one by the rewrite system or not. The innermost reachability problem is to decide whether the initial term is reachable to goal one by innermost reductions of the rewrite system or not. A context-sensitive term rewriting system (CS-TRS) is a pair of a term rewriting system and a mapping that specifies arguments of function symbols and determines rewritable positions of terms. In this paper, we show that both reachability for right-linear right-shallow CS-TRSs and innermost reachability for shallow CS-TRSs are decidable. We prove these claims by presenting algorithms to construct a tree automaton accepting the set of terms reachable from a given term by (innermost) reductions of a given CS-TRS.","subitem_description_type":"Abstract"}]},"item_10_identifier_60":{"attribute_name":"URI","attribute_value_mlt":[{"subitem_identifier_type":"URI","subitem_identifier_uri":"http://id.nii.ac.jp/1001/00077591/"},{"subitem_identifier_type":"HDL","subitem_identifier_uri":"http://hdl.handle.net/2237/21166"}]},"item_10_publisher_32":{"attribute_name":"\u51fa\u7248\u8005","attribute_value_mlt":[{"subitem_publisher":"\u4e00\u822c\u793e\u56e3\u6cd5\u4eba\u60c5\u5831\u51e6\u7406\u5b66\u4f1a"}]},"item_10_rights_12":{"attribute_name":"\u6a29\u5229","attribute_value_mlt":[{"subitem_rights":"\u3053\u3053\u306b\u63b2\u8f09\u3057\u305f\u8457\u4f5c\u7269\u306e\u5229\u7528\u306b\u95a2\u3059\u308b\u6ce8\u610f \u672c\u8457\u4f5c\u7269\u306e\u8457\u4f5c\u6a29\u306f\u60c5\u5831\u51e6\u7406\u5b66\u4f1a\u306b\u5e30\u5c5e\u3057\u307e\u3059\u3002\u672c\u8457\u4f5c\u7269\u306f\u8457\u4f5c\u6a29\u8005\u3067\u3042\u308b\u60c5\u5831\u51e6\u7406\u5b66\u4f1a\u306e\u8a31\u53ef\u306e\u3082\u3068\u306b\u63b2\u8f09\u3059\u308b\u3082\u306e\u3067\u3059\u3002\u3054\u5229\u7528\u306b\u5f53\u305f\u3063\u3066\u306f\u300c\u8457\u4f5c\u6a29\u6cd5\u300d\u306a\u3089\u3073\u306b\u300c\u60c5\u5831\u51e6\u7406\u5b66\u4f1a\u502b\u7406\u7db1\u9818\u300d\u306b\u5f93\u3046\u3053\u3068\u3092\u304a\u9858\u3044\u3044\u305f\u3057\u307e\u3059\u3002Notice for the use of this material The copyright of this material is retained by the Information Processing Society of Japan (IPSJ). This material is published on this web site with the agreement of the author (s) and the IPSJ. Please be complied with Copyright Law of Japan and the Code of Ethics of the IPSJ if any users wish to reproduce, make derivative work, distribute or make available to the public any part or whole thereof. All Rights Reserved, Copyright (C) Information Processing Society of Japan. Comments are welcome. Mail to address editj\uff20ipsj.or.jp, please."}]},"item_10_select_15":{"attribute_name":"\u8457\u8005\u7248\u30d5\u30e9\u30b0","attribute_value_mlt":[{"subitem_select_item":"publisher"}]},"item_10_source_id_7":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"0387-5806","subitem_source_identifier_type":"ISSN"}]},"item_creator":{"attribute_name":"\u8457\u8005","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Kojima, Yoshiharu"}],"nameIdentifiers":[{"nameIdentifier":"55677","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"Sakai, Masahiko"}],"nameIdentifiers":[{"nameIdentifier":"55678","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"Nishida, Naoki"}],"nameIdentifiers":[{"nameIdentifier":"55679","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"Kusakari, Keiichirou"}],"nameIdentifiers":[{"nameIdentifier":"55680","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"Sakabe, Toshiki"}],"nameIdentifiers":[{"nameIdentifier":"55681","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"\u30d5\u30a1\u30a4\u30eb\u60c5\u5831","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-02-21"}],"displaytype":"detail","filename":"IPSJ-TPRO0404003.pdf","filesize":[{"value":"509.2 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"IPSJ-TPRO0404003.pdf","url":"https://nagoya.repo.nii.ac.jp/record/19060/files/IPSJ-TPRO0404003.pdf"},"version_id":"033a2f04-751f-4a62-a60f-7ee724c5f756"}]},"item_language":{"attribute_name":"\u8a00\u8a9e","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"\u8cc7\u6e90\u30bf\u30a4\u30d7","attribute_value_mlt":[{"resourcetype":"journal article","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"Decidability of Reachability for Right-shallow Context-sensitive Term Rewriting Systems","item_titles":{"attribute_name":"\u30bf\u30a4\u30c8\u30eb","attribute_value_mlt":[{"subitem_title":"Decidability of Reachability for Right-shallow Context-sensitive Term Rewriting Systems"}]},"item_type_id":"10","owner":"1","path":["312/313/314"],"pubdate":{"attribute_name":"\u516c\u958b\u65e5","attribute_value":"2015-01-30"},"publish_date":"2015-01-30","publish_status":"0","recid":"19060","relation_version_is_last":true,"title":["Decidability of Reachability for Right-shallow Context-sensitive Term Rewriting Systems"],"weko_creator_id":"1","weko_shared_id":null},"updated":"2021-03-01T16:23:48.124440+00:00"}