Validasi Nomor HP Indonesia,
divisualisasikan lewat mesin state
Automa mengimplementasikan Deterministic Finite Automaton (DFA) untuk memeriksa keabsahan format nomor telepon seluler Indonesia, digit demi digit, secara transparan dan real-time.
Validator Nomor HP
Masukkan nomor, sistem akan menjalankan DFA digit demi digit dan menampilkan hasilnya di bawah.
Proses Validasi Live
Menjalankan DFA…Diagram DFA Lengkap
16 state · 15 transisi · tanpa penyederhanaanLingkaran ganda menandai state akhir (Accept). Jalur yang menyala menunjukkan lintasan yang sedang/telah dilalui.
Tabel Transisi DFA
| State Asal | Input | State Tujuan | Keterangan |
|---|
Aturan Validasi Nomor HP Indonesia
Penjelasan Setiap State
Satu mesin state, satu keputusan pasti
Automa membaca nomor telepon sebagai rangkaian simbol yang diproses satu per satu oleh automaton berhingga. Tidak ada langkah tersembunyi — setiap perpindahan state ditentukan secara pasti oleh digit yang dibaca, sehingga hasil validasi selalu dapat dijelaskan dan dilacak ulang.
Dibangun untuk transparansi proses
Bukan sekadar valid/tidak — setiap keputusan bisa ditelusuri kembali ke state dan digit penyebabnya.
Validasi Deterministik
Setiap digit memicu tepat satu transisi. Tidak ada ambiguitas dalam menentukan status akhir nomor.
Visualisasi Real-time
Diagram DFA menyala mengikuti alur eksekusi, memperlihatkan tepat di mana proses berada saat ini.
Tabel & Aturan Lengkap
Tabel transisi, penjelasan tiap state, dan aturan format nomor HP Indonesia ditampilkan setelah validasi.
Proses Instan
Kompleksitas linear O(n) membuat validasi berjalan instan meski dianimasikan langkah demi langkah.
Normalisasi Otomatis
Prefiks internasional +62 / 62 dikonversi ke format lokal sebelum diproses DFA.
Antarmuka Bersih
Halaman awal berfokus pada input — diagram hanya tampil saat dibutuhkan, tanpa ruang kosong yang mengganggu.
Cara kerja sistem
Empat tahap sederhana dari input hingga keputusan akhir.
Input Nomor
Pengguna memasukkan nomor telepon pada form validasi.
Normalisasi
Karakter non-digit dibuang, prefiks internasional dikonversi ke format lokal.
Eksekusi DFA
Setiap digit dibaca berurutan, memicu perpindahan antar state sesuai fungsi transisi.
Hasil Akhir
Nomor dinyatakan Valid jika berhenti tepat di state Accept, atau Tidak Valid jika sebaliknya.
Apa itu DFA?
Deterministic Finite Automaton (DFA) adalah model komputasi dalam teori bahasa formal yang terdiri dari sejumlah berhingga state, satu state awal, satu atau lebih state akhir, serta fungsi transisi yang memetakan pasangan (state, simbol input) ke tepat satu state tujuan.
Karena sifatnya yang deterministik, untuk setiap string input hanya ada satu lintasan eksekusi yang mungkin. Sifat inilah yang membuat DFA cocok digunakan untuk memeriksa apakah suatu nomor telepon mengikuti pola format yang telah ditetapkan.