finitary音标
英 ['faɪnɪtərɪ]
美 ['faɪnɪtərɪ]
finitary翻译
adj.
有限性的;
英英释义
Finitary
In mathematics or logic, a finitary operation is an operation that takes a finite number of input values to produce an output, like those of arithmetic. Operations on infinite numbers of input values are called infinitary.
以上来源于:Wikipedia
finitary用法
权威例句
Finitary PCF is not decidable
Finitary Models of Language Users
Finitary winning in ω-regular games
Finitary Winning in omega-Regular Games.
Finitary substitute for continuous topology
Testing Finitary Probabilistic Processes
Verification by augmented finitary abstraction
On the final sequence of a finitary set functor
Interpreting a finitary pi-calculus in differential interaction nets ☆
Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads