Hi Atik, nice work, thanks again! I will look at it more in the near future, and then update CATransducerGraph subsequently.
For now, a parallel thread was started on [seqfan], which gained us some understanding how to tie up a few of the loose ends, but not all of them.
You might want to take a look at the new thread here if you have the time. If we make the powerset construction optional in CATransducerGraph, we might want another option for minimality that reduces out duplicate vertices. That should now be possible with a little extra effort...
