Type: LecturersCourses: Automata over infinite alphabetsAffiliation: University of WarwickCountry: United Kingdom