TY - RPRT TI - Full AFLs Closed under Nested Iterated $k$-Variate Substitution and Depth-k Storage Automata AU - Tomoyuki Yamakami PY - 2026 UR - https://arxiv.org/abs/2610.19584 ID - 2610.19584 ER -