造函
公开化「字符串」而化（「列」于「正则指令」）而化「正则原子」而（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）文言：不信类名，必察诸用；互递有污，传拒其上。汉语：直接构造并验证SSA，检查完整闭包而非暂定单函数结论；纯递归可能不终止，不执行该反例。
模块 / 36
测试/纯调用证明。测试。豫
测试/纯调用证明。测试。豫
12公开名称
甲
公开「正则原子」暂无说明。
乙
公开「正则原子」暂无说明。
调
公开化「字符串」而化（「列」于「正则原子」）而「正则指令」暂无说明。
算
公开化「字符串」而化（「列」于「正则原子」）而「正则指令」暂无说明。
验
公开化（「列」于（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」））而化（「列」于「字符串」）而「有」暂无说明。
单验
公开化「正则指令」而化「爻」而「有」暂无说明。
二参
公开（「列」于「正则原子」）暂无说明。
甲函
公开（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）暂无说明。
乙函
公开（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）暂无说明。
分支函
公开化「正则原子」而化「正则原子」而（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」）暂无说明。
长链
公开（「列」于（「字符串」合「爻」合（「列」于「整数」）合「正则区域」合「整数」））暂无说明。