寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。

「：文言：同组同索，既访无事故，后访毋复检；诸歧各记，不相冒也。汉语：仅用于已验证的封闭栈调用图：数组头及长度不可变，无宿主重入、原始内存写入及子数组分配。输入须通过 SSA 与表示验证。每个区域独立记录成功访问的数组局部号与索引原子；第一次检查保留，后续相同访问才可省检。子分支不向父区域或另一分支传播事实。调用可改载荷，不能改头；本模块不授权跨越不满足此前提的调用。：」
「造栈访问键」乃化「正则原子」而化「正则原子」而「或可有」于「字符串」也。
「造栈访问键」者会「组」而会「位」而
  鉴「组」而
    有（「正则局部」于「组号」）则（
      鉴「位」而
        有（「正则局部」于「索号」）则
          「可有」于（（「整数表示」于「组号」）附『|局部|』附（「整数表示」于「索号」））
        或有（「正则整数」于「索数」）则
          「可有」于（（「整数表示」于「组号」）附『|常数|』附（「整数表示」于「索数」））
        或有「其他」则「可无」
    ）
    或有「其他」则「可无」
也。

「取栈访问键」乃
  化「正则操作」而
  化（「列」于「正则原子」）而
  「或可有」于「字符串」
也。
「取栈访问键」者会「术」而会「参」而
  鉴「术」而
    有（「正则原语」于『豫言_读取引用数组』）则
      （鉴「参」而
      有（「列」【「组」，「位」】）则「造栈访问键」于「组」于「位」
      或有「其他」则「可无」）
    或有（「正则原语」于『豫言_写入引用数组』）则
      （鉴「参」而
      有（「列」【「值」，「位」，「组」】）则「造栈访问键」于「组」于「位」
      或有「其他」则「可无」）
    或有「其他」则「可无」
也。

「求栈重复访问」乃化「正则函数」而「列」于「整数」也。
「求栈重复访问」者会「函」而
  虑「重」者「新引用」授以（「列」于「整数」）于「罄」而
  递归虑「扫」其化「正则区域」而「有」者会「段」而
    鉴「段」而
      有（「正则段」于「诸令」于「终」）则（
        虑「已」者「新引用」授以（「列」于「字符串」）于「罄」而
        虑「无」者
          「态射」授以「正则指令」授以「有」
          于「诸令」
          于（会「令」而鉴「令」而
            有（「正则运算」于「号」于「类」于「术」于「参」）则（
              鉴（「取栈访问键」于「术」于「参」）而
                有「可无」则「元」
                或有（「可有」于「键文」）则
                  若「存在吗」授以「字符串」
                  于（会「旧」而「串相等」于「旧」于「键文」）
                  于（「读引用」于「已」）
                  则
                    「写引用」
                      于「重」
                      于（「缀」于「号」于（「读引用」于「重」））
                  否则
                    「写引用」
                      于「已」
                      于（「缀」于「键文」于（「读引用」于「已」））
            ）
            或有（「正则如果」于「号」于「类」于「条件」于「阳体」于「阴体」）则
              （「扫」于「阳体」；
                「扫」于「阴体」）
            或有「其他」则「元」）
        而
        「元」
      ）
  而
  虑「无」者「扫」于（「函」中「三」）而
  「读引用」于「重」
也。
