{"created":"2022-01-13T00:45:05.881998+00:00","id":2001914,"links":{},"metadata":{"_buckets":{"deposit":"e8b0138e-8666-4a67-b0a2-7197ee309220"},"_deposit":{"created_by":17,"id":"2001914","owner":"17","owners":[17],"owners_ext":{"displayname":"図書情報係","username":"repository"},"pid":{"revision_id":0,"type":"depid","value":"2001914"},"status":"published"},"_oai":{"id":"oai:nagoya.repo.nii.ac.jp:02001914","sets":["312:313:314"]},"author_link":[],"control_number":"2001914","item_1615768549627":{"attribute_name":"出版タイプ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_ab4af688f83e57aa","subitem_version_type":"AM"}]},"item_1629683748249":{"attribute_name":"日付","attribute_value_mlt":[{"subitem_date_issued_datetime":"2023-08-01","subitem_date_issued_type":"Available"}]},"item_9_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2021-08","bibliographicIssueDateType":"Issued"},"bibliographicPageStart":"100688","bibliographicVolumeNumber":"122","bibliographic_titles":[{"bibliographic_title":"Journal of Logical and Algebraic Methods in Programming","bibliographic_titleLang":"en"}]}]},"item_9_description_4":{"attribute_name":"内容記述","attribute_value_mlt":[{"subitem_description":"In this paper, we propose a determinization method of inverted grammar programs by means of context-free expressions (CFEs, for short) which are straightforward extensions (so-called μ-regular expressions) of regular expressions to context-free languages. Grammar programs are context-free grammars that an inversion method proposed by Glück and Kawabe uses as intermediate results. We use deterministic conditional term rewrite systems (DCTRSs, for short) as source and target programs, and our method aims at transforming a given DCTRS into a non-overlapping DCTRS that is computationally equivalent to the given one. To this end, we first translate a grammar program into an equivalent context-free expression. Then, by using some equalities of expressions, we transform the expression to a desired form. Finally, we translate the resulting expression back into an equivalent grammar program that can be translated back into a non-overlapping DCTRS.","subitem_description_language":"en","subitem_description_type":"Abstract"}]},"item_9_publisher_32":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"Elsevier","subitem_publisher_language":"en"}]},"item_9_relation_43":{"attribute_name":"関連情報","attribute_value_mlt":[{"subitem_relation_type":"isVersionOf","subitem_relation_type_id":{"subitem_relation_type_id_text":"https://doi.org/10.1016/j.jlamp.2021.100688","subitem_relation_type_select":"DOI"}}]},"item_9_rights_12":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"© 2021. This manuscript version is made available under the CC-BY-NC-ND 4.0 license http://creativecommons.org/licenses/by-nc-nd/4.0/","subitem_rights_language":"en"}]},"item_9_source_id_7":{"attribute_name":"収録物識別子","attribute_value_mlt":[{"subitem_source_identifier":"2352-2208","subitem_source_identifier_type":"PISSN"}]},"item_access_right":{"attribute_name":"アクセス権","attribute_value_mlt":[{"subitem_access_right":"open access","subitem_access_right_uri":"http://purl.org/coar/access_right/c_abf2"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Nishida, Naoki","creatorNameLang":"en"}]},{"creatorNames":[{"creatorName":"Niwa, Minami","creatorNameLang":"en"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2023-08-01"}],"displaytype":"detail","filename":"Niwa-Nishida-20-jlamp.pdf","filesize":[{"value":"876 KB"}],"format":"application/pdf","mimetype":"application/pdf","url":{"objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/2001914/files/Niwa-Nishida-20-jlamp.pdf"},"version_id":"4ab0cb1f-9703-4c30-8ab5-85d9d1db1c1a"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"Program inversion","subitem_subject_scheme":"Other"},{"subitem_subject":"Term rewriting","subitem_subject_scheme":"Other"},{"subitem_subject":"Context-free grammar","subitem_subject_scheme":"Other"},{"subitem_subject":"Regular expression","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"journal article","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"Determinization of inverted grammar programs via context-free expressions","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Determinization of inverted grammar programs via context-free expressions","subitem_title_language":"en"}]},"item_type_id":"40001","owner":"17","path":["314"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2022-01-13"},"publish_date":"2022-01-13","publish_status":"0","recid":"2001914","relation_version_is_last":true,"title":["Determinization of inverted grammar programs via context-free expressions"],"weko_creator_id":"17","weko_shared_id":-1},"updated":"2023-08-03T00:46:51.542113+00:00"}