KOMPUT1
-
Upload
incef-no-kiiroi-senko -
Category
Documents
-
view
213 -
download
0
Transcript of KOMPUT1
-
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