寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编递归形态」之书。
「：文言：直尾、支尾与支后有功，各验其别。汉语：覆盖直接尾递归、递归后计算、其他函数调用、尾分支和非尾分支传播。：」
「造函」乃化「整数」而「正则函数」也。
「造函」者会「模」而
 虑「调」者「正则运算」于「一」于「正则通用值」于「正则调用」于（「列」【「正则函数引用」于（若「等于」于「模」于「二」则『他』否则『例』），「正则局部」于「零」】）而
 虑「加」者（化「整数」而化「整数」而「正则指令」也会「号」而会「基」而「正则运算」于「号」于「正则整数值」于（「正则原语」于『豫言_整数加』）于（「列」【「正则局部」于「基」，「正则整数」于「一」】））而
 虑「直」者「正则段」于（「列」【「调」】）于（「正则产出」于（「正则局部」于「一」））而
 虑「枝」者「正则如果」于「三」于「正则通用值」于（「正则爻」于「阳」）于「直」于（「正则段」于「罄」于（「正则产出」于（「正则整数」于「零」）））而
 虑「体」者若「小于」于「模」于「三」则
  若「等于」于「模」于「一」则「正则段」于（「列」【「调」，「加」于「二」于「一」】）于（「正则产出」于（「正则局部」于「二」））否则「直」
  否则若「等于」于「模」于「三」则「正则段」于（「列」【「枝」】）于（「正则产出」于（「正则局部」于「三」））否则
   「正则段」于（「列」【「枝」，「加」于「四」于「三」】）于（「正则产出」于（「正则局部」于「四」））而
 『例』与「阴」与（「列」【「零」】）与「体」与「五」也。
「验」乃化「整数」而化「爻」而「有」也。
「验」者会「模」而会「期」而若「爻相等」于（「含非尾自调」于（「造函」于「模」））于「期」则「元」否则「发生事故」授以「有」于『递归形态错误』也。
「验」于「零」于「阴」。
「验」于「一」于「阳」。
「验」于「二」于「阴」。
「验」于「三」于「阴」。
「验」于「四」于「阳」。
「打印行」于『递归形态五项通过』。
