Otomata dan Bahasa-bahasa Formal Sebuah Pengantar