The literal reachable product-state table is grouped by endpoint state q and first rank state p

Abstract

The literal reachable product-state table is grouped by endpoint state q and first rank state p

Definition 1.1 (rawGroupsA).

$$rawGroupsA:Array\left(Array\left(List\left(\mathbb{N}\right)\right)\right)$$

Formalization. D5/S1/Words/Palindromes/FridPrefix/ProductDataA.rawGroupsA (✓ std3).

Source. Repository-derived.

Commentary.

The literal reachable product-state table is grouped by endpoint state q and first rank state p. Its list at (q,p) contains the permitted second rank states s. There are 17 endpoint rows and 99 first-rank columns.

References

• Truth anchor: D5/S1/Words/Palindromes/FridPrefix/ProductDataA.rawGroupsA