1. Finit State Automata (FSA) FSA adalah Suatu mesin abstrak yang digunakan untuk merepresentasikan penyelesaian suatu persoalan dari suatu sistem diskrit. Finite State Automata merupakan suatu tool yang berguna untuk merancang sistem nyata. Gambar FSA Finite State Automata dinyatakan oleh pasangan 5 tuple Bentuk formal dari gambar FSA diatas adalah seperti berikut : M = ( Q, Σ, δ, S, F) Q = {q 0 , q 1 , q 2 , q 3 , q 4 , q 5 } Σ = {0, 1} S = { q 0 } F = { q 3 & q 4 } Jika dimasukan string berikut dari gambar FSA diatas tentukan apakah ditolak atau di terima ! adaua adauu addau adadu addaa audad Jawab 2. GRAMMAR Secara formal Grammer dinyatakan dengan 4-tuple atau G = ( V, T, P, S ) Kita tentukan bahasa formalnya. V = { S, A, B, D} T = { 0,1 } P = { S => 1A|S =>1B|S => 0S|A =>1A|A =>1|B =>1B|B=>0S|B=>1D|D=>0 } S = {S} Buka aplikasi JFLAP kemudian pilih Grammar, seperti pada gambar di bawah ini
