Teori bahasa dan otomata (Pustaka Galeri Mandiri, 2018)