WEKO3
アイテム
{"_buckets": {"deposit": "a6bf6423-7828-4f17-af54-6336a34e61da"}, "_deposit": {"created_by": 13, "id": "4993", "owners": [13], "pid": {"revision_id": 0, "type": "depid", "value": "4993"}, "status": "published"}, "_oai": {"id": "oai:mie-u.repo.nii.ac.jp:00004993", "sets": ["388"]}, "author_link": ["10693", "10694"], "item_4_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "1995-12-21", "bibliographicIssueDateType": "Issued"}, "bibliographicPageEnd": "118", "bibliographicPageStart": "99", "bibliographicVolumeNumber": "20", "bibliographic_titles": [{"bibliographic_title": "Research reports of the Faculty of Engineering, Mie University"}]}]}, "item_4_description_14": {"attribute_name": "フォーマット", "attribute_value_mlt": [{"subitem_description": "application/pdf", "subitem_description_type": "Other"}]}, "item_4_description_4": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "A term rewriting system (TRS) is said to be simple-right-linear if for any rewrite rule, the right-hand-side term is linear and no variables occuring more than once in the left-hand-side occur in the right-hand-side. This paper shows that a simple-right-linear TRS is Church-ROsser (i.e., confluent) if it satisfies the following condition (called the sequence-normalizing property) : for any reduction sequence γ : M ←→ N of length n, there exists a reduction sequence δ : M ←→ N of length ≤ n such that no E-overlapping sequences occur in δ. Next, some sufficient conditions for this sequence-normalizing property are presented and shown to be a generalization of those for Church-Rosser obtained by two different approaches proposed in [Oyamaguchi, 1992] and [Toyama-Oyamaguchi, 1993].", "subitem_description_type": "Abstract"}]}, "item_4_publisher_30": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "Faculty of Engineering, Mie University"}]}, "item_4_source_id_7": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "0385-6208", "subitem_source_identifier_type": "PISSN"}]}, "item_4_source_id_9": {"attribute_name": "書誌レコードID", "attribute_value_mlt": [{"subitem_source_identifier": "AA00816341", "subitem_source_identifier_type": "NCID"}]}, "item_4_text_18": {"attribute_name": "その他のタイトル", "attribute_value_mlt": [{"subitem_text_language": "ja", "subitem_text_value": "E重なりのある単純右線形項書き換えシステムの合流性について"}]}, "item_4_text_65": {"attribute_name": "資源タイプ(三重大)", "attribute_value_mlt": [{"subitem_text_value": "Departmental Bulletin Paper / 紀要論文"}]}, "item_4_version_type_15": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_version_resource": "http://purl.org/coar/version/c_970fb48d4fbd8a85", "subitem_version_type": "VoR"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "Oyamaguchi, Michio", "creatorNameLang": "en"}, {"creatorName": "大山口, 通夫", "creatorNameLang": "ja"}], "nameIdentifiers": [{"nameIdentifier": "10693", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Toyama, Yoshihito", "creatorNameLang": "en"}, {"creatorName": "外山, 芳人", "creatorNameLang": "ja"}], "nameIdentifiers": [{"nameIdentifier": "10694", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2017-02-18"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "AA008163410200010.PDF", "filesize": [{"value": "1.3 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 1300000.0, "url": {"label": "AA008163410200010.PDF", "url": "https://mie-u.repo.nii.ac.jp/record/4993/files/AA008163410200010.PDF"}, "version_id": "888ae369-f872-460c-8c0a-184f25381a7a"}]}, "item_keyword": {"attribute_name": "キーワード", "attribute_value_mlt": [{"subitem_subject": "term-reweiting system", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Church-Rosser", "subitem_subject_scheme": "Other"}, {"subitem_subject": "confluence", "subitem_subject_scheme": "Other"}, {"subitem_subject": "nonlinear TRS", "subitem_subject_scheme": "Other"}, {"subitem_subject": "nonterminating TRS", "subitem_subject_scheme": "Other"}, {"subitem_subject": "E-overlapping", "subitem_subject_scheme": "Other"}, {"subitem_subject": "simple-right-linear", "subitem_subject_scheme": "Other"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "departmental bulletin paper", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "On the Church-Rosser Property of E-overlapping and Simple-Right-Linear TRS\u0027s", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "On the Church-Rosser Property of E-overlapping and Simple-Right-Linear TRS\u0027s", "subitem_title_language": "en"}]}, "item_type_id": "4", "owner": "13", "path": ["388"], "permalink_uri": "http://hdl.handle.net/10076/4030", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2007-07-02"}, "publish_date": "2007-07-02", "publish_status": "0", "recid": "4993", "relation": {}, "relation_version_is_last": true, "title": ["On the Church-Rosser Property of E-overlapping and Simple-Right-Linear TRS\u0027s"], "weko_shared_id": -1}
On the Church-Rosser Property of E-overlapping and Simple-Right-Linear TRS's
http://hdl.handle.net/10076/4030
http://hdl.handle.net/10076/40301441c070-8c30-4647-8546-e893ab96c4da
名前 / ファイル | ライセンス | アクション |
---|---|---|
AA008163410200010.PDF (1.3 MB)
|
|
Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2007-07-02 | |||||
タイトル | ||||||
言語 | en | |||||
タイトル | On the Church-Rosser Property of E-overlapping and Simple-Right-Linear TRS's | |||||
言語 | ||||||
言語 | eng | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | term-reweiting system | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | Church-Rosser | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | confluence | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | nonlinear TRS | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | nonterminating TRS | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | E-overlapping | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | simple-right-linear | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
資源タイプ | departmental bulletin paper | |||||
著者 |
大山口, 通夫
× 大山口, 通夫× 外山, 芳人 |
|||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | A term rewriting system (TRS) is said to be simple-right-linear if for any rewrite rule, the right-hand-side term is linear and no variables occuring more than once in the left-hand-side occur in the right-hand-side. This paper shows that a simple-right-linear TRS is Church-ROsser (i.e., confluent) if it satisfies the following condition (called the sequence-normalizing property) : for any reduction sequence γ : M ←→ N of length n, there exists a reduction sequence δ : M ←→ N of length ≤ n such that no E-overlapping sequences occur in δ. Next, some sufficient conditions for this sequence-normalizing property are presented and shown to be a generalization of those for Church-Rosser obtained by two different approaches proposed in [Oyamaguchi, 1992] and [Toyama-Oyamaguchi, 1993]. | |||||
書誌情報 |
Research reports of the Faculty of Engineering, Mie University 巻 20, p. 99-118, 発行日 1995-12-21 |
|||||
ISSN | ||||||
収録物識別子タイプ | PISSN | |||||
収録物識別子 | 0385-6208 | |||||
書誌レコードID | ||||||
収録物識別子タイプ | NCID | |||||
収録物識別子 | AA00816341 | |||||
フォーマット | ||||||
内容記述タイプ | Other | |||||
内容記述 | application/pdf | |||||
著者版フラグ | ||||||
出版タイプ | VoR | |||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
その他のタイトル | ||||||
ja | ||||||
E重なりのある単純右線形項書き換えシステムの合流性について | ||||||
出版者 | ||||||
出版者 | Faculty of Engineering, Mie University | |||||
資源タイプ(三重大) | ||||||
Departmental Bulletin Paper / 紀要論文 |