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