A Half-Century of Automata Theory 2000