simple parser for propositional logic formula
TRANSCRIPT
![Page 1: Simple Parser For Propositional Logic Formula](https://reader035.vdocuments.mx/reader035/viewer/2022081517/58ed25c31a28abd8558b460f/html5/thumbnails/1.jpg)
Simple Parser ForPropositional Logic Formula
![Page 2: Simple Parser For Propositional Logic Formula](https://reader035.vdocuments.mx/reader035/viewer/2022081517/58ed25c31a28abd8558b460f/html5/thumbnails/2.jpg)
2Anggota Kelompok
Hermawan Wiwit N
Maula Ilma Aghnia
Dani Agung Prastiyo
Fernanda Sukma W
![Page 3: Simple Parser For Propositional Logic Formula](https://reader035.vdocuments.mx/reader035/viewer/2022081517/58ed25c31a28abd8558b460f/html5/thumbnails/3.jpg)
3Spesifikasi ProgramBahasa pemograman yang digunakan adalah Bahasa pemograman C++ dan menggunakan tools Code::Block
Program ini berjalan di sistem operasi Windows dari Windows dan berbasis CLI (Command Line Interfaces)
Program tahap 1 merupakan program yang berfungsi untuk melakukan pengecekan string yang di inputkan lalu mengeluarkan output berupa tokennya.
Program tahap 2 merupakan lanjutan dari program tahap 1. Setelah mengecek kebenaran pembacaan token, lalu program mengecek valid atau tidaknya string lexic yang di inputkan.
![Page 4: Simple Parser For Propositional Logic Formula](https://reader035.vdocuments.mx/reader035/viewer/2022081517/58ed25c31a28abd8558b460f/html5/thumbnails/4.jpg)
4Gambar STD
![Page 5: Simple Parser For Propositional Logic Formula](https://reader035.vdocuments.mx/reader035/viewer/2022081517/58ed25c31a28abd8558b460f/html5/thumbnails/5.jpg)
5Tabel Transisi1 a n d i f x o r t h e 9 10 Ꜫ
A B F C {} N {} K I {} Q {} {} U V {}B {} {} {} {} {} {} {} {} {} {} {} {} {} {} AC {} {} {} {} {} {} {} D {} {} {} {} {} {} {}D {} {} {} {} {} {} {} {} {} E {} {} {} {} {}E {} {} {} {} {} {} {} {} {} {} {} {} {} {} AF {} {} G {} {} {} {} {} {} {} {} {} {} {} {}G {} {} {} H {} {} {} {} {} {} {} {} {} {} {}H {} {} {} {} {} {} {} {} {} {} {} {} {} {} AI {} {} {} {} {} {} {} {} J {} {} {} {} {} {}J {} {} {} {} {} {} {} {} {} {} {} {} {} {} AK {} {} {} {} {} {} {} L {} {} {} {} {} {} {}L {} {} {} {} {} {} {} {} M {} {} {} {} {} {}M {} {} {} {} {} {} {} {} {} {} {} {} {} {} AN {} {} {} {} {} O {} {} {} {} {} {} {} {} {}O {} {} {} {} {} P {} {} {} {} {} {} {} {} AP {} {} {} {} {} {} {} {} {} {} {} {} {} {} AQ {} {} {} {} {} {} {} {} {} {} R {} {} {} {}R {} {} {} {} {} {} {} {} {} {} {} S {} {} {}S {} {} T {} {} {} {} {} {} {} {} {} {} {} {}T {} {} {} {} {} {} {} {} {} {} {} {} {} {} AU {} {} {} {} {} {} {} {} {} {} {} {} {} {} AV {} {} {} {} {} {} {} {} {} {} {} {} {} {} A
![Page 6: Simple Parser For Propositional Logic Formula](https://reader035.vdocuments.mx/reader035/viewer/2022081517/58ed25c31a28abd8558b460f/html5/thumbnails/6.jpg)
6Definisi STD
![Page 7: Simple Parser For Propositional Logic Formula](https://reader035.vdocuments.mx/reader035/viewer/2022081517/58ed25c31a28abd8558b460f/html5/thumbnails/7.jpg)
7Rancangan CFG dan PDA
![Page 8: Simple Parser For Propositional Logic Formula](https://reader035.vdocuments.mx/reader035/viewer/2022081517/58ed25c31a28abd8558b460f/html5/thumbnails/8.jpg)
8Cara Kerja ProgramSetiap Mahasiswa bisa meminjam dan mengembalikan buku
Mahasiswa bisa meminjam buku maksimal sebanyak 2 buku
Setiap Mahasiswa mempunyai akun untuk login di sistem dengan menggunakan NIM dan Password
![Page 9: Simple Parser For Propositional Logic Formula](https://reader035.vdocuments.mx/reader035/viewer/2022081517/58ed25c31a28abd8558b460f/html5/thumbnails/9.jpg)
9
![Page 10: Simple Parser For Propositional Logic Formula](https://reader035.vdocuments.mx/reader035/viewer/2022081517/58ed25c31a28abd8558b460f/html5/thumbnails/10.jpg)
10Pengujian ProgramInput Output Program Keterangan
p and q Valid Sesuaip or q Valid Sesuair xor s Valid SesuaiIf r then p Valid SesuaiIf ( not r ) then s Valid SesuaiIff s Tidak Valid Sesuaip andd Tidak Valid Sesuai, karena tidak ada
token yang membaca andd melainkan hanya and saja
If ( p and q) then Tidak Valid Sesuai, karena tidak ada operand setelah then
![Page 11: Simple Parser For Propositional Logic Formula](https://reader035.vdocuments.mx/reader035/viewer/2022081517/58ed25c31a28abd8558b460f/html5/thumbnails/11.jpg)
Demo Program Tahap 1 dan 2
![Page 12: Simple Parser For Propositional Logic Formula](https://reader035.vdocuments.mx/reader035/viewer/2022081517/58ed25c31a28abd8558b460f/html5/thumbnails/12.jpg)
THANK YOUInformatic Engineering ‘39-09