化「操作符」而化（「列」于「操作符」）而「爻」

暂无说明。

（「列」于「操作符」）

暂无说明。

（「列」于「操作符」）

暂无说明。

（「列」于「操作符」）

暂无说明。

化「操作符」而化「字符串」而「语义标记种类」

暂无说明。

化「操作符」而化（「列」于「栈素」）而化（「列」于「组件」）而（「列」于「语义标记草稿」）

暂无说明。

化「整数」而化（「列」于「栈素」）而化（「列」于「组件」）而（「或可有」于（「列」于「表达式」））

给定组件的操作符标号，栈（缩减且，反转过的）和组件，其中栈和组件必须是相同长度， 若匹配成功，返回元素或绑定组件的参数， 若匹配失败，返回可无

化「字符串」而化（「列」于「栈素」）而（「列」于（「列」于「栈素」））

暂无说明。

化「字符串」而化（「列」于「栈素」）而化「栈素」而（「列」于（（「列」于「栈素」）合「栈素」））

若规约成功，返回有，若规约失败，返回无 我们规约时会碰到一种情况 A 式 | B，AB没有优先级关系，这种情况下就应该是 A先吃式，还是B先吃式呢？ 我们规约会选后者，首先检查 A的优先级没有比B高， 那么B会不会被移位是一个关键问题！如果我们发现B的优先级也没有A高，那么我们应该报错！ 但是在这里，为了减少报错， 我们选择移位！之后在总体规约时就会变成B先吃式。 本函数只进行可能规约并返回结果，不进行移位 我们要返回更新的栈操作符，因为规约与否取决于是什么样的栈操作符

化「字符串」而化（「列」于「栈素」）而化（「列」于「栈素」）而（「列」于（「列」于「栈素」））

暂无说明。

化「字符串」而化（「列」于「栈素」）而化（「列」于「表达式」）而化化「字符串」而化（「列」于「栈素」）而「有」而（「列」于（（「列」于「栈素」）合（「列」于「表达式」）））

一定会消耗输入

化「字符串」而化（「列」于（「表达式」合（「列」于「语义标记草稿」）））而化（「列」于（（「列」于「栈素」）合（「列」于「表达式」）））而化化「字符串」而化（「列」于「栈素」）而「有」而（「列」于（「表达式」合（「列」于「语义标记草稿」）））

返回可能的解

化「字符串」而化（「列」于「表达式」）而（「表达式」合（「列」于「语义标记草稿」））

暂无说明。

化「字符串」而化（「列」于「表达式」）而「表达式」

暂无说明。

化（「列」于「表达式」）而「表达式」

暂无说明。

化「字符串」而化（「列」于「表达式」）而「表达式」

暂无说明。

化「字符串」而化（「列」于「表达式」）而（「表达式」合（「列」于「语义标记草稿」））

暂无说明。