A node by symbol array represents the APFA in a convenient form for computation. The rows correspond to nodes, the columns correspond to edge symbols
(twice). The first $k$ columns contain the ids of the target nodes for an edge from the node with the corresponding symbol. Zeroes mean that there is no
corresponding edge. The last $k$ columns contain the corresponding edge counts.