Please note that my equation is very compact. The original alphabet is just in the single axiom which is in pj(0).
The equation is its own FAS. As I have said before additional alphabet elements are added out of the necessities I have previously given as the recursion proceeds. Hal
