Tentang Aplikasi

Memahami logika di balik validasi struktur Nomor Induk Mahasiswa menggunakan konsep Automata.

Konsep Dasar

Aplikasi ini merupakan implementasi nyata dari Deterministic Finite Automaton (DFA), sebuah model komputasi yang digunakan untuk merancang mesin state yang membaca string masukan dan memprosesnya berdasarkan aturan transisi yang kaku dan deterministik.

Cara Kerja DFA

Input Diterima

User memasukkan NIM. Sistem mengubah input menjadi string angka.

Pembacaan Karakter (State Transition)

Mesin DFA membaca setiap digit secara berurutan dari kiri ke kanan. Setiap digit yang dibaca akan memindahkan mesin dari satu state ke state berikutnya sesuai dengan fungsi transisi.

Validasi Karakter

Jika pada suatu state mesin menerima karakter yang tidak ada dalam fungsi transisinya, maka mesin akan langsung masuk ke state Reject (Ditolak).

Hasil Akhir (Final State)

Jika seluruh karakter selesai dibaca dan posisi mesin berada tepat pada Final State, maka string tersebut berstatus Accept (Valid).

Informasi Tambahan

Aplikasi ini dibangun untuk memenuhi tugas perkuliahan Teori Bahasa dan Automata, mendemonstrasikan bagaimana teori komputasi abstrak dapat diterapkan untuk memecahkan masalah validasi data di dunia nyata secara efisien dan andal tanpa menggunakan logika If-Else bersarang yang kompleks.

DFA sangat cepat dan membutuhkan memori yang kecil (O(N) time complexity, O(1) space complexity). Karena setiap transisi sudah ditentukan (deterministik), tidak ada keraguan kemana mesin akan melangkah selanjutnya, menjadikannya algoritma yang sempurna untuk memvalidasi pola string yang pasti seperti Nomor Induk Mahasiswa.