A straightforward modification of both algorithms is possible to ensure that these states are not present in the output.
efree t,c a a a (4 (5) Illustration of the difference in size between two variants of efree.