Core Jurusan Teknik Informatika Kode MK/SKS : TIF 01 0 2 05/2 TEKNIK PARSING Core Jurusan Teknik Informatika Kode MK/SKS : TIF 01 0 2 05/2 31/12/2011 Revisi 03 Logika Informatika

Revisi 03 Logika Informatika TEKNIK PARSING Teknik menjabarkan suatu pernyataan menjadi proposisi proposisi atomik sehingga tidak bisa dijabarkan (dipecahkan) lagi. 31/12/2011 Revisi 03 Logika Informatika

CARA MENYEDERHANAKAN DENGAN TEKNIK PARSING SKEMA (Schemas) PARSE TREE 31/12/2011 Revisi 03 Logika Informatika

Revisi 03 Logika Informatika SKEMA Cara untuk menyederhanakan suatu proposisi majemuk yang rumit dengan memberi huruf tertentu untuk menggantikan satu subekspresi. Skema menggunakan konsep Well-Formed Formulae (wff) 31/12/2011 Revisi 03 Logika Informatika

Revisi 03 Logika Informatika WELL FORM FORMULAE Memiliki proposisi majemuk : minimum satu perangkai (operator) dengan lebih dari satu variabel proposisional. Memiliki fpe (fully parenthesized expression) : Proposisi – proposisi dengan perangkai – perangkai yang berada di dalam tanda kurung. 31/12/2011 Revisi 03 Logika Informatika

Revisi 03 Logika Informatika CONTOH SKEMA Jika Dewi rajin belajar maka ia lulus ujian serta mendapatkan hadiah istimewa. Dari kalkulus proposisi di atas, buatlah ekspresi logika nya. 31/12/2011 Revisi 03 Logika Informatika

Revisi 03 Logika Informatika MenentukanVariabel–Variabel Proposisional nya terlebih dahulu: A= Dewi rajin belajar B= Dewi lulus ujian C= Dewi mendapat hadiah istimewa 31/12/2011 Revisi 03 Logika Informatika

Revisi 03 Logika Informatika Pernyataan “Dewi lulus ujian” dan “Dewi mendapat hadiah istimewa” merupakan akibat dari “Dewi rajin belajar”. Sehingga Ekspresi Logika nya: A  ( B  C ) 31/12/2011 Revisi 03 Logika Informatika

Revisi 03 Logika Informatika CONTOH SKEMA (P  Q) skop kiri perangkai utama skop kanan (( A  B )  ( A V B )) 31/12/2011 Revisi 03 Logika Informatika

Revisi 03 Logika Informatika PARSE TREE Teknik memisah-misahkan pernyataan menjadi proposisi atomik dalam bentuk pohon. 31/12/2011 Revisi 03 Logika Informatika

Revisi 03 Logika Informatika CONTOH PARSE TREE Jika Dewi lulus sarjana, orang tuanya akan senang, dan dia dapat segera bekerja, tetapi jika dia tidak lulus, semua usahanya akan sia-sia. 31/12/2011 Revisi 03 Logika Informatika

PENYELESAIAN PARSE TREE 1.1 Jika Dewi lulus sarjana, orang tuanya akan senang, dan dia dapat segera bekerja. dengan 1.2 Jika dia tidak lulus, semua usahanya akan sia-sia. 31/12/2011 Revisi 03 Logika Informatika

PENYELESAIAN PARSE TREE 1.1.1 Jika Dewi lulus sarjana dengan 1.1.2 Orang tuanya akan senang, dan dia dapat segera bekerja. 31/12/2011 Revisi 03 Logika Informatika

Revisi 03 Logika Informatika PENYELESAIAN 1.1.2.1 Orang tuanya akan senang, dengan 1.1.2.2 Dia dapat segera bekerja. 31/12/2011 Revisi 03 Logika Informatika

Revisi 03 Logika Informatika PENYELESAIAN 1.2.1 Dia tidak lulus dengan 1.2.2 Semua usahanya akan sia-sia 31/12/2011 Revisi 03 Logika Informatika

Revisi 03 Logika Informatika PENYELESAIAN PARSE TREE 1 1.1 1.2 1.1.1 1.1.2 1.2.1 1.2.2 1.1.2.1 1.1.2.2 31/12/2011 Revisi 03 Logika Informatika