fixing constness in AAUtomata::getName()