Aho, Ullman, Hopcroft