Simple Parser For Propositional Logic Formula
-
Upload
dani-agung-prastiyo -
Category
Software
-
view
39 -
download
1
Transcript of Simple Parser For Propositional Logic Formula
Simple Parser ForPropositional Logic Formula
2Anggota Kelompok
Hermawan Wiwit N
Maula Ilma Aghnia
Dani Agung Prastiyo
Fernanda Sukma W
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.
4Gambar STD
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
6Definisi STD
7Rancangan CFG dan PDA
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
9
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
Demo Program Tahap 1 dan 2
THANK YOUInformatic Engineering ‘39-09