User blog comment:SuperSpruce/Proposed fix to T array function to make it work past Gamma 0/@comment-36984051-20190623153224/@comment-36984051-20190626132048

I slightly edited the catastrophic rule by saying a is the nonzero entry. In other words, a cannot be equal to 0.

In [0,0,0,1], the scanning process comes to the 1, and we start with [%0,$a#]. Since the one is the nonzero entry and the Comma is immediately before it, a=1. Now it can be determined what %, $, and # are.

% = 0,0,

$ = empty

a = 1


 * 1) = empty