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

「：文言：自调后尚有功者，非尾也；此为生成取舍，非改其义。汉语：检查静态自调用是否处于生成器能够回跳的尾位置。含非尾自递归时暂不启用新增恒等尾参省略，避免改变递归调用体与其他热函数的内联竞争；不限制其他优化，不按函数名或编号特判。退出域与显式循环保守拒绝，因为其清理和回跳规则不同。：」
「段含非尾自调」乃化「字符串」而化「爻」而化「正则区域」而「爻」也。
「段含非尾自调」者会「自名」而会「尾位」而会「段」而
  鉴「段」而
    有（「正则段」于「诸令」于「终」）则（
      递归虑「行」其化（「列」于「正则指令」）而「爻」者（会「令们」而
        鉴「令们」而
          有「罄」则「阴」
          或有（「缀」于「令」于「余」）则
            虑「末」者鉴「余」而
              有「罄」则「阳」
              或有「未末」则
                「阴」而
                虑「有」者鉴「令」而
                  有（「正则运算」于「号」于「类」于「正则调用」于（「缀」于（「正则函数引用」于「名」）于「参」））则
                    「且」
                      于（「串相等」于「名」于「自名」）
                      于（「非」于（「且」于「末」于（「正则结果可尾」于「尾位」于「号」于「终」）））
                  或有（「正则如果」于「号」于「类」于「条件」于「阳体」于「阴体」）则（
                    虑「支尾」者
                      「且」
                        于「末」
                        于（「正则结果可尾」于「尾位」于「号」于「终」）
                    而
                    「或者」
                      于（「段含非尾自调」于「自名」于「支尾」于「阳体」）
                      于（「段含非尾自调」于「自名」于「支尾」于「阴体」）
                  ）
                  或有（「正则退出域」于「号」于「令牌」于「体」）则「阳」
                  或有（「正则结果块」于「号」于「标签」于「体」）则
                    「段含非尾自调」
                      于「自名」
                      于「阴」
                      于「体」
                  或有（「正则循环」于「号」于「标签」于「参」于「体」）则「阳」
                  或有「余令」则
                    「阴」而
                若「有」则「阳」否则「行」于「余」
      ）而「行」于「诸令」
    ）
也。

「含非尾自调」乃化「正则函数」而「爻」也。
「含非尾自调」者会「函」而
  「段含非尾自调」于（「函」中「零」）于「阳」于（「函」中「三」）
也。
