User:TGReddy/TGR's Playground/Strong tOCF Analysis

Definition

 * \( S \) is any string
 * \( T[1 \{ n+1 \} 0] D  T[1 \{ n \} 0]  \)
 * \( A_{n} = \text{enum}(A) \)
 * \( r(A, X(S, b + 1, 0)) = \{ \alpha : \alpha = X(S, b, \alpha) \land \alpha \in A \} \)