26
27
1
5/3/2020
28
29
2
5/3/2020
30
31
3
5/3/2020
32
Hirarki Chomsky
33
4
5/3/2020
• T a, dibaca: “T menghasilkan a”
• E T | T+E, dibaca: “E menghasilkan T atau E menghasilkan T+E”
bentuk pemendekan dari E T dan E T+E
• Tipe 0 / Natural Language: Abc De
• Tipe 1 / Context Free: B CDeFg, D BcDe (digunakan sebagai dasar pembentukan
suatu parser/proses analisis sintaksis, deskripsi formal dengan notasi BNF-Backus Normal
Form)
• Tipe 2 / Context Sensitive: Ab DeF, CD eF (aturan: || ||)
• Tipe 3 / Regular Language: A e, A efg, A efgH, C D
34
Pengantar
Matematika
35
5
5/3/2020
36
Operasi Himpunan
37
6
5/3/2020
38
Teori Pembuktian
• Prinsip induksi matematika merupakan cara yang berguna untuk melakukan pembuktian.
Langkah-langkahnya sebagai berikut.
• Tunjukkan hal itu berlaku untuk P0, disebut basic step.
• Tunjukkan hal itu berlaku untuk Pn+1, disebut induction step.
• Dapat ditarik kesimpulan hal itu berlaku untuk semua n.
• Misalkan, 20 + 21 + … + 2n = 2n+1 – 1, untuk semua n bilangan bulat positif, maka dapat
ditentukan:
• P0: untuk n = 0, maka 20 = 20+1 – 1 1 = 2 – 1 1 = 1 (terbukti)
• Pn+1: untuk n = k, maka 20 + 21 + … + 2k = 2k+1 – 1, akan dibuktikan n = k + 1 juga benar
= 2k+1 – 1 + 2k+1 = 2.2k+1 – 1 = 2k+1+1 – 1 = 2(k+1)+1 – 1 (terbukti)
39
7
5/3/2020
40
• Pada graph berarah, titik akhir dari sebuah busur akan menjadi titik awal
dari busur berikutnya.
• Sirkuit adalah lintasan yang memiliki simpul awal dan akhir yang sama.
• Panjang lintasan adalah banyaknya sisi yang dilalui lintasan tersebut.
• Suatu graph disebut terhubung jika untuk setiap pasang simpul x dan y ada
lintasan dari x ke y.
• Pada graph berarah dikatakan terhubung jika graph tidak berarah yang
dibentuk dari graph itu merupakan graph terhubung.
41
8
5/3/2020
42