Two dimensional array of transitions, indexed by state number for traversal. The state numbering is consistent with .runAutomaton. Only valid for .