Fungsi carian sedang dalam pembinaan.
Fungsi carian sedang dalam pembinaan.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Decidability of Termination and Innermost Termination for Term Rewriting Systems with Right-Shallow Dependency Pairs Kebolehtetapan Penamatan dan Penamatan Terdalam untuk Sistem Penulisan Semula Istilah dengan Pasangan Ketergantungan Cetek Kanan

Keita UCHIYAMA, Masahiko SAKAI, Toshiki SAKABE

  • pandangan teks lengkap

    0

  • Petikan Ini

Ringkasan:

Dalam kertas kerja ini, kami menunjukkan bahawa penamatan dan sifat penamatan paling dalam boleh ditentukan untuk kelas sistem penulisan semula istilah (pendek kata TRS) yang kesemua pasangan kebergantungan adalah linear kanan dan cetek kanan. Kami juga menunjukkan bahawa penamatan paling dalam boleh ditentukan untuk kelas TRS yang semua pasangan kebergantungan adalah cetek. Pemerhatian utama yang biasa kepada kedua-dua kelas ini adalah seperti berikut: untuk setiap TRS dalam kelas, kita boleh membina, dengan menggunakan maklumat pasangan kebergantungan, satu set istilah terhingga supaya jika TRS tidak ditamatkan maka terdapat gelung turutan bermula dengan sebutan dalam set terhingga. Fakta ini diperoleh dengan mengubah suai analisis penyebaran hujah dalam pasangan kebergantungan cetek yang dicadangkan oleh Wang dan Sakai pada tahun 2006. Walau bagaimanapun, kami mendapat manfaat yang besar bahawa prosedur yang dihasilkan tidak memerlukan sebarang prosedur keputusan masalah kebolehcapaian yang digunakan dalam prosedur Wang untuk kes cetek, kerana kelas boleh diputuskan masalah kebolehcapaian yang diketahui tidak lebih besar daripada kelas yang dibincangkan dalam kertas ini.

Jawatankuasa
IEICE TRANSACTIONS on Information Vol.E93-D No.5 pp.953-962
Tarikh penerbitan
2010/05/01
Diumumkan
ISSN dalam talian
1745-1361
DOI
10.1587/transinf.E93.D.953
Jenis Manuskrip
Special Section PAPER (Special Section on Formal Approach)
kategori
Sistem Penulisan Semula Istilah

Pengarang

Kata kunci

Contents [show]