finitary

听听怎么读
英 ['faɪnɪtərɪ]
美 ['faɪnɪtərɪ]
是什么意思
  • 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 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