Text this: Otomata dan bahasa-bahasa formal : sebuah pengantar