(depending on whether a cycle after the initial aaa has positive or negative weight), but never the optimal aaaaa.
if G instead encoded 5-grams, this would not be a problem because a path through a 5-gram machine could accept aaaaa without traversing a cycle.