2026. TEORI BAHASA DAN AUTOMATA: Fondasi Formal untuk Komputasi. Library Buku Penerbit KBM.