For this FA, which i think of as accepting "$\Lambda$ or anything ending in $b$", i came up with $r_1$, then i used FSM2Regex which gave me $r_3$ which i simplified into $r_2$ using regex simplifier.
now $r_2$ seems better than $r_1$. Should I go with it? If so, what is lacking in $r_1$? I can't see the difference between $(a+b)^*b$ from $r_1$ and $(aa^*b)^*$ from $r_2$. Is one the subset of other? Are they overlapping or disjoint?
Inputting any of the three RE's back into FSM2Regex gives RIDICULOUSLY complex TG's especialy because for some reason that is beyond me, it also draws $\$$ (null string) transitions. Even $r_3$ doesn't give back the FA I used to generate it. So my question is : are $r_1$ and $r_2$ different? How? what should I go with?