Ganti parsing - pecahkan pertanyaan


10

Saya baru-baru ini menemukan makalah yang menggambarkan teknik parsing yang disebutkan dalam judul. Sayangnya, terminologi yang digunakan dalam makalah tersebut agak di luar pemahaman saya, jadi saya telah berusaha memahami algoritma konstruksi lebih intuitif. Saya percaya saya berhasil ( presentasi ini adalah sumber dari momen ah-ha), tetapi verifikasi kebenaran dari seseorang yang akrab dengan teknik atau terminologi yang terkandung di dalamnya akan sangat dihargai.

Saya akan menjelaskan bagaimana saya mengambil solusinya (jika itu benar, saya yakin ini bisa membantu orang lain yang mencoba memahami teknik ini) dan mengajukan pertanyaan tambahan sesudahnya. Untuk memastikan tidak ada kesalahpahaman, saya akan menggunakan notasi standar berikut: , , , dan, seperti di koran, untuk menunjukkan aturan nomor . Namun, saya mungkin akan menggunakan nama yang berbeda untuk konsep daripada makalah aslinya.A , B , C , . . . N . . . X , Y , Z N T α , β , γ , . . . { N T } A i ω iSebuah,b,c,...TSEBUAH,B,C,...N...X,Y,ZNTα,β,γ,...{NT}SEBUAHsayaωsaya

Selain itu, sepanjang deskripsi, relasi ekivalensi digunakan.κ0

Konstruksi

Ada dua jenis item di dalam parsing automaton: LR sederhana (0) item dari bentuk yang saya sebut item pergeseran dan item dari bentuk yang saya sebut item penyelesaian ; ini memberi tahu parser untuk menekan simbol kembali ke input stream dan kemudian mengurangi dengan aturan nomor pada simbol pertama .SEBUAHsayaαβSEBUAHsayaαβ,m,nm βnmβ

Tata bahasanya ditambah dengan aturan dan konstruksi dimulai dengan item shift dalam kondisi awal.S 0S $S0S$S0S$

Sekarang, untuk membuat automaton, tentukan di antara alternatif ini untuk setiap item dalam keadaan :q

  1. Jika item tersebut adalah item shift , akan ada transisi dalam otomaton, di mana adalah simbol pertama .q X q X βSEBUAHsayaαβqXqXβ

  2. Jika item tersebut adalah item shift jadi , tambahkan item tekad untuk setiap aturan .B j α A β , i , 0 B j α A βSEBUAHsayaωBjαSEBUAHβ,saya,0BjαSEBUAHβ

  3. Jika item tersebut adalah item penyelesaian , misalkan menjadi simbol pertama dari . Jika , tambahkan item shift untuk setiap aturan . Jika item selain memiliki sebagai dot lookahead mereka, tambahkan transisi ke otomaton. Setiap item penyelesaian di akan menghasilkan item penyelesaian inX β X N X jω X j ω A i α β , m , n X q X q SEBUAHsayaαβ,m,nXβXNXjωXjωSEBUAHsayaαβ,m,nXqXqq C i α X β , mCsayaαXβ,m,nqq CsayaαXβ,m,n+1q .

  4. Jika item tersebut adalah item tekad itu tidak akan menyumbangkan informasi lookahead apa pun dan dapat dibuang, tetapi pertama-tama tambahkan item tekad untuk setiap aturan .SEBUAHsayaω,m,nBjαSEBUAHβ,m,nBjαSEBUAHβ

Ini, tentu saja, hanya sebuah sketsa; sebenarnya, penutupan negara harus dihitung dulu dan baru setelah itu kita bisa berurusan dengan transisi / perubahan dan resolusi.

Mengubah otomat menjadi tabel parsing shift-resolve sepele setelahnya; hanya, sebagai variasi kecil, penulis makalah menafsirkan resolusi sebagai tindakan menerima. Mengingat hasil otomatisnya, saya merasa lebih mudah memperlakukan pergeseran sebagai tindakan penerimaan.r0,0$

Pertanyaan

Yang pertama adalah, jelas, apakah proses yang dijelaskan di atas benar.

Yang kedua adalah tentang hubungan ekivalensi. Saya hanya bisa menebak bahwa relasi ekivalensi adalah yang bertanggung jawab untuk memutuskan item penyelesaian yang dibawa ketika item shift selesai telah terlihat. tampaknya menghasilkan lookahead yang sangat mirip dengan dari parser LSLR. Makalah ini menjelaskan "hubungan kesetaraan yang lebih baik" di halaman 11; adakah cara untuk menafsirkan hubungan ini dalam istilah intuitif? Apakah ada hubungan lain yang diketahui?κκ0FHAIL.L.HAIWL.M.

Dan yang terakhir adalah tentang resolusi konflik. Makalah ini menjelaskan dengan baik apa yang merupakan ketidakmampuan dalam otomat penyelesaian-perubahan; Adakah cara untuk menyelesaikan kekurangan ini, mirip dengan cara menyelesaikan konflik dalam parser LR tradisional? Bisakah sesuatu seperti resolusi konflik gaya- yacc melalui presedensi dan asosiatif diimplementasikan dalam generator parser ShRe?

Terima kasih jika Anda membaca semua ini dan jawaban apa pun akan sangat dihargai :)


sarankan agar migrasi pertanyaan ini ke cstheory. Adapun makalah, tampaknya menjadi algoritma yang sangat kompleks yang "mungkin" (?) belum diimplementasikan oleh siapa pun. ide utama tampaknya untuk menggabungkan lookahead sewenang-wenang tetapi juga dengan penguraian waktu linier ...? tetapi berapa banyak aplikasi akan baik-baik saja dengan algoritma yang lebih sederhana, lebih standar, superlinear? ada ide, aplikasi apa yang akan bekerja lebih baik dengan pendekatan ini? Anda punya satu atau tahu satu?
vzn

1
Latihan teoretis yang sangat bagus (meskipun saya tidak melihat teknisnya). Mengingat bahwa kekuatan penuh LR (k) sering bahkan tidak digunakan, orang mungkin bertanya-tanya tentang dampak praktisnya. Saya melihat 2 masalah dengan jenis pekerjaan ini: (1) karena algoritma menjadi lebih kompleks, apakah masih mungkin bagi pikiran manusia untuk mengutak-atik tata bahasa dan memahami konsekuensinya, ketika itu terjadi tidak bekerja. Ini adalah fakta yang sering bahwa teknik yang sangat canggih sangat bermanfaat ketika mereka bekerja, tetapi membuat segalanya lebih buruk ketika mereka tidak melakukannya. (2) apakah linear dalam kasus ketika algoritma CF umum tidak linier.
babou

Jawaban:


Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.