PEMODELAN PERANGKAT LUNAK UNTUK
PENGERTIAN DETERMINISTIC FINITE
AUTOMATA DAN NON-DETERMINISTIC
FINITE AUTOMATA
Santa Meilisa; Ngarap Im Manik; Djunaidy Santoso
Universitas Bina Nusantara, Jl. Mawar Bukit Nusa Indah No. 106, Ciputat 15414, 021-7406519,meilisas33@yahoo.com
ABSTRACT
In the hierarchy of Chomsky language classes, language classes are the simplest class of regular languages . Regular languages can be precisely described using finite automata (FA). There are two types of finite automata, the deterministic finite automata (DFA) and the non-deterministic finite automata (NFA).In this study will be described about application program testing of deterministic finite automata transition diagram (DFA) and non-deterministic finite automata (NFA). This application is able to describe the transition diagram of DFA and NFA and can determine the string that input from the user is accepted or rejected with the main purpose is simplify the learning of language automata theory.Development of the system is started from the making of automata structure to the implementation of the algorithm in the manufacture and handling of automata transformations. The testing is done by looking at the system in dealing with the formation and transformation of finite automata. Obtained from testing the system is able to perform formation between automata and finite automata transformation. The results of performance testing found that the system is able to handle the formation and transformation of finite automata. The design of the application program will be conducted using the Java programming language is tested on eclipse IDE.
Keywords : Finite State Automata, DFA, NFA, Java, eclipse.
ABSTRAK
Dalam hierarki kelas-kelas bahasa Chomsky, kelas bahasa yang paling sederhana adalah kelas bahasa reguler. Bahasa reguler dapat dengan tepat dideskripsikan dengan menggunakan finite automata (FA). Terdapat dua jenis finite automata, yaitu deterministik finite automata (DFA) dan non-deterministik finite automata (NFA). Dalam penelitian ini akan dideskripsikan program aplikasi pengujian diagram transisi deterministik finite automata (DFA) dan non-deterministik finite automata (NFA). Aplikasi ini mampu menggambarkan transisi diagram DFA dan NFA serta dapat menentukan string yang diinput dari pengguna dapat diterima atau ditolak, dengan tujuan utama memudahkan dalam membantu pembelajaran teori bahasa automata. Pengembangan sistem dilakukan mulai dari pembuatan struktur automata hingga implementasi algoritma dalam pembuatan dan penanganan transformasi automata. Pengujian dilakukan dengan melihat sistem dalam menangani pembentukan dan transformasi finite automata. Dari pengujian didapatkan bahwa sistem mampu melakukan pembentukan automata dan melakukan transformasi diantara finite automata. Hasil dari pengujian performa didapatkan bahwa sistem mampu menangani pembentukan dan transformasi finite automata. Perancangan program aplikasi akan dilakukan dengan menggunakan bahasa pemrograman Java yang diuji cobakan pada IDE eclipse.
PENDAHULUAN
Dalam hierarki kelas-kelas bahasa menurut Chomsky, kelas bahasa yang paling sederhana adalah kelas bahasa reguler (regular languages). Bahasa reguler dapat dengan tepat dideskripsikan dengan menggunakan finite automata (FA); dengan kata lain bahasa yang dapat diterima oleh suatu finite automata adalah bahasa reguler.
Finite automata merupakan mesin abstrak yang berupa sistem model matematika dengan masukkan dan keluaran diskrit yang dapat mengenali bahasa paling sederhana (bahasa reguler) dan dapat diimplementasikan secara nyata dimana sistem dapat berada di salah satu dari sejumlah berhingga konfigurasi internal disebut state. Banyak model perangkat keras dan perangkat lunak yang menggunakan finite automata sebagai penerapannya. Beberapa contoh penerapan finite automata dalam perangat keras dan perangkat lunak adalah dalam perancangan dan pemantauan perilaku rangkaian digital, pemindaian dokumen teks dalam halaman web guna menemukan kesamaan kata, frase dan bentuk lain (Hopcroft et al., 2007).
Terdapat dua jenis finite automata, yaitu deterministik finite automata (DFA) dan non-deterministik finite automata (NFA). Perbedaan di antara kedua jenis finite automata tersebut terletak pada kontrol terhadap finite automata tersebut (Hopcroft et al., 2007). Deterministik finite automata (DFA) bersifat deterministik, yang berarti bahwa automata tersebut tidak dapat berada di lebih dari satu state pada saat yang bersamaan, sedangkan non-deterministik finite automata (NFA) bersifat non-deterministik, yang berarti bahwa automata tersebut dapat berada di beberapa state pada saat yang bersamaan atau dengan kata lain NFA dapat menebak di state mana dia berikutnya akan berada (Hopcroft et al., 2007).
Selain itu juga, untuk membantu mahasiswa dan dosen dalam hal pengujian DFA dan NFA maka dibuatlah sebuah compiler yang dapat menunjukkan perubahan suatu finite automata dari suatu bentuk representasi ke bentuk representasi yang lain.
Dalam menentukan topik, skripsi ini diambil referensi dari perancangan program sebelumnya yang telah dilakukan oleh Ignatius Giri Wardhana dengan judul “Finite State Automata Simulator (FAST) : Tool Untuk Simulasi dan Transformasi Finite State Automata” di Universitas Gajah Mada yang memiliki rumusan masalah yaitu mengembangkan suatu aplikasi yang dapat digunakan untuk merancang automata yang dapat menerima dan mengeluarkan output berupa file, menguji dan melakukan simulasi penerimaan atau penolakan string pada automata, melakukan transformasi di antara representasi finite automata, dan meminimalisasi automata secara menyatu dalam suatu aplikasi. Dalam penelitian ini, metode yang digunakan sama seperti penulis buat dan hasil penelitian yang dilakukan didapat bahwa sistem FAST dapat menerima masukan berupa file DFA, NFA dan -NFA, sistem ini juga telah berhasil melakukan proses pencocokan string pada ketiga finite automata tersebut serta melakukan transformasi dari NFA menjadi DFA yang ekuivalen dengan NFA awal dan melakukan minimisasi DFA pada DFA yang diketahui belum minimum menjadi DFA dengan state minimum yang ekuivalen dengan DFA awal dan sistem dapat menangani pembentukan file DFA, NFA random dan menangani subset construction dan minimisasi DFA hingga sejumlah seribu state.
Penelitian berikutnya yang bertopik sama yaitu penelitian yang dilakukan oleh Milan Kynzl yang berjudul “Simulation of Nondeterministic Finite Automata using Fail Function” di Czech Technical University, Prague. Penelitian ini memiliki masalah yaitu saat meneliti masalah mengenai pattern matching dapat dipecahkan dengan menggunakan teori finite automata. Akan tetapi, jika kita membuat NFA untuk memecahkan masalah, kita tidak bisa menggunakannya secara langsung karena NFA bersifat nondeterminism, yaitu ketika membaca input string, di beberapa state NFA ada lebih dari satu kemungkinan pada langkah selanjutnya.Dalam kasus tersebut, NFA memprediksi langkah yang benar dan menggunakannya. Tapi dalam prakteknya tidak mungkin untuk memilih cara yang benar hanya untuk mengetahui state yang sebenarnya dan simbol input. Metode yang dingunakan untuk memecahkan masalah yaitu dengan membandingkan dua metode yaitu metode depth first
search dan metode basic simulation. Hasil yang tercapai yaitu metode depth first search lebih unggul dalam hal
kompleksitas waktu dibandingkan dengan metode basic simulation, metode depth first search tidak sensitif pada panjang pola untuk teks input yang dipilih sedangkan metode basic simulation menciptakan visible
“steps” sebagai jumlah vektor bit yang diperlukan untuk mewakili state yang aktif.
Perbedaan dari kedua penelitian di atas yaitu bahwa dalam penelitian sebelumnya program aplikasi hanya mencakup mampu dalam melakukan pembentukan finite automata secara terbatas, seperti pada penelitian yang dilakukan oleh Ignatius Giri Wardhana yang hanya mencakup pembentukan finite automata random sesuai dengan keinginan pengguna dan melakukan transformasi NFA menjadi DFA dan minimisasi DFA
yang dilakukan pada inputan pengguna berdasarkan file yang sudah ditentukan yang kemudian mengeluarkan hasil/output yang juga berdasarkan file yang sudah ditentukan, tapi pada skripsi ini program dibuat dengan user interface sehingga pengguna mampu berinteraksi dengan sistem lebih mudah. Sedangkan untuk penelitian yang dilakukan oleh Milan Kynzl menjelaskan bagaimana NFA dapat menentukan pola yang cocok yang diujikan dengan membandingkan dua metode yang berbeda.
Adapun rumusan masalah yang harus dihadapi untuk diselesaikan yaitu apakah sistem mampu melakukan simulasi pada setiap pengujiannya dan diharapkan dapat sesuai dengan tujuan dan manfaat yang telah dibuat. Tujuan dari penelitian ini yaitu merancang model finite state automata, membuat perangkat lunak yang dapat menerima suatu input dan mengeluarkan output automata, membuat perangkat lunak yang dapat melakukan pemeriksaan apakah sebuah string masukan diterima oleh suatu representasi atau tidak, membuat perangkat lunak yang dapat melakukan transformasi representasi automata, dan supaya mahasiswa dapat lebih mengerti isi dari Teori Bahasa dan Automata, khususnya deterministik finite automata (DFA) dan non- deterministik finite automata (NFA) dan dapat mengembangkannya sehingga nilai mahasiswa menjadi lebih baik. Sedangkan manfaat dari penelitian ini dibagi menjadi tiga bagian yaitu : bagi peneliti : Dapat menghasilkan perangkat lunak yang dapat membantu pembelajaran mata kuliah teori bahasa dan otomata, dan dapat meningkatkan perkembangan studi finite state automata di Indonesia, dapat mengembangkan diri dalam hal isi dari Teori Bahasa dan Automata, khususnya deterministik finite automata (DFA) dan non-deterministik finite automata (NFA), bagi mahasiswa : Lebih mengerti dalam mengerjakan tugas-tugas, UTS, maupun UAS khususnya mengenai deterministik finite automata (DFA) dan non- deterministik finite automata (NFA), dan bagi dosen : Dapat mengembangkan soal-soal ujian dan tugas-tugas untuk mahasiswa.
Finite Automata
Definisi 1 Sebuah finite automata terdiri dari lima komponen (Q, Σ, δ, q0, F ), dimana :
1. Q adalah himpunan set berhingga yang disebut dengan himpunan states. 2. Σ adalah himpunan berhingga alfabet dari simbol masukan.
3. δ : Q × Σ adalah fungsi transisi, merupakan fungsi yang mengambil states dan alfabet input sebagai argumen dan menghasilkan sebuah state. Fungsi transisi sering dilambangkan dengan δ. 4. q0 ϵ Q adalah states awal.
5. F Q adalah himpunan states akhir.
Definisi 2 Hopcroft et al. (2007) Suatu finite automata M = (Q,Σ,δ,q0,F) akan menerima sebuah
string w jika kumpulan states r0r1 · · · rn dalam Q memenuhi tiga kondisi : 1. r0 = q0.
2. δ(ri, wi+1) = ri+1 untuk i = 0, · · · , n – 1. 3. rn ϵ F.
dengan w = w1w2...wn adalah string di mana masing-masing wi adalah anggota alphabet Σ.
Pada definisi 2 kondisi yang pertama dinyatakan bahwa suatu finite automata dimulai dari
start state. Pada kondisi yang kedua dinyatakan bahwa finite automata akan berpindah dari satu state
ke state yang lain berdasarkan fungsi transisi, dan kondisi yang ketiga menyatakan bahwa finite automata akan menerima string masukan apabila masukan tersebut berakhir pada final state. Dapat dinyatakan bahwa M mengenali bahasa A jika A = {w | M menerima w}.
Menyatakan suatu finite automata dengan menggunakan notasi 5-tuple akan sangat merepotkan. Cara yang lebih dianjurkan dalam menuliskan finite automata, yaitu dengan menggunakan :
1. Diagram transisi (transition diagram), yaitu berupa suatu graf.
2. Tabel transisi (transition table), yaitu daftar berbentuk tabel untuk fungsi δ, yang merupakan hubungan antara himpunan states dengan alfabet input.
Penyajian FA Menggunakan Diagram Transisi
Definisi 3 Diagram transisi untuk finite automata M = (Q, Σ, δ, q0, F ) adalah suatu graf yang didefinisikan sebagai berikut :
1. Terdapat simpul untuk setiap state Q.
2. Untuk setiap state q ϵ Q dan setiap simbol input a ∈ Σ, berlaku δ(q, a) = p. Diagram transisi memiliki busur berlabel a dari state q ke state p.
3. Terdapat anak panah berlabel start yang mengarah ke state awal q0 dan anak panah ini tidak berasal dari state manapun.
4. State yang merupakan state akhir (F) akan ditandai dengan lingkaran ganda, sedang state yang lain menggunakan lingkaran tunggal.
Contoh 1 Gambar 1 memperlihatkan diagram transisi dari sebuah finite automata.
Gambar 1 Diagram Transisi dari Suatu Finite Sutomata
Penyajian FA Menggunakan Tabel Transisi
Tabel transisi merupakan representasi tabular dari fungsi δ yang mengambil dua argumen dan menghasilkan suatu nilai. Baris pada tabel berkorespondensi dengan state dan kolom pada tabel berkorespondensi dengan input.
Contoh 2 Pada tabel 1 memperlihatkan tabel transisi dari finite automata yang diperlihatkan pada
Gambar 1
Tabel 1 Tabel Transisi FA pada Contoh 1
δ 0 1
q1 q1 q2
q2 q3 q2
q3 q1 q2
Tabel transisi pada contoh 2 memiliki arti :
1. Simbol pada kolom sebelah kiri adalah state.
2. Simbol pada baris paling atas adalah simbol masukan. 3. Simbol yang berada "‘dalam"’ tabel merupakan fungsi transisi.
4. Simbol panah (→) pada kolom sebelah kiri menunjukkan start simbol. 5. Simbol (*) pada kolom sebelah kiri menunjukkan state final.
Deterministik Finite Automata (DFA)
Contoh 3 Diketahui suatu DFA M = (Q, Σ, δ, q0, F ) dimana Q = {q0, q1, q2}, Σ = {0,1}, F = {q1}
Tabel 2 Tabel Transisi DFA yang Menerima Akhiran 01
δ 0 1
q0 q2 q0
q1 q1 q1
q2 q2 q1
Dari Tabel transisi 2 dapat dibuat suatu diagram transisi sesuai dengan Gambar 2 :
Gambar 2 Diagram Transisi DFA yang Menerima Akhiran 01
Contoh 4 Diberikan suatu DFA M seperti pada contoh M menerima string 000 dan 010.
Solusi: jalur komputasi dari string 000 adalah :
sehingga δ(q0, 000) ϵ F dan M menerima string 000.
Dengan cara yang sama dapat diketahui bahwa δ(q0, 010) = q3 ϵ F dan M menolak 010.
Non-deterministik Finite Automata (NFA)
Definisi 4Suatu non-deterministik finite automata (NFA) tersusun atas quintuple M = (K, Σ, δ, s, F ) dimana :
1. K adalah himpunan state, 2. Σ adalah alfabet,
3. s ϵ K adalah state awal, dan
4. δ adalah relasi transisi, di mana K × (Σ ϵ {e}) × K
Contoh 5 Diberikan suatu NFA M = ({q0, q1, q2, q3} , {0, 1} , δ, q0, {q3}) dengan tabel transisi
δ 0 1
q0 q1 ⊘
q1 q1 {q1, q2}
q2 ⊘ q3
q3 q3 q3
Jika x = 0111, maka dapat dilihat apakah x diterima oleh NFA M atau tidak dengan melakukan proses:
δ1({q0} , 0) = δ(q0, 0) = {q1}
δ1({q0} , 01) = δ1(δ1({q0} , 0), 1) = δ1({q1} , 1) = δ(q1, 1) = {q1, q2}
δ1({q0} , 0111) = δ1(δ1({q0} , 011), 1) = δ1({q1, q2, q3} , 1) = δ(q1, 1) ∪ δ(q2, 1) ∪ δ(q3,1) = {q1,q2} ∪ {q3} ∪ {q3} = {q1,q2,q3}
δ1({q0} , 0111) = {q1, q2, q3} dan memuat q3 yang merupakan anggota himpunan dari final state.
Oleh karena terdapat satu buah jalur komputasi dari initial state yang berakhir pada salah satu anggota himpunan final state F , maka dapat dikatakan bahwa x = 0111 diterima oleh NFA.
Dengan demikian, dapat dikatakan bahwa jika M adalah suatu NFA maka bahasa yang diterima oleh NFA dapat didefinisikan sebagai L(M ) = {x|δ1({q0} x) = P} dimana P memuat minimal satu buah anggota F (Kakde, 2002).
Transformasi NFA - DFA (Subset Construction)
Walaupun lebih mudah untuk dibangun, suatu NFA hanyalah mesin ideal yang tidak dapat dengan efisien diimplementasikan dalam kehidupan nyata karena mesin yang sesungguhnya hanya dapat mengikuti satu jalur komputasi pada saat yang bersamaan (Du dan Ko, 2001). Untuk itu diperlukan suatu prosedur yang dapat melakukan transformasi dari suatu NFA menjadi DFA yang ekuivalen dengan bahasa yang diterima NFA tersebut. Transformasi suatu NFA menjadi DFA dilakukan dengan melakukan simulasi semua jalur transisi yang mungkin pada NFA.
Suatu NFA memiliki n buah state maka DFA yang ekuivalen dengan NFA tersebut akan memiliki 2n state dengan state awal pada DFA tersebut merupakan subset {q0} dengan demikian, transformasi dari NFA menjadi DFA meliputi pencarian semua subset yang mungkin dari himpunan state dari NFA. (Kakde, 2002).
Ide dasar dari subset construction adalah bahwa masing-masing state pada DFA yang terbentuk berkorespondensi dengan himpunan state pada NFA. Terdapat kemungkinan bahwa jumlah state pada DFA yang terbentuk dari hasil subset construction adalah berjumlah eksponensial dari jumlah state dari NFA.
Contoh 6 Diketahui suatu NFA M = (Q,{0,1},δ,q0,F) dan diberikan Q = {q0, q1, q2, q3, q4, q5}, F =
{q3, q4} dan tabel transisi
δ 0 1 ǫ q0 {q0} {q0, q2} {q1} q1 {q5} {q2} − q2 {q3} − − q3 − − {q4} q4 {q3} − − q5 − {q4} −
Lihat Gambar 3 untuk mengetahui digram transisi NFA. akan dibentuk DFA M ′ yang ekuivalen dengan NFA M.
solusi: dapat dibentuk DFA M ′ dengan cara :
1. Buat Qϵ = ϵ − closure({q0}) sebagai initial state dan F ′
= ⊘ menjadi himpunan final state. Buat Q′ = {Qϵ}. Jika Qϵ ∩ F = ⊘ kemudian tambahkan Qϵ dalam F ′.
2. Ulangi langkah tersebut sampai ϵ′(Qx, a) didefinisikan untuk semua Qx ϵ Q′ dan semua a ϵ {0, 1}
:
a) Pilih Qx ϵ Q
′
dan a ϵ {0, 1} sedemikian hingga δ′(Qx, a) belum didefinisikan.
b) Buat Qxa = δ(Qx, a) c) Jika Qxa ϵ Q
′
tambahkan Qxa ke Q
′
dan tambahkan juga pada F ′ jika Qxa ∩ F = ⊘
Semua proses tersebut dapat dilihat pada tabel transisi
δ′ 0 1 Q = {q0, q1} {q0, q1, q5} {q0, q1,q2} Q0 = {q0, q1, q5} {q0, q1, q5} = Q0 {q0, q1,q2, q4} Q1 = {q0, q1, q2} {q0, q1, q3, q4, q5} {q0, q1,q2} = Q1 Q01 = {q0, q1, q2, q4} {q0, q1, q3, q4, q5} {q0, q1,q2} = Q1 Q10 = {q0, q1, q3, q4, q5} {q0, q1, q3, q4, q5} = Q10 {q0, q1, q2, q4} = Q01
Perlu dicatat bahwa pada langkah 2 tidak perlu mempertimbangkan states Q00, Q000, Q001 dan
yang lainnya karena Q00 = Q0, Q000 = Q00 = Q0 dan Q001 = Q01, dengan cara yang hampir sama dapat
diperoleh Q11 = Q1 tidak perlu memperhitungkan Q11W untuk sebarang W ϵ {0, 1} *
. Transisi diagram dari DFA M ′ ditunjukkan pada Gambar 4.
Gambar 4 DFA Hasil Subset Construction yang Ekuivalen
METODE PENELITIAN
Dalam penelitian ini metode yang digunakan meliputi :
Studi Pustaka
Penulis mencari sumber buku, artikel, dan literatur internet yang berhubungan dengan topik penelitian skripsi. Penulis kemudian mempelajari dan memahami materi tersebut sebagai penunjang dalam kaitannya dengan materi yang di pilih serta penelitian yang pernah dilakukan sebelumnya.
Metode Perancangan
Dalam proses perancangan program aplikasi ini, digunakan metode Waterfall yaitu dimulai dari tahap analisis, desain, kode, pengujian, dan pemeliharaan.
HASIL DAN BAHASAN
Program utama dari aplikasi pengujian ini terdiri dari 1 buah form dengan 5 modul, yaitu modul Menggambarkan Diagram Transisi DFA, modul Pengujian Inputan String DFA, modul Menggambarkan Diagram Transisi NFA, modul Pengujian Inputan String NFA, dan modul Transformasi NFA ke DFA.
TAMPILAN HASIL
Gambar 1 Rancangan Tampilan Untuk menggambarkan Diagram Transisi DFA
Modul ini akan muncul ketika program pertama kali dijalankan. Pada modul ini pengguna harus memilih automaton apakah pengguna ingin menggambarkan diagram transisi DFA atau NFA. Setelah memilih automaton, yang dalam hal ini pengguna memilih automaton DFA dan pengguna langsung dapat menggambar diagram transisinya.
Untuk Toolbar merupakan toolbar yang pertama kali digunakan oleh pengguna berfungsi untuk men-select selama pengguna menggambar diagram transisi DFA atau memilih menu instruksi yang dibutuhkan pengguna dalam menggambar diagram transisi atau melakukan pengujian string ataupun melakukan transformasi dari NFA ke DFA, sedangkan untuk toolbar digunakan untuk membuat state,
toolbar ini pada saat pertama kali dibuat, sistem akan menanyakan apakah nama dari state yang ingin dibuat
tersebut dan sekaligus dapat menentukan mana yang start state atau final state dengan mngklik kanan pada
mouse serta dapat menghapus state tersebut apabila sudah tidak digunakan lagi, dan untuk toolbar
digunakan untuk memberikan link antar state dan memberi nilai pada link tersebut. Link tersebut nantinya akan berguna sebagai pengujian string apakah string tersebut diterima atau tidak. String yang dimasukkan harus sesuai dengan nilai yang dibuat pada penggmabaran diagram transisi DFA atau NFA. Cara mengubahnya hanya dengan mengganti textedit pada Alphabet dengan nilai yang pengguna buat.
Gambar 2 Rancangan Tampilan Untuk Pengujian Inputan String Pada DFA
Pada gambar 2 di atas, setelah pengguna menggambar diagram transisi DFA, pengguna dapat melakukan pengujian inputan string dengan memasukkan inputan ke textbox string. Kemudian tekan tombol Run. Saat tombol Run ditekan, sistem akan memeriksa apakah string yang dimasukkan tersebut menuju ke final state. Jika menuju ke final state, maka string tersebut ACCEPTED, jika tidak menuju ke final state maka REJECTED.
Di sini juga pengguna dapat melihat hasil running secara langkah per langkah, yaitu dengan memilih menu Run -> Debug -> Debug One Step. Atau pengguna juga dapat melihat hasil running sekaligus melihat hasilnya, yaitu dengan memilih menu Run -> Debug -> Debug Proceed. Langkah-langkah yang dimaksud pada saat pengguna menjalankan instruksi Debug One Step atau Debug Proceed, sistem akan memberi garis merah pada link atau penghubung antar state bila string tidak menuju ke final state, sedangkan sistem akan memberi garis hijau bila string menuju ke final state. Saat sistem selesai melakukan instruksi tersebut, sistem akan mengeluarkan peringatan apakah string yang telah dimasukkan oleh pengguna tersebut dapat diterima atau ditolak.
Gambar 3 Rancangan Tampilan Untuk menggambarkan Diagram Transisi NFA
Pada gambar 3 di atas menunjukkan apabila pengguna memilih automaton NFA dan kemudian pengguna menggambarkan diagram transisi NFA sesuai dengan keinginan pengguna serta memiliki fungsi yang sama seperti yang telah dijelaskan pada gambar 1 di atas
Gambar 4 Rancangan Tampilan Untuk Pengujian Inputan String Pada NFA
Pada gambar 4 di atas, setelah pengguna menggambar diagram transisi NFA, kemudian pengguna dapat melakukan pengujian inputan string pada diagram transisi NFA yang dimasukkan sesuai dengan keinginan pengguna serta memiliki fungsi yang sama seperti yang telah dijelaskan pada gambar 2.
Gambar 5 Rancangan Tampilan Hasil Transformasi NFA ke DFA
PEMBAHASAN
Untuk mengevaluasi kinerja sistem apakah dapat melakukan pengujian dengan tepat atau tidak, akan dilakukan pencobaan dengan sampel automata yang sudah ada. Untuk tujuan pencobaan ini finite automata dibagi menjadi dua jenis, yaitu :
o Deterministik finite automata (DFA). Bersifat deterministik, yaitu setiap input alphabet/simbol dari suatu state hanya akan bertransisi ke satu state lain.
o Non-deterministik finite automata (NFA). Bersifat non-deterministik, yaitu setiap input alphabet/simbol dari suatu state mungkin akan bertransisi ke lebih dari satu state lain.
Tampilan keluaran dari hasil pengujian Deterministik finite automata yaitu didapat bahwa input string kata ababbabb adalah ACCEPTED yang dikarenakan string yang diinput menuju ke final state.
Sedangkan tampilan keluaran dari hasil pengujian non-deterministik finite automata yaitu didapat bahwa kata 100111 REJECTED, yang dikarenakan string yang diinput tidak menuju ke final state. Selain itu juga tampilan keluaran untuk hasil transformasi NFA ke DFA yaitu :
Tabel 1 Matriks Transisi DFA Hasil Transformasi NFA
State 0 1
A {AB} {A}
AB {ABC} {A}
BC {ABC} {A}
Gambar 6 Diagram Transisi DFA Hasil Transformasi NFA
SIMPULAN DAN SARAN
Dari analisis dan pengujian terhadap beberapa sampel teori bahasa dan automata, dapat disimpulkan bahwa program pengujian dapat memberikan hasil yang sesuai dengan bila dikerjakan secara manual. Waktu kerja yang dibutuhkan program dalam memberikan hasil pengujian sangat singkat, sehingga jauh lebih efisien bila dibandingkan dengan pengujian secara manual. Program telah diuji dengan beberapa sampel automata yang memiliki jumlah state yang bervariasi, dan tidak ditemukan peningkatan waktu yang kasat dalam waktu proses program. Ukuran file program kecil dan algoritma program dirancang dengan algoritma-algoritma dasar yang tidak kompleks, sehingga tidak membutuhkan spesifikasi komputer yang tinggi untuk menjalankan program. Program dinilai dapat memenuhi tujuannya untuk memudahkan pengguna dalam memahami teori bahasa dan automata, khususnya mengenai deterministik finite automata (DFA) dan non-deterministik finite automata (NFA).
REFERENSI
Ding-Zhu, Du., dan Ko, K-I. (2001). Problem Solving in Automata, Languages, and Complexity. John Wiley and Son, Inc. ISBN 0-471-22464-2.
Hopcroft, J E., Motwani, R., dan Ullman, J D. (2007). Introduction to Automata Theory, Languages and
Computation. Pearson Addison-Wesley, Upper Saddle River, NJ, 3. edition, 2007. ISBN 978-0-321-51448-6.
Kakde, O.G. (2002). Algorithms for Compiler Design. Charles River Media, Inc. ISBN 1-58450-100-6.
Milan Kynzl. (2006). Simulation of Nondeterministic Finite Automata using Fail Function. Disertasi tidak diterbitkan. Prague:Faculty of Electrical Engineering, Czech Technical University.
RIWAYAT PENULIS
Santa Meilisa lahir di kota Padang pada 29 Mei 1989. Penulis menamatkan pendidikan S1 di Universitas Bina Nusantara dalam bidang Teknik Informatika dan Matematika pada 2012. Penulis aktif di humas sebagai tim kreatif.
