[CG] Re: Theme One Program • Discussion

Cf: Theme One Program • Discussion 7 http://inquiryintoinquiry.com/2022/06/24/theme-one-program-discussion-7/ Re: Ontolog Forum https://groups.google.com/g/ontolog-forum/c/vlsQqvEiIkY ::: Alex Shkotin https://groups.google.com/g/ontolog-forum/c/vlsQqvEiIkY/m/07uF-WTzDwAJ <QUOTE AS:> As we both like digraphs and looking at your way of rendering, let me share my lazy way of using Graphviz ( https://graphviz.org/ ) on one of the last pictures produced ( https://photos.app.goo.gl/pJEGBnNqJRBE7JUT9 ). This is a picture of a derivation tree (aka AST) for the text of four statements of context-free grammar of some kind. It is important that this is a digraph with ordered children, and nodes have some attributes. In your case attributes are “sign”, “code”. In my case attributes are: * node id, * nonterminal, ** for syntactic nonterminal: rule id used for derivation, ** for lexical nonterminal: value taken from text. </QUOTE> Dear Alex, Many thanks, the Graphviz suite looks very nice and I will spend some time looking through the docs. I kept a few samples of my old ASCII graphics, mostly from a sense of nostalgia, but I've reached a point in reworking my Theme One Exposition where I need to upgrade the graphics. My original aim was to have the program display its own visuals, but it doesn't look like I'll be the one doing that. Visualizing proofs requires animation — I used to have an app for that bundled with CorelDraw but it quit working in a previous platform change and I haven't gotten around to hunting up a new one. At any rate, there's a sampler of animated proofs in logical graphs on the following page. * Proof Animations ( https://oeis.org/wiki/User:Jon_Awbrey/ANIMATION#Proof_Animations ) Regards, Jon