Tugas Besar Teori Bahasa Formal dan Otomata HTML Checker dengan Pushdown Automata (PDA)

Kontributor

1. Panji Sri Kuncara Wisma (13522028)
2. Ahmad Hasan Albana (13522041)
3. Amalia Putri (13522042)

Deskripsi Umum

Repository ini berisi code untuk HTML Checker sebagai pemenuhan tugas mata kuliah Teori Bahasa Formal dan Automata. Ada tiga komponen utama pada repository ini yaitu PDA.txt sebagai file yang berisi PDA, main.py sebgai program utama untuk melakukan pengecekan teks HTML berdasarkan PDA yang ada, dan file HTML yang akan dicek.

Cara Menjalankan Program

1. Masukkan teks html yang ingin diuji pada lokasi yang sama dengan main.py dan PDA.txt

2. Pastikan anda memiliki environtment atau perangkat yang mendukung python

3. Jalankan program pada terminal dengan format sebagai berikut

   python main.py PDA.txt "[nama_file].html"

   ganti [nama_file] dengan nama dari file HTML yang ingin anda cek, contohnya adalah sebgai berikut :

   python main.py PDA.txt "t-1.html"