Author: Acm Special Interest Group for Automata