I've been doing some reading (I'll name drop along the way) and have selected a few scattered ideas that I think could be cobbled together into a nifty esoteric programming language. But I'm having some difficulty assembling the parts.
Kleene's Theorem states: Any Regular Set can be recognized by some Finite-State Machine (Minsky 4.3).
Minsky's Theorem 3.5: Every Finite-State machine is equivalent to, and can be "simulated by", some neural net.
"There is a natural way to represent any forest as a binary tree." (Knuth, v1, 333).
And according to Bentley (Programming Pearls, p.126) a binary tree can be encoded as a flat array.
So I'm imagining an array of bit-fields (say 4 bits so it can easily be worked with in hexadecimal). Each field indicates a type of automaton, and the positions of the array encode (via an intermediary binary tree representation) a forest which approximates (? missing piece ?) the power of a graph.
I'm somewhat bewildered by the possibilities of automaton sets to try, and of course the fun Universal Automata require three inputs (I worked up an algorithm inspired by Bentley to encode a ternary tree implicitly in a flat array, but it feels like the wrong direction). So I'd appreciate any side-bar guidance on that. Current best idea: the normal set: and or xor not nand nor, with remaining bits used for threshold weights on the inputs.
So the big piece I'm missing is a formalism for applying one of these nibble-strings to a datum. Any ideas or related research I should look into?
Edit: My theoretical support suggests that the type of computations will probably be limited to RL acceptors (and maybe generators, but I haven't thought that through).
So, I tried to find an example to flesh this out. The C
int isdigit(int c) function performs a logical computation on (in effect) a bit-string. If you represent the input c as a bit-array (
c), this becomes
~c & (~c & (c & (c & (~c | (~c & ~c)))))
Arranging the operators into a tree (colon (:) represents a wire since pipe (|) is logical or),
c 6 5 4 3 2 1 0 ~ ~ : : ~ ~ ~ : & : : : & & : | & : &
My thought based on this is to insert "input lead" tokens into the tree which receive the values of the input bit assigned in a left-to-right manner. And I also need a ground or sink to explicitly ignore certain inputs (like c above).
This leads me to make NOT (~) a binary operator which negates the left input and simply absorbs right input. And in the course of trying this, I also realized the necessity for a ZERO token to build masks (and to provide dummy input for NOTs).
So the new set is: &(and) |(or) ^(xor) ~(not x, sink y) 0(zero) I(input)
So the tree becomes (flipping up for down)
^ & & & | I 0 & I ~ & & I I 0 ~ ~ ~ ~ I 0 I 0 I 0 I 0 = = = = = = = = 7 6 5 4 3 2 1 0
Which encodes into the array (skipping the "forest<=>tree" part, "_" represents a blank)
_ ^ & & & | I 0 & I ~ & _ _ _ _ & I _ _ I 0 ~ ~ _ _ _ _ _ _ _ _ ~ ~ _ _ _ _ _ _ _ _ _ _ I 0 I 0 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ I 0 I 0
The tree->array encoding always put the root in array(1) so with zero-indexed array, there's a convenient blank at the beginning that could be used for linkage, I think.
With only 6 operators, I suppose it could be encoded in octal.
By packing a forest of trees, we could represent a chain of acceptors each applied on the next input depending on the result of the previous.