没全给出来,简写了一部分,但用到的语法都在里面了
$$
R^R::=\left \{ \begin{array}{c:ccc}
&CPS&CT&MT&FT&Op&V \\
\hdashline
CPS & 1&R^{ct,cps} &R&R&R&R \\
CT & R&1&R&R&R&R \\
MT & R&R&1&R&R&R \\
FT & R&R&R&1&R&R \\
Op & R&R&R&R&1&R \\
V & R&R&R&R&R&1 \\
\end{array} \right \}, \forall R^{i,j} \in R^R
$$