Stav dette: Otomata dan bahasa-bahasa formal: sebuah pengantar/penerjemah: Jozep Edyanto