Langauge Of Cacti

[Jon Awbrey]

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Seq Fans,

I have written out a more or less coherent treatise
on a formal language called the "cactus language" that
admits of interpretation for propositional logic purposes,
and whose well-formed expressions correspond to a family of
graphs called "painted and rooted cacti" (PARC's).  There may
be some novel sorts of enumerative problems in this area,
inasmuch as one could count cacti that have specified
logical properties as one of their parameters.

Here is a link to the expository egress:

LOC.  http://stderr.org/pipermail/inquiry/2004-December/thread.html#2135

I would be happy to respond to any questions,
on or off list as the occasion may warrant.

Jon Awbrey

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
inquiry e-lab: http://stderr.org/pipermail/inquiry/
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o