Vocabulary: {a, b, c, eos} | Algorithm: A* Search (Beam Size = ∞, with Heuristic)