linear bounded automation 线性界限自动机...bounded quantifier 有界量词...lower bounded 有下界的...bounded universal quantifier 有界全称量词...oil bounded core 油砂心...bounded context 限界上下文,限界前后文...bounded context constructor 限界上下文构造程序...bounded variable 有界变量,受限变量...polynomial-bounded 有界多项式的...bounded sequence 有界序列...bounded space 有界空间...bounded region 有界域...bounded linear functional 有界线性泛函...bounded context grammar 限界上下文文法...bounded variable algorithm 有界变量算法...bounded-reversal Turing machine 有界反向图灵机...bounded occurrence 约束出现...bounded context language 限界上下文语言,上下文有界语言...bounded existential quantifier 有界存在量词...bounded regular language 有界正规语言...bounded convex polyhedron 有界凸多面体...
交流互动
发表言论