Mesin ini tidak menebak. Ia membaca NIK satu digit setiap saat, berpindah state
lewat fungsi transisi formal, dan hanya menerima string yang berhenti tepat di
ACCEPT. Ketik NIK di bawah dan lihat mesinnya bergerak secara langsung.
Input
✓ valid · laki-laki✓ valid · perempuan (tgl+40)✕ provinsi 00✕ bulan 32✕ nomor urut 0000