newsBooleanAlgebrasIntro2 - News

 
 

Ataboy

Item posted by Daniel Wyckoff <deluger> on Mon 16 Jan 2023 04:13:59 AM UTC.

I always feel uncomfortable without a background C development.
So, now that there's something too Sturm und Drang about a Boolean CAS, how about applied term algebras!
The good news is I have a simpler specification and interface (boyoboy); words (in a free semigroup) are easier to deal with than bits and whatnot (or at least the way I'm gonna do it).
Here's the specification:
You have one ground file, any text file, ASCII for now.  It is exactly what you want, but you want something more out of it: a derivative file.  So, you have this big word in a text file, and its content is pure, but you want, say, different key subwords.  You want the whole thing to be consistent, and
you want leeway as to how to parameterize. 
In math terms, the user data would effectively choose valid signatures in a term algebra.  The software would process
further.
In typed ten-key music, for instance, the
sets of valid signatures for each term algebraic specification
would of course NOT be semantically exhaustive
(i.e. Fux rules in harmonic music theory)
but syntactically inclusive.  (Word boundaries, etc.) 

Happy hacking!

Back to the top

Powered by Savane 3.13-02a9.
Corresponding source code