代数刻画相关论文
Domain理论产生于20世纪70年代早期D.Scott为解决计算机程序设计语言语义学问题对连续格的研究.几乎在同一时期，Lawson、Stralka等......
(本讲适合高中)在一些组合构造问题中,几何直观常常能给学习者思路上的提示.它有助于发现解决问题的途径,但往往又存在一些缺陷:或......
提出量子Bchi自动机（简记为LVBA）的概念,利用量子状态构造方法证明了一般LVBA与状态转移为经典函数的LVSBA间的相互等价性,籍此研......
证明了映射T：R^2-R^2是自相似映射，即TX=k·XU＋TO（VX∈R^2），其中U为实的2阶正交矩阵，k〉0为实数，当且仅当存在常数k〉0使得d（TX，TY）=k......
提出了基于Lukasiewicz逻辑的下推自动机（l-VPDA）的概念,从代数角度研究了此类自动机的性质,同时建立此类自动机的代数刻画,即利用模......
利用BCI-代数的Fuzzy理想定义了一个二元关系,证明了这个二元关系是同余关系,从而构造了商BCI-代数.利用BCI-代数的Fuzzy q-理想、......
首先，本文提出量子下推自动机（简记为L-VPDA）的概念，从代数角度出发详细研究了此类自动机的性质，同时建立此类自动机的代数刻画，即利用量......
提出量子Bchi自动机(简记为LVBA)的概念,利用量子状态构造方法证明了一般LVBA与状态转移为经典函数的LVSBA间的相互等价性,籍此......
