Simulator Finite State Machine (FSM) Online

Memahami Simulator FSM

Simulator ini membantu Anda memverifikasi perilaku mesin finite state deterministik (DFA) tanpa harus menulis kode. Anda mendefinisikan tabel transisi, lalu tool memproses input dan menunjukkan urutan status yang dilalui.

Contoh Kerja

Misalkan Anda memasukkan aturan berikut:

q0,0,q0
q0,1,q1
q1,0,q0
q1,1,q1

Dengan status awal q0 dan input 1011, simulasi menghasilkan jalur:

q0 -> q1 -> q0 -> q1 -> q1

Status akhir adalah q1. Tool tidak memiliki konsep status penerima; ia hanya mensimulasikan transisi yang diberikan.

Batasan dan Aturan

• Jumlah aturan harus antara 1 dan 200.
• Setiap pasangan status-simbol hanya boleh memiliki satu transisi; duplikat akan ditolak.
• Nama status tidak boleh mengandung koma, karena koma adalah pemisah struktural.
• Simbol input harus tepat satu karakter Unicode (satu titik kode).
• Tidak ada transisi epsilon, percabangan nondeterministik, atau minimasi.

FAQ

Bagaimana jika saya memasukkan aturan duplikat?

Tool akan menolak aturan duplikat dan menampilkan pesan kesalahan, bukan menimpa aturan lama. Ini mencegah ambiguitas.

Apa yang terjadi jika ada transisi yang hilang untuk suatu karakter?

Simulasi berhenti pada karakter tersebut dan menampilkan pesan kesalahan. Tool tidak melanjutkan ke karakter berikutnya.

Bisakah saya menggunakan simbol selain angka, seperti huruf atau emoji?

Ya, simbol input bisa berupa titik kode Unicode apa pun, termasuk emoji. Namun, karena antarmuka hanya mendukung karakter BMP, emoji seperti U+1F600 harus dimasukkan sebagai karakter sebenarnya jika didukung oleh editor Anda; jika tidak, gunakan representasi lain.