lattice-valued model 中文意思是什麼
lattice-valued model
解釋
格值模型-
Based on lotfi a. zadeh ’ s work, mingsheng ying ’ s work and daowen qiu ’ s work, the author proposed two new formal models of computing with words, namely the formal model of computing with words via lattice - valued finite state automata and the formal model of computing with words via lattice - valued regular grammar. the formal model of computing with words is expored and investigated
本文在lotfia . zadeh教授、應明生教授、邱道文教授等人的工作基礎上,提出了詞計算的兩種新的形式模型? ?基於格值有限狀態自動機的詞計算形式模型和基於格值正則文法的詞計算形式模型,對詞計算的形式模型作了進一步研究和探討。 -
Then we also formulate the model of computing with values via lattice - valued finite state automata, as well as the state transition function of the model of computing with words via lattice - valued finite state automata and the language accepted by lattice - valued finite automata
然後,給出了基於格值有限狀態自動機的數值計算的形式模型。同時,建立了輸入是詞的格值有限狀態自動機的轉移函數以及格值有限狀態自動機所接收的語言的定義。 -
The two - valued weak model of the first order logic with generalized quantifier q is generalized to be valued in complete weak complemented lattices. for finite linearly - ordered weak complemented lattice, the omitting type theorem is proved
將帶廣義量詞q的一階邏輯的二值弱模型推廣到取值于完備弱可補格上,對有限的線性序弱可補格證明了省略型定理。
分享友人