UAS — Otomata & Teori Bahasa

Validasi Format NPWP Indonesia
dengan Deterministic Finite Automata

Aplikasi web yang mengimplementasikan konsep DFA untuk memvalidasi format Nomor Pokok Wajib Pajak (NPWP) Indonesia secara real-time, lengkap dengan visualisasi diagram transisi dan simulasi langkah-langkah automata.

📐

Definisi Formal DFA

M = (Q, Σ, δ, q₀, F)

Q (States)
Σ (Alphabet)
q₀ (Start State)
F (Accept States)
δ (Transisi)
Lihat tabel transisi di bawah
📋

Format NPWP yang Divalidasi

XX.XXX.XXX.X-XXX.XXX (20 karakter, 15 digit + 4 titik + 1 strip)

X
X
.
X
X
X
.
X
X
X
.
X
-
X
X
X
.
X
X
X
Digit (0-9) Titik (.) Strip (-)
🔀

Diagram Transisi DFA

Visualisasi state dan transisi automata — state aktif akan di-highlight saat simulasi

🔍

Validasi NPWP

Masukkan NPWP untuk divalidasi menggunakan DFA

Format: XX.XXX.XXX.X-XXX.XXX — titik dan strip akan ditambahkan otomatis

📑

Tabel Transisi δ (Delta)

Fungsi transisi lengkap: δ(state, input) → state tujuan