TEORI BAHASA DAN AUTOMATA: Fondasi Formal Untuk Komputasi; Library Buku Penerbit KBM, 2026.