帰納的定義造句
例句与造句
- 同義語として帰納的定義（Inductive Definition）がある。
- μ再帰関数は原始再帰関数と密接な関連があり、その帰納的定義（後述）は原始再帰関数に基づいている。
- 状態遷移系による操作的意味論の定義は、一般に可能な遷移の集合の帰納的定義を与えることによってなされる。
- μ作用素は無制限探索演算子として働き、（全域関数の定義から）無制限ではあるが何らかの手段（帰納的定義など）で最終的に数を生成し計算を終わらせるのである。
- 用帰納的定義造句挺难的，這是一个万能造句的方法