7/25/2019 KOMPUT1

1/2

Teori Komputasi, Catatan ke-1Review Grammar Chomsky dan Mesin-Mesin Pengenalnya

TipeGrammar

Nama Ciri Produksi

()Mesin Pengenal

tipe ke-0 Unrestricted

Grammar (UG)

(V NV T )+

(V NV T )*

Turing Machine (TM)

atau Mesin Turing

tipe ke- Conte!t "ensiti#eGrammar (C"G)

(V NV T )+

(V NV T )*

$inear %ounded &utomaton ($%&)(Varian dari Nondeterministik TM)

tipe ke-' Conte!t reeGrammar (CG)

V N(V NV T )*

Pusdon &utomaton (P&)

tipe ke-+ ,egular Grammar(,G)

V N

. salah satu dari . / V T V T VN

/ V T V N VT

inite &utomaton (&)

Beerapa Contoh Grammar dan Bahasa !ang "ihasilkannya Grammar RegularG (V N V T " 1) dimana .

V N 2 /" % C V T 2 /a 3 " 2 " 1 2 /" a"a% % 3C C aCa

Grammar G akan mem3angkitkan 3ahasa $ (G ) 2 /an

3 am

n m %ahasa $ ini ekui#alen dengan ekspresi regular r 2 a

+ 3 a + 2 aa*3aa*

Grammar Conte#t $reeG ' (V N V T " 1) dimana .

V N 2 /" & V T 2 /a 3 " 2 " 1 2 /" a&a &a&a3Grammar G ' akan menghasilkan 3ahasa $ ' (G ' ) 2 / a

n 3 a n n

Grammar Conte#t %ensitiveG + (V N V T " 1) dimana .

V N 2 /" % C V T 2 /a 3 c " 2 "1 2 /" a"%Ca3C 3% 33 3C 3c C% %C cC ccGrammar G + akan menghasilkan 3ahasa $ + (G + ) 2 /a

n 3 n c n n

Grammar &nrestri'tedG 4 (V N V T " 1) dimana .

V N 2 /" & % C 5 V T 2 /a " 2 "

1 2 /" &Ca% Ca aaC C% %5 a a & &C a5 5a &5

7/25/2019 KOMPUT1

2/2

Grammar G 4 akan menghasilkan 3ahasa $ 4 (G 4 ) 2 /a i i 2 'n n Mesin Penerima Bahasa $inite (utomata, penerima ahasa regular& . M(1 V T 6 0 6 & ) dimana .1 2 himpunan stata V T 2 himpunan sim3ol input 6 0 2 stata aal

. 1 V T 1 2 7ungsi transisi 6 & 2 stata penerimaUntuk $ (G ) 2 /a

n 3 a m n m r 2 a + 3 a + & 8ang 3ersesuaian adalah . a a

& . 6 0 6 6 ' 6 & a 3 39elaslah .

1 2 /6 0 6 6 ' 6 & a 3

V T 2 /a 3 6 0 6 6 0 2 6 0 6 6 6 '

6 & 2 6 & 6 ' 6 & terde7inisi melalui ta3el sim3ol 3erikut . 6 & 6 &

alam 3entuk 7lochart & di atas dapat digam3arkan s33: . a a

a 3 a 3start read read read read

3 3

accept

re;ect