Dokumen ini membahas tentang program parser untuk logika proposisional yang dikerjakan oleh kelompok mahasiswa. Program ini dibuat dengan bahasa C++ dan berjalan di Windows untuk memeriksa string input dan menghasilkan tokennya, serta validitas dari string logika yang diinputkan.

1. Simple Parser
ForPropositional
Logic Formula

2. 2Anggota Kelompok
Hermawan Wiwit N Maula Ilma AghniaDani Agung Prastiyo Fernanda Sukma W

3. 3Spesifikasi Program
Bahasa 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.

4. 4
Gambar STD

5. 5bel Transisi
1 a n d i f x o r t h e 9 10 Ꜫ
A B F C {} N {} K I {} Q {} {} U V {}
B {} {} {} {} {} {} {} {} {} {} {} {} {} {} A
C {} {} {} {} {} {} {} D {} {} {} {} {} {} {}
D {} {} {} {} {} {} {} {} {} E {} {} {} {} {}
E {} {} {} {} {} {} {} {} {} {} {} {} {} {} A
F {} {} G {} {} {} {} {} {} {} {} {} {} {} {}
G {} {} {} H {} {} {} {} {} {} {} {} {} {} {}
H {} {} {} {} {} {} {} {} {} {} {} {} {} {} A
I {} {} {} {} {} {} {} {} J {} {} {} {} {} {}
J {} {} {} {} {} {} {} {} {} {} {} {} {} {} A
K {} {} {} {} {} {} {} L {} {} {} {} {} {} {}
L {} {} {} {} {} {} {} {} M {} {} {} {} {} {}
M {} {} {} {} {} {} {} {} {} {} {} {} {} {} A
N {} {} {} {} {} O {} {} {} {} {} {} {} {} {}
O {} {} {} {} {} P {} {} {} {} {} {} {} {} A
P {} {} {} {} {} {} {} {} {} {} {} {} {} {} A
Q {} {} {} {} {} {} {} {} {} {} R {} {} {} {}
R {} {} {} {} {} {} {} {} {} {} {} S {} {} {}
S {} {} T {} {} {} {} {} {} {} {} {} {} {} {}
T {} {} {} {} {} {} {} {} {} {} {} {} {} {} A
U {} {} {} {} {} {} {} {} {} {} {} {} {} {} A
V {} {} {} {} {} {} {} {} {} {} {} {} {} {} A

6. 6efinisi STD

7. 7
Rancangan CFG dan PDA

8. 8
Cara Kerja Program
Setiap 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. 9

10. 10Pengujian Program
Input Output Program Keterangan
p and q Valid Sesuai
p or q Valid Sesuai
r xor s Valid Sesuai
If r then p Valid Sesuai
If ( not r ) then s Valid Sesuai
Iff s Tidak Valid Sesuai
p 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

11. Demo
Program
Tahap 1 dan 2

12. THANK YOU
Informatic Engineering ‘39-09