TBA4C3
TBA4C3
b. Simbol Non-Terminal
Simbol Non-terminal adalah symbol yang masih bisa diturunkan menjadi symbol
yang masih bisa diturunkan menjadi symbol terminal atau non-terminal lainnya.
Misalnya: A menghasilkan CD, maka A dapat diturunkan menjadi CD
2. Aturan Produksi
Dalam teori bahasa dan otomata, aturan produksi dapat dinyatakan dalam:
α → β.
Dibaca: α (ruas kiri) menghasilkan β (ruas kanan)
3. Hirarki Chomsky
Grammar
Grammar (tata bahasa) didefinisikan secara formal sebagai kumpulan dari
himpunan-himpunan variabel, simbol-simbol terminal, simbol awal, yang dibatasi oleh
aturan-aturan produksi.
Menurut Chmosky tata bahasa dibagi menjadi 4 tingkatan, yaitu:
1. Tipe 0 – Unrestricted Grammar
Aturan produksinya tidak memiliki batasan.
α → β.
Syarat dari tipe 0 – unrestricted grammar adalah:
- α adalah string terminal dan non-terminal dengan setidaknya 1 non-terminal
(harus ada minimal 1 simbol non-terminal di ruas kiri).
- α tidak boleh kosong.
- β adalah rangkaian simbol terminal dan non – terminal ( boleh ada simbol
terminal dan simbol non-terminal.
Polanya :
- α adalah (V+T)*V(V+T)*
- β adalah (V+T)*
Tipe 0 – Unrestricted Grammar ini juga menghasilkan bahasa yang dikenali oleh
mesinTuring dan bahasa ini juga dikenal dengan nama “Recursively Enumerable
languanges”.
Contoh penerapan :
S→AcaB (benar)
Bc → acB (benar)
CB → DB (benar)
2. Tipe 1 – Context Sensitive Grammar
Syaratnya:
Aturan produksinya sama dengan tipe 0 namun dibatasi dengan aturan |α| ≤ |β|
(jumlah simbol di ruas kiri harus lebih kecil atau sama dengan jumlah simbol
di ruas kanan).
Aturan S → ε diperbolehkan jika S tidak muncul pada ruas kanan setiap
aturan.
Menghasilkan bahasa yang dikenali oleh Linear Bound Automata
Polanya :
- |α| ≤ |β|
- α adalah (V+T)*V(V+T)*
- β adalah (V+T)*(V+T) (V+T)*
Contoh penerapan:
S→AB (benar)
AB → abcd (benar)
B → b (benar)
Contoh penerapan:
S→Xa (benar)
AB → a (benar)
B → aX (benar)
X → abc (benar)
X → ϵ (benar)
S→AB (benar)
A→a (benar)
B→b (benar)
Contoh penerapan:
X→ϵ (benar)
X → a’| aY(benar)
Y → b (benar)
S → abB (benar)
B → cd (benar)