star general is wrong
Your implementation of star general is wrong.
Try std('a').star() vs. std('a').star('general').proper in Q, and you will see that the automata are not equivalent. There are too many final states.
Your implementation of star general is wrong.
Try std('a').star() vs. std('a').star('general').proper in Q, and you will see that the automata are not equivalent. There are too many final states.