Studi Kasus Otomata · Teori Bahasa & Otomata

Implementasi Deterministic Finite Automata (DFA)
untuk Validasi Nomor Rekening Sederhana

No. Reg. DFA / 10 – DIGIT

Ketentuan & Definisi Formal

Otomata berikut memodelkan aturan penomoran rekening sederhana: tepat sepuluh digit, diawali angka bukan nol.

Q
{ q0, q1, q2, …, q9, q10, qtrap } — 12 state
Σ
{ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 }
q0
state awal, sebelum ada digit dibaca
F
{ q10 } — satu-satunya accepting state
δ
lihat diagram transisi & tabel di bawah

Diagram Transisi State

Diagram transisi DFA validasi nomor rekening start 1-9 0-9 0-9 0-9 0-9 0-9 0-9 0-9 0-9 0-9 0 0-9 0-9 / bukan digit q0 q1 q2 q3 q4 q5 q6 q7 q8 q9 q10 trap

Aturan Validitas

  1. Panjang input harus tepat 10 digit.
  2. Digit pertama tidak boleh 0 (kode bank/cabang).
  3. Digit ke-2 hingga ke-10 bebas 0–9.
  4. Karakter selain digit (huruf, spasi, simbol) langsung menuju state jebakan qtrap.

Buku Tabungan Digital

Masukkan nomor rekening untuk dijalankan melalui mesin DFA, digit demi digit.

Boleh diisi angka apa pun — mesin akan menunjukkan tepat di mana ia diterima atau ditolak.

Jejak transisi state akan muncul di sini setelah validasi dijalankan.