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 .
本文给出了建立在含幺半群基础上的范畴语法的代数结构 ，定义了范畴方程和它的解并对范畴方程的解作了分类 ：相容性的相关性。
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 .
本文给出了建立在含幺半群基础上的范畴语法的代数结构 ，定义了范畴方程和它的解并对范畴方程的解作了分类 ：相容性的相关性。
应用推荐