The Ackermann function is the simplest example of a well-defined total function which is computable but not primitive recursive.
アッカーマン関数は、計算可能であるが原始帰納的ではない明確に規定された全関数の最も単純な例である。 - コンピューター用語辞典
In a receiver, a label corresponding to un-subset specially, and the minimum label corresponding to a special subset except the label computable with the application of monodirectivity function F to the provisioning label to the receiver as the label corresponding to the subset specially are provided. 受信機には、特別サブセット非対応ラベルと、特別サブセットに対応するラベルであって受信機への提供ラベルに対する一方向性関数Fの適用によって算出可能なラベルを除く最小限の特別サブセット対応ラベルを提供する。 - 特許庁
例文データの著作権について
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.