常見例句雙語例句In this article, we showed the algebraic structure of syntactic categories based on monoid and defined categorial equation whose solutions are described by consistency and correlation .本文給出了建立在含幺半群基礎上的范疇語法的代數(shù)結構，定義了范疇方程和它的解并對范疇方程的解作了分類：相容性的相關性。 返回 algebraic monoid