Modul Inti

PDA HTML Tag Validator

Tempelkan kode HTML, lalu jalankan mesin Pushdown Automata untuk memeriksa keseimbangan struktur tag secara langkah demi langkah.

input.html
Hasil validasi akan muncul di sini setelah Anda menjalankan proses.
Jejak Simulasi PDA (Stack & State) step-by-step trace
# Token Aksi State Posisi Stack Setelah Aksi Keterangan

Contoh HTML

Klik salah satu contoh untuk memuatnya langsung ke editor.

Struktur Dasar Valid Valid

Dokumen HTML sederhana dengan tag yang tertutup rapi.

Valid dengan Void Element Valid

Menggunakan tag mandiri seperti <br>, <img>, dan <input> yang tidak memerlukan penutup.

Tag Tertukar (Mismatch) Tidak Valid

Urutan penutupan tag tertukar antara <p> dan <div>.

Tag Tidak Ditutup Tidak Valid

Tag <section> dibuka tetapi tidak pernah ditutup hingga akhir dokumen.

Tag Penutup Berlebih Tidak Valid

Terdapat tag penutup </span> tanpa tag pembuka yang sesuai.

Ingin tahu detail teorinya?

Baca definisi formal 7-tuple PDA, aturan transisi, dan batasan aplikasi secara lengkap di halaman Documentation.