Not sure if this is the correct stackexchange to ask this question, but I was wondering whether anyone knows if the ascii diagrams in http://tools.ietf.org/rfc/rfc5755.txt page 6 are handcrafted or generated using a program that takes the nodes and transitions as input.
If they are generated, does anyone know which program?
Directly searches on Google do not turn up anything relevant.