Sebuah CFG dikatakan benar-linear jika semua produksi adalah salah satu dari dua bentuk berikut ini: ==> WB (atau) A ==> w Teorema 1: Setiap benar-linear CFG menghasilkan bahasa biasa Teorema 2: Setiap bahasa biasa memiliki hak-linear tata bahasa Teorema 3: CFGs Kiri-linear juga mewakili RLS
Sedang diterjemahkan, harap tunggu..
