Kenapa memvalidasi HTML dengan PDA?
Proyek ini dibuat sebagai Capstone Project untuk mata kuliah Teori Bahasa dan Otomata, dengan tujuan menerjemahkan konsep abstrak Pushdown Automata menjadi sesuatu yang dapat dilihat, dijalankan, dan dipahami secara langsung.
Latar Belakang
Struktur tag HTML pada dasarnya adalah contoh nyata dari bahasa bebas konteks (context-free language) — setiap tag pembuka harus memiliki pasangan tag penutup, dan urutannya harus bersarang (nested) dengan benar, persis seperti tanda kurung dalam ekspresi matematika.
Bahasa semacam ini tidak dapat dikenali secara sempurna oleh Finite Automata biasa karena membutuhkan "memori" untuk mengingat tag mana yang sedang terbuka. Di sinilah Pushdown Automata berperan: dengan bantuan stack, PDA dapat mengingat riwayat tag yang belum ditutup dan mencocokkannya satu per satu.
Tujuan Proyek
Visualisasi Konsep
Mengubah teori PDA yang abstrak menjadi simulasi interaktif yang bisa dicoba langsung.
Studi Kasus Nyata
Menggunakan validasi tag HTML sebagai studi kasus yang relevan dengan dunia pengembangan web.
Media Belajar
Menjadi alat bantu belajar bagi mahasiswa lain yang mempelajari Teori Bahasa dan Otomata.