8 Likes
– you have earned Featured Contributor Badge 
Your exceptional post has been selected for our editorial column Staff Picks http://wolfr.am/StaffPicks and Your Profile is now distinguished by a Featured Contributor Badge and is displayed on the Featured Contributor Board. Thank you!
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…