Apakah ada cara untuk membedakan antara tata bahasa LL (k) dan LR (k)?

12

Saya baru-baru ini mempelajari tentang perancangan Compiler. Saya jadi tahu tentang dua jenis tata bahasa satu adalah tata bahasa LL dan lainnya adalah tata bahasa LR.

Kita juga tahu fakta bahwa setiap tata bahasa LL adalah LR yang tata bahasa LL adalah bagian yang tepat dari tata bahasa LR. Yang pertama digunakan dalam parsing top-down dan yang kedua digunakan dalam parsing bottom-up.

Tetapi adakah cara lain agar kita dapat mengatakan bahwa tata bahasa yang diberikan adalah LL atau LR?

— Deb
sumber

3

Bagaimana kalau menggunakan teknik kanonik untuk menghasilkan tabel dan dan memeriksa apakah mereka mengandung konflik? dan biasanya diperlakukan dalam buku teks standar tentang penguraian; yang dan teknik agak sulit untuk menemukan, tetapi juga terkenal.

L L (k)

$LL(k)$

L R (k)

$LR(k)$

L L (1)

$LL(1)$

L R (1)

$LR(1)$

L L (k)

$LL(k)$

L R (k)

$LR(k)$

— Alex ten Brink

@AlextenBrink Kedengarannya seolah-olah Anda bisa memberikan jawaban! (Selamat datang kembali, Anda ketinggalan!)

— Raphael

Menggunakan teknik kanonik untuk memeriksa apakah tata bahasa adalah LL atau LR benar tetapi jauh. Saya mencoba cara kecil untuk menemukan ini yang saya temukan dalam buku Compiler oleh Aho-Lam-Sethi-Ullman.

— Deb

11

$LL(k)$ Tata bahasa dan bagus bukan hanya karena mereka dapat diuraikan secara efisien, tetapi juga karena kita dapat memeriksa apakah tata bahasa adalah atau , dan karena kita dapat membuat tabel untuk mereka ( tabel parse digunakan untuk mengurai string input). Perhatikan bahwa untuk dua kelas ini, memiliki tabel parse segera memungkinkan Anda untuk memeriksa apakah tata bahasa di kelas, karena ini adalah jika dan hanya jika tabel tidak mengandung kesalahan. Juga, ya, ada kelas tata bahasa yang dapat kita parse secara efisien jika kita memiliki tabel parse, tetapi untuk itu kita tidak dapat membuat tabel jika ada. $LR(k)$ $LL(k)$ $LR(k)$

Buku teks tentang metode parsing akan mengajarkan Anda cara membuat tabel untuk metode dan mungkin juga untuk (meskipun lebih umum). Buku teks seperti Parsing Theory oleh Sippu dan Soisalon-Soininen juga memperlakukan generasi tabel parse untuk tata bahasa dan . $LL(1)$ $LR(1)$ $SLR(1)$ $LL(k)$ $LR(k)$

Sayangnya, untuk tata bahasa yang sangat aneh, tabel parse untuk dan (meskipun tidak untuk ) dapat meledak dan menjadi besar; mereka akan melakukan ini bahkan untuk tata bahasa normal jika cukup tinggi. Ada tes yang tersedia yang dapat memeriksa apakah tata bahasa adalah atau atau tidak yang berjalan dalam waktu polinomial (pembuatan tabel adalah eksponensial). Untuk detailnya, baca buku teks di atas. Perhatikan bahwa dalam banyak kasus, tabel berukuran cukup, sehingga tes tidak diperlukan. $LL(k)$ $LR(k)$ $LL(1)$ $k$ $LL(k)$ $LR(k)$

Jika Anda tidak ingin mencoba nilai untuk melihat apakah program Anda berfungsi, tetapi sebaliknya ingin komputer Anda mengetahui apakah ada nilai sehingga tata bahasa Anda adalah atau , Anda sayangnya kurang beruntung, karena ini tidak dapat dipastikan. Jika tata bahasa Anda adalah untuk beberapa , Anda dapat memutuskan apakah tata bahasa Anda adalah untuk beberapa , mungkin berbeda dari (lihat di sini untuk detailnya). $k$ $k$ $LL(k)$ $LR(k)$ $LR(k)$ $k$ $LL(c)$ $c$ $k$

— Alex ten Brink
sumber

Apakah Anda tahu di mana saya dapat menemukan rincian algoritma waktu polinomial untuk menguji apakah suatu bahasa LR (k) (selain membeli buku teks)?

— user541686

2

Kita harus memeriksa hanya bahwa tata bahasa adalah LL atau tidak karena setiap tata bahasa LL adalah LR yang LL adalah subset LR yang tepat. Jadi, jika tata bahasa adalah LL maka harus LR tetapi setiap LR bukan LL.

Tata bahasa G ada di LL iff setiap kali A-> C | D, kondisi berikut ini berlaku:

First (C) dan First (D) adalah himpunan terpisah.
Jika kosong di First (D), First (C) dan Follow (A) adalah set yang terpisah juga kosong di First (C).

— Deb
sumber