Aplikasi ini memvalidasi format kode pos Indonesia menggunakan konsep Deterministic Finite Automaton (DFA). Kode pos yang valid terdiri dari 5 digit angka dan digit pertama tidak boleh 0.
Lingkaran ganda pada q5 menandakan accepting state. Garis putus-putus menuju qtrap mewakili semua kondisi yang membuat input ditolak.
| State | Input 0 | Input 1-9 | Non-digit | Keterangan |
|---|---|---|---|---|
| q0 | qtrap | q1 | qtrap | digit awal tidak boleh 0 |
| q1 | q2 | q2 | qtrap | 1 digit terbaca |
| q2 | q3 | q3 | qtrap | 2 digit terbaca |
| q3 | q4 | q4 | qtrap | 3 digit terbaca |
| q4 | q5 | q5 | qtrap | 4 digit terbaca |
| q5 | qtrap | qtrap | qtrap | 5 digit lengkap (ACCEPT) |
| qtrap | qtrap | qtrap | qtrap | trap state |
Q = {q0, q1, q2, q3, q4, q5, qtrap}
Σ = {0,1,2,3,4,5,6,7,8,9}
q0 = state awal
F = {q5} (accepting state)