{"_buckets": {"deposit": "01ebc2da-e976-4a49-9a39-40bd4ceafcff"}, "_deposit": {"id": "21400", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "21400"}, "status": "published"}, "_oai": {"id": "oai:nagoya.repo.nii.ac.jp:00021400"}, "item_10_alternative_title_19": {"attribute_name": "\u305d\u306e\u4ed6\u306e\u8a00\u8a9e\u306e\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_alternative_title": "Tree Automata with Constraints and their Closure-Properties"}]}, "item_10_biblio_info_6": {"attribute_name": "\u66f8\u8a8c\u60c5\u5831", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2011-02", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "458", "bibliographicPageEnd": "66", "bibliographicPageStart": "61", "bibliographicVolumeNumber": "110", "bibliographic_titles": [{"bibliographic_title": "\u96fb\u5b50\u60c5\u5831\u901a\u4fe1\u5b66\u4f1a\u6280\u8853\u7814\u7a76\u5831\u544a. SS, \u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u30b5\u30a4\u30a8\u30f3\u30b9"}]}]}, "item_10_description_4": {"attribute_name": "\u6284\u9332", "attribute_value_mlt": [{"subitem_description": "\u6728\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u306f\u9805\u3092\u5165\u529b\u3068\u3057\u305f\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u3067\u3042\u308a,\u548c\u96c6\u5408\u30fb\u88dc\u96c6\u5408\u30fb\u7a4d\u96c6\u5408\u6f14\u7b97\u306b\u9589\u3058\u3066\u3044\u308b\u3053\u3068\u3084\u7a7a\u5224\u5b9a\u554f\u984c\u304c\u6c7a\u5b9a\u53ef\u80fd\u3067\u3042\u308b\u3053\u3068\u304b\u3089,\u9805\u66f8\u63db\u3048\u7cfb\u306e\u6027\u8cea\u3092\u8abf\u3079\u308b\u3053\u3068\u306b\u6709\u52b9\u3067\u3042\u308b.\u307e\u305f,\u8fd1\u5e74,\u5236\u7d04\u4ed8\u304d\u9805\u66f8\u63db\u3048\u7cfb\u306b\u95a2\u3059\u308b\u7814\u7a76\u304c\u884c\u308f\u308c\u3066\u304a\u308a,\u7279\u306b\u5b9a\u7406\u81ea\u52d5\u8a3c\u660e\u306e\u7814\u7a76\u304c\u6ce8\u76ee\u3055\u308c\u3066\u3044\u308b.\u672c\u7a3f\u3067\u306f,\u7b49\u53f7\u4e0d\u7b49\u53f7\u5236\u7d04\u4ed8\u304d\u6728\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u306e\u5236\u7d04\u3092\u4efb\u610f\u306e\u5236\u7d04\u7cfb\u3092\u6307\u5b9a\u3067\u304d\u308b\u3088\u3046\u306b\u4e00\u822c\u5316\u3057\u305f\u5236\u7d04\u4ed8\u304d\u6728\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u3092\u63d0\u6848\u3057,\u4efb\u610f\u306e\u5236\u7d04\u4ed8\u304d\u6728\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u306b\u5bfe\u3057\u3066\u6c7a\u5b9a\u6027\u3068\u5b8c\u5168\u6027\u3092\u6301\u3061\u53d7\u7406\u96c6\u5408\u304c\u7b49\u4fa1\u3067\u3042\u308b\u5236\u7d04\u4ed8\u304d\u6728\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u304c\u5b58\u5728\u3059\u308b\u3053\u3068\u3092\u793a\u3059.\u3055\u3089\u306b,\u5236\u7d04\u4ed8\u304d\u6728\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u306e\u30af\u30e9\u30b9\u304c\u548c\u30fb\u7a4d\u30fb\u88dc\u96c6\u5408\u6f14\u7b97\u306b\u9589\u3058\u3066\u3044\u308b\u3053\u3068\u3092\u793a\u3059. Tree automata are useful in analyzing properties of term rewriting systems since the class of recognizable tree languages is closed under union, intersection and complement and since the emptiness problem is decidable. Recently, constrained term rewriting systems are investigated and theorem proving methods of contrained systems attract attention. In this paper, by generalizing tree automata with equality and disequality constraints, we propose tree automata with constraints, for which one can specify structures that give an interpretation of predicate symbols and some function symbols. We also show that for every tree automaton with constraints there exists a deterministic and complete tree automaton with constraints, which recognizes the tree language recognized by the former one. In addition, we show that the class of recognized tree languages for tree automata with constraints is closed under union, intersection and complement.", "subitem_description_type": "Abstract"}]}, "item_10_identifier_60": {"attribute_name": "URI", "attribute_value_mlt": [{"subitem_identifier_type": "URI", "subitem_identifier_uri": "http://ci.nii.ac.jp/naid/110008689415/"}, {"subitem_identifier_type": "HDL", "subitem_identifier_uri": "http://hdl.handle.net/2237/23544"}]}, "item_10_publisher_32": {"attribute_name": "\u51fa\u7248\u8005", "attribute_value_mlt": [{"subitem_publisher": "\u4e00\u822c\u793e\u56e3\u6cd5\u4eba\u96fb\u5b50\u60c5\u5831\u901a\u4fe1\u5b66\u4f1a"}]}, "item_10_relation_40": {"attribute_name": "\u30b7\u30ea\u30fc\u30ba", "attribute_value_mlt": [{"subitem_relation_name": [{"subitem_relation_name_text": "IEICE Technical Report;SS2010-63"}]}]}, "item_10_rights_12": {"attribute_name": "\u6a29\u5229", "attribute_value_mlt": [{"subitem_rights": "(c)\u4e00\u822c\u793e\u56e3\u6cd5\u4eba\u96fb\u5b50\u60c5\u5831\u901a\u4fe1\u5b66\u4f1a \u672c\u6587\u30c7\u30fc\u30bf\u306f\u5b66\u5354\u4f1a\u306e\u8a31\u8afe\u306b\u57fa\u3065\u304dCiNii\u304b\u3089\u8907\u88fd\u3057\u305f\u3082\u306e\u3067\u3042\u308b"}]}, "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": "0913-5685", "subitem_source_identifier_type": "ISSN"}]}, "item_creator": {"attribute_name": "\u8457\u8005", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "\u5009\u6a4b, \u514b\u5c1a"}], "nameIdentifiers": [{"nameIdentifier": "61983", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "\u9152\u4e95, \u6b63\u5f66"}], "nameIdentifiers": [{"nameIdentifier": "61984", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "\u897f\u7530, \u76f4\u6a39"}], "nameIdentifiers": [{"nameIdentifier": "61985", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "\u91ce\u6751, \u592a\u5fd7"}], "nameIdentifiers": [{"nameIdentifier": "61986", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "\u5742\u90e8, \u4fca\u6a39"}], "nameIdentifiers": [{"nameIdentifier": "61987", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "\u8349\u5208, \u572d\u4e00\u6717"}], "nameIdentifiers": [{"nameIdentifier": "61988", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "KURAHASHI, Katsuhisa"}], "nameIdentifiers": [{"nameIdentifier": "61989", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "SAKAI, Masahiko"}], "nameIdentifiers": [{"nameIdentifier": "61990", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "NISHIDA, Naoki"}], "nameIdentifiers": [{"nameIdentifier": "61991", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "NOMURA, Futoshi"}], "nameIdentifiers": [{"nameIdentifier": "61992", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "SAKABE, Toshiki"}], "nameIdentifiers": [{"nameIdentifier": "61993", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "KUSAKARI, Keiichirou"}], "nameIdentifiers": [{"nameIdentifier": "61994", "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", "download_preview_message": "", "file_order": 0, "filename": "110008689415.pdf", "filesize": [{"value": "851.5 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 851500.0, "url": {"label": "110008689415.pdf", "url": "https://nagoya.repo.nii.ac.jp/record/21400/files/110008689415.pdf"}, "version_id": "f594a555-368b-4ea0-b92d-faa009feef2d"}]}, "item_keyword": {"attribute_name": "\u30ad\u30fc\u30ef\u30fc\u30c9", "attribute_value_mlt": [{"subitem_subject": "\u6728\u30aa\u30fc\u30c8\u30de\u30c8\u30f3", "subitem_subject_scheme": "Other"}, {"subitem_subject": "\u5236\u7d04", "subitem_subject_scheme": "Other"}, {"subitem_subject": "\u9589\u5305\u6027", "subitem_subject_scheme": "Other"}, {"subitem_subject": "tree automata", "subitem_subject_scheme": "Other"}, {"subitem_subject": "constraint", "subitem_subject_scheme": "Other"}, {"subitem_subject": "closure property", "subitem_subject_scheme": "Other"}]}, "item_language": {"attribute_name": "\u8a00\u8a9e", "attribute_value_mlt": [{"subitem_language": "jpn"}]}, "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": "\u5236\u7d04\u4ed8\u304d\u6728\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u3068\u305d\u306e\u9589\u5305\u6027", "item_titles": {"attribute_name": "\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_title": "\u5236\u7d04\u4ed8\u304d\u6728\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u3068\u305d\u306e\u9589\u5305\u6027"}]}, "item_type_id": "10", "owner": "1", "path": ["312/313/314"], "permalink_uri": "http://hdl.handle.net/2237/23544", "pubdate": {"attribute_name": "\u516c\u958b\u65e5", "attribute_value": "2016-02-23"}, "publish_date": "2016-02-23", "publish_status": "0", "recid": "21400", "relation": {}, "relation_version_is_last": true, "title": ["\u5236\u7d04\u4ed8\u304d\u6728\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u3068\u305d\u306e\u9589\u5305\u6027"], "weko_shared_id": null}