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

Uniquely Parallel Parsable Unification Grammars Tatabahasa Penyatuan Parsable Paralel yang Unik

Jia LEE, Kenichi MORITA

  • pandangan teks lengkap

    0

  • Petikan Ini

Ringkasan:

Tatabahasa penyatuan yang boleh dihuraikan secara unik (UPUG) ialah tatabahasa formal dengan ciri berikut: (1) penghuraian dilakukan tanpa menjejak ke belakang, dan (2) setiap simbol bukan terminal boleh mempunyai hujah, dan proses terbitan dan penghuraian mengiringi penyatuan istilah seperti dalam Prolog ( atau pengaturcaraan logik). Kami baru memperkenalkan tatabahasa penyatuan parsable parallel unik (UPPUG) dengan memanjangkan rangka kerja UPUG supaya penghuraian selari juga boleh dilakukan. Kami menunjukkan bahawa, dalam UPPUG, penghuraian boleh dilakukan tanpa berundur dalam kedua-dua kes pengurangan selari dan berurutan. Kami memberikan contoh UPPUG yang mana rentetan input yang diberikan boleh dihuraikan dalam bilangan langkah sublinear panjang input dengan pengurangan selari.

Jawatankuasa
IEICE TRANSACTIONS on Information Vol.E84-D No.1 pp.21-27
Tarikh penerbitan
2001/01/01
Diumumkan
ISSN dalam talian
DOI
Jenis Manuskrip
Special Section PAPER (Special Issue on Selected Papers from LA Symposium)
kategori

Pengarang

Kata kunci

Contents [show]