寻观「标准库」之书。
寻观「拓展库」之「文本解析组合子」之「组合子数据结构」之书。
寻观「拓展库」之「文本解析组合子」之「组合组合子」之书。
寻观「标准库」之「数据结构」之「字符流术」之书。

「文件结束」乃「解析器」于「有」也。
「文件结束」者
    「构造解析器」于（会「输入」而
        若「字符流已经结束」于「输入」
        则「成功解析」于「元」于「输入」
        否则（「失败解析」于『期待文件结尾』于「输入」）
        ）也。
    

「单个字符条件」乃化（化「字符串」而「爻」）而化「字符串」而「解析器」于「字符串」也。「：返回条件为真的字符：」
「单个字符条件」者会「条件」而会「错误信息」而
    「构造解析器」于（会「输入」而
        若「字符流已经结束」于「输入」
        则（「失败解析」于「错误信息」附『23不期待的文件结尾』于「输入」）
        否则（虑「字符及剩余」者「字符流获取下个字符」于「输入」而
            虑「字符」者「字符及剩余」中「零」而
            虑「剩余」者「字符及剩余」中「一」而
            （若「条件」于「字符」则「成功解析」于「字符」于「剩余」否则「失败解析」于「错误信息」附『，不期待的字符：』附「字符」于「输入」）
        ）
    ）也。

「字符们之一」乃化（「列」于「字符串」）而「解析器」于「字符串」也。
「字符们之一」者会「组」而
    「单个字符条件」于（会「候选」而（「存在吗」授以「字符串」）于
        （会「组内字符」而「串相等」于「候选」于「组内字符」）于「组」）于『期待以下字符（之一）：』附（「间合」于『，』于（「组」））也。

「不是字符们之一」乃化（「列」于「字符串」）而「解析器」于「字符串」也。
「不是字符们之一」者会「组」而
    「单个字符条件」于（会「候选」而「非」于（（「存在吗」授以「字符串」）于
        （会「组内字符」而「串相等」于「候选」于「组内字符」）于「组」））于『不期待以下字符（之一）：』附（「间合」于『，』于（「组」））也。


「单个空格」乃「解析器」于「字符串」也。
「单个空格」者「字符们之一」于（「列」【『「：换行：」』，『 』，『「：制表：」』】）也。

「单个字符」乃化「字符串」而「解析器」于「字符串」也。
「单个字符」者会「字符」而
    「单个字符条件」于（会「候选」而「串相等」于「候选」于「字符」）于『期待字符：』附「字符」也。

「单个字符串」乃化「字符串」而「解析器」于「字符串」也。
「单个字符串」者会「前缀」而
    「构造解析器」于（会「输入」而
        若（「字符流匹配字符串」于「输入」于「前缀」）
        则（「成功解析」于「前缀」于（「字符流前进字符串」于「输入」于「前缀」））
        否则（「失败解析」于『期待：』附「前缀」于「输入」）
    ）也。

「任意字符」乃「解析器」于「字符串」也。
「任意字符」者
    「单个字符条件」于（会「候选」而「阳」）于『不应该出错！』也。

「单个阿拉伯数字」乃「解析器」于「字符串」也。
「单个阿拉伯数字」者「字符们之一」于（
    （「列」【『0』，『1』，『2』，『3』，『4』，『5』，『6』，『7』，『8』，『9』】））也。



「零或多个空格」乃「解析器」于「有」也。
「零或多个空格」者（「结果变换」授以（「列」于「字符串」）授以「有」）于（（「零或多个」授以「字符串」）于「单个空格」）于（会「组」而「元」）也。




「包裹空格」乃承「甲」而化「解析器」于「甲」而「解析器」于「甲」也。
「包裹空格」者受「甲」而会「器」而（「顺序包裹」授以「有」授以「甲」授以「有」）于（「零或多个空格」）于「器」于（「零或多个空格」）也。
