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

「：文言：名各唯一，出域则隐。汉语：分别记录全函数已定义 ID 与当前可见 ID；退出子区域只清除本区域定义，避免复制整张作用域表。：」
「验证正则函数」乃化「正则函数」而「有」也。
「验证正则函数」者会「函数」而
  虑「上界」者「函数」中「四」而
  虑「已定」者「新数组引用」授以「爻」于「阴」于「上界」而
  虑「可见」者「新数组引用」授以「爻」于「阴」于「上界」而
  虑「活块」者「新数组引用」授以「爻」于「阴」于「上界」而
  虑「界」者
    （化「整数」而「有」也会「号」而
      若「或者」于（「小于」于「号」于「零」）于（「非」于（「小于」于「号」于「上界」））则
        「发生事故」授以「有」于『正则值 ID 越界』
      否则
        「元」
    ）而
    虑「定义」者
      （化「整数」而「有」也会「号」而
          虑「无」者「界」于「号」
          而
          虑「无」者
            若「读数组引用」授以「爻」于「已定」于「号」则「发生事故」授以「有」
            于『正则值 ID 重复定义』
            否则
              「元」
          而
          虑「无」者「写数组引用」授以「爻」于「已定」于「号」于「阳」而
          「写数组引用」授以「爻」于「可见」于「号」于「阳」
      ）
    而
    虑「用」者
      （化「正则原子」而「有」也会「值」而鉴「值」而
          有（「正则局部」于「号」）则（
            虑「无」者「界」于「号」
            而
            若「读数组引用」授以「爻」于「可见」于「号」则
              「元」
            否则
              「发生事故」授以「有」于『正则值未定义或已离开作用域』
          ）
          或有「常量」则「元」
      ）
    而
    虑「诸用」者
      （化（「列」于「正则原子」）而「有」也会「值们」而
          虑「无」者「态射」授以「正则原子」授以「有」于「值们」于「用」而
          「元」
      ）而
    递归虑「区域」其化「正则区域」而「有」者（会「段」而
      鉴「段」而
        有（「正则段」于「令们」于「终」）则（
          虑「本地」者「新引用」授以（「列」于「整数」）于「罄」
          而
          虑「定」者
            （化「整数」而「有」也会「号」
  而
  虑「无」者「定义」于「号」而
  「写引用」授以（「列」于「整数」）
  于「本地」
  于（「缀」于「号」于（「读引用」授以（「列」于「整数」）于「本地」））
            ）
          而
          虑「无」者
            「态射」授以「正则指令」授以「有」
            于「令们」
            于（会「令」而鉴「令」而
              有（「正则运算」于「号」于「类」于「术」于「参」）
              则（虑「无」者「诸用」于「参」而「定」于「号」）
              或有（「正则如果」于「号」于「类」于「条件」于「阳体」于「阴体」）则（
                虑「无」者「用」于「条件」
                而
                虑「无」者「区域」于「阳体」
                而
                虑「无」者「区域」于「阴体」而
                「定」于「号」
              ）
              或有（「正则退出域」于「号」于「令牌」于「体」）则（
                虑「无」者「定义」于「令牌」
                而
                虑「无」者「区域」于「体」
                而
                虑「无」者
                  「写数组引用」授以「爻」于「可见」于「令牌」于「阴」
                而
                「定」于「号」
              ）
              或有（「正则结果块」于「号」于「标签」于「体」）则（
                虑「无」者「界」于「标签」
                而
                虑「无」者「定义」于「标签」
                而
                虑「无」者
                  「写数组引用」授以「爻」于「可见」于「标签」于「阴」
                而
                虑「无」者
                  「写数组引用」授以「爻」于「活块」于「标签」于「阳」
                而
                虑「无」者「区域」于「体」
                而
                虑「无」者
                  「写数组引用」授以「爻」于「活块」于「标签」于「阴」
                而
                「定」于「号」
              ）
              或有（「正则循环」于「号」于「标签」于「参」于「体」）则
                「发生事故」授以「有」于『循环验证尚未接入，不能生成代码』）
          而
          虑「无」者
            （
              鉴「终」而
                有（「正则产出」于「值」）则「用」
                  于「值」
                或有（「正则返回」于「值」）则「用」
                  于「值」
                或有（「正则提前退出」于「令牌」于「值」）
                则（虑「无」者「用」于「令牌」而「用」于「值」）
                或有（「正则退出块」于「标签」于「值」）
                则（
                  虑「无」者「界」于「标签」
                  而
                  虑「无」者
                    若「读数组引用」授以「爻」于「活块」于「标签」则
                      「元」
                    否则
                      「发生事故」授以「有」
                      于『只能退出词法包围的结果块』
                  而
                  「用」于「值」
                ）
                或有（「正则尾调用」于「头」于「参」）
                则（虑「无」者「用」于「头」而「诸用」于「参」）
                或有「正则不可达」则「元」
                或有「其他结束」则
                  「发生事故」授以「有」于『循环结束验证尚未接入』
            ）
          而
          虑「无」者
            「态射」授以「整数」授以「有」
            于（「读引用」授以（「列」于「整数」）于「本地」）
            于（会「号」而「写数组引用」授以「爻」于「可见」于「号」于「阴」）
          而
          「元」
        ））
    而
    虑「无」者
      「态射」授以「整数」授以「有」于（「函数」中「二」）于「定义」
    而
    「区域」于（「函数」中「三」）
也。

「验证正则模块」乃化「正则模块」而「有」也。
「验证正则模块」者会「模块」而
  虑「无」者
    「态射」授以「正则函数」授以「有」于「模块」于「验证正则函数」
  而
  「元」
也。
