合流性
要素 a ∈ A が 準合流性(Semi-confluence)を持つとは、 c ← a → ∗ b {\displaystyle c\,\leftarrow \,a\,{\overset {*}{\rightarrow }}\,b} となる任意の b, c ∈ A について c → ∗ d ← ∗ b {\displaystyle c\,{\overset {*}{{}\to {}}}d\,{\overset {*}{{}\leftarrow {}}}b} となるような d が存在することである。これを図で表現したものが図3である。
全ての要素が準合流性を持つならば、システムは合流性を持つ。
eval left ( 11 + 9 ) × ( 2 + 4 ) eval right ↙ ↘ 20 × ( 2 + 4 ) ( 11 + 9 ) × 6 ↘ ↙ eval right 20 × 6 eval left ↓ 120 {\displaystyle {\begin{array}{|rcccl|}\hline \color {MidnightBlue}{\mbox{eval left}}&&(11+9)\times (2+4)&&\color {MidnightBlue}{\mbox{eval right}}\\&\color {MidnightBlue}{\swarrow }&&\color {MidnightBlue}{\searrow }&\\20\times (2+4)&&&&(11+9)\times 6\\&\color {MidnightBlue}{\searrow }&&\color {MidnightBlue}{\swarrow }&\\\color {MidnightBlue}{\mbox{eval right}}&&20\times 6&&\color {MidnightBlue}{\mbox{eval left}}\\&&\color {MidnightBlue}{\downarrow }&&\\&&120&&\\\hline \end{array}}}