Theme One Program

[Jon Awbrey]

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

seqfun folks,

i am finally getting around to documenting
my "theme one" program in a more coherent
and detailed way.

this may be of interest to seqfan people
for the following ordered pair of reasons:

1. the data structure that it uses is a very pretty species of graphs,
   "painted and rooted cacti" (parcae), which has yet to be enumerated.

2. it uses these cacti for two purposes:  logical (boolean fns, prop calc)
   and lexicographic, the latter implementing a type of "adaptive indexer"
   for 2-level formal languages, of which initial segements of integer
   digit sequences are one very interesteing special case.  true story:
   i once typed a good sized chunk of the 1st edition eis handbook into
   an earlier version of this program.

this is 1989-vintage code -- still, it was a very good year --
and just the barest hint of a prototype, but i am hopeful
that some sharp folks might be able to do something with
the basic ideas.

here are some initial links to the source code,
plus a beginning exposition of the data struct:

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

TOP.  Theme One Program -- Source Code

01.  http://stderr.org/pipermail/inquiry/2003-March/000115.html
02.  http://stderr.org/pipermail/inquiry/2003-March/000116.html
03.  http://stderr.org/pipermail/inquiry/2003-March/000117.html
04.  http://stderr.org/pipermail/inquiry/2003-March/000118.html
05.  http://stderr.org/pipermail/inquiry/2003-March/000119.html

TOP.  Theme One Program -- Expository Notes

01.  http://stderr.org/pipermail/inquiry/2003-March/000100.html
02.  http://stderr.org/pipermail/inquiry/2003-March/000101.html
03.  http://stderr.org/pipermail/inquiry/2003-March/000102.html
04.  http://stderr.org/pipermail/inquiry/2003-March/000103.html
05.  http://stderr.org/pipermail/inquiry/2003-March/000104.html
06.  http://stderr.org/pipermail/inquiry/2003-March/000105.html
07.  http://stderr.org/pipermail/inquiry/2003-March/000106.html
08.  http://stderr.org/pipermail/inquiry/2003-March/000107.html
09.  http://stderr.org/pipermail/inquiry/2003-March/000108.html
10.  http://stderr.org/pipermail/inquiry/2003-March/000109.html
11.  http://stderr.org/pipermail/inquiry/2003-March/000110.html
12.  http://stderr.org/pipermail/inquiry/2003-March/000111.html
13.  http://stderr.org/pipermail/inquiry/2003-March/000112.html
14.  http://stderr.org/pipermail/inquiry/2003-March/000113.html
15.  http://stderr.org/pipermail/inquiry/2003-March/000114.html

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