Theme One Program • Discussion 7

Re: Theme One Program • Exposition (1) (2) (3) (4)
Re: Ontolog ForumAlex Shkotin

As we both like digraphs and looking at your way of rendering, let me share my lazy way of using Graphviz on one of the last pictures produced.

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 \texttt{sign}, \texttt{code}.  In my case attributes are:

  • node id,
  • nonterminal,
    • for syntactic nonterminal:  rule id used for derivation,
    • for lexical nonterminal:  value taken from text.

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 out of 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 proof 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.


cc: Conceptual GraphsCyberneticsLaws of FormOntolog Forum
cc: FB | Theme One ProgramStructural ModelingSystems Science

This entry was posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Cognition, Computation, Constraint Satisfaction Problems, Data Structures, Differential Logic, Equational Inference, Formal Languages, Graph Theory, Inquiry Driven Systems, Laws of Form, Learning Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Semiotics, Spencer Brown, Visualization and tagged , , , , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

4 Responses to Theme One Program • Discussion 7

  1. Pingback: Survey of Theme One Program • 4 | Inquiry Into Inquiry

  2. Pingback: Theme One Program • Discussion 8 | Inquiry Into Inquiry

  3. Pingback: Theme One Program • Discussion 9 | Inquiry Into Inquiry

  4. Pingback: Survey of Theme One Program • 5 | Inquiry Into Inquiry

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.