> I have put a png of the visualization for about 2000 states and 11,000 transitions at this wiki page:
the first one is difficult to interpret. And I don't know how people could take advantage of it (1). The second one
on the contrary can be useful.
(1) But maybe it is due to the idiosyncrasy of the alternating bit protocol. A more traditional algorithm would be
easier to make sense of it.