xAy xvy
dimana Av dan x, v, y(V T )* .
“Context-sensitive” merujuk kepada fakta bahwa modifikasi
string yang sebenarnya diberikan oleh A v, sementara x
dan y merujuk pada context dimana aturan yang akan
diterapkan.
Definisi 2: Sebuah context-sensitive grammar adalah sebuah tata
bahasa yang menghasilkan semua bentuk
Jadi, untuk setiap string w , kita dapat menset sebuah batasan jumlah tahapan
turunan yang dibutuhkan untuk membangkitkan w, yang menghasilkan sejumlah
batasan turunan yang mungkin. String w adalah sebuah bahasa jika dan hanya
jikan salah satu dari batasan tersebut menghasilkan w.
Hierarki Bahasa
Unrestricted Grammar
Grammar dalam hierarki Chomsky memiliki aturan produksi dalam
Bentuk a b
dimana a dan b adalah representasi string dari simbol grammar symbols,
dengan a .
Tipe-tipe grammar ini dikenal sebagai “Unrestricted grammars”.
Notasi 4-tuplen G = (V,T, P, S ) yang digunakan untuk unrestricted
grammars juga berarti
L(G) = {w | w berada dalam T * dan S w}
Tipe Data: Tipe data yang didukung hanya bilangan Natural 0, 1, 2, 3,.........
Tetatp jumlah angkanya sangat besar.
Bentuk normal Chomsky (Chomsky Normal Form, CNF) adalah grammar bebas
konteks (CFG) dengan setiap produksinya berbentuk : A → BC atau A → a.
Transformasi CFG ke CNF adalah trnasformasi berikut :
1. Grammar G1 dengan
Q1 = { S aB, B bB, B b}.
Ruas kiri semua produksinya terdiri dari sebuah V N maka G1
kemungkinan tipe CFG atau RG. Selanjutnya karena semua ruas kanannya terdiri
dari sebuah VT atau string VT VN maka G1 adalah RG