CPT443/CPT347 – AUTOMATA THEORY & FORMAL LANGUAGES APR-MAY 2011 - PPSKOM, Pusat Pengajian Sains Komputer (2011)