Μ再帰関数とは? - 日本語辞典 Mazii

Mazii

Trải nghiệm ứng dụng Mazii

Tra cứu

Từ vựng Hán tự Mẫu câu Ngữ pháp

Nhật - Nhật

Kết quả tra cứu tiếng Nhât của từ Μ再帰関数

Μ再帰関数

計算複雑性理論では、全再帰関数の集合をRと称する。 μ再帰関数（または部分μ再帰関数）は、有限個の自然数の引数をとり、1つの自然数を返す部分関数である。μ再帰関数は初期関数を含み、合成や原始再帰やμ作用素において閉じている、部分関数の最小のクラスである。原始再帰関数も同じような形式で定義されるが、全域関数

Từ điển Nhật - Nhật

Các từ liên quan tới Μ再帰関数

原始再帰関数

1 つで再帰的に定義される多くの数論的関数は原始再帰的である。基本的な例として加算と「限定された減算」関数がある。直観的に、加算は次の規則で再帰的に定義できる: add(0, x) = x, add(n + 1, x) = add(n, x) + 1. これを厳密な原始再帰関数の定義に当てはめるため、次のように定義する:

再帰

さいき

(1)再び帰ること。

Μ

Μ, μ（ミュー、古代ギリシア語: μῦ、ギリシア語: μι / μυ ミ、英: mu）は、ギリシア文字の第12番目の文字。数価は40。ラテンアルファベットのM、キリル文字のМはこの文字に由来する。音価は/m/。大文字の Μ は、ラテン文字の M と同一視されることが多く、ギリシア語以外で特に区別して使うことは稀である。

再帰性

再帰性（さいきせい）とは、以下のような意味に用いられる。それぞれ全く別個の概念ではなく、一部重なる部分もある。（英語Recursivity、再帰）数学・哲学・言語学・コンピュータ科学等で、「『「絵を描く人の絵」を描く人の絵』を描く人の絵を…」のように同じ構造（例では「絵を描く人の」）を繰り返しあて

左再帰

左再帰（英: Left recursion）とは、言語（普通、形式言語について言うが、自然言語に対しても考えられ得る）の文法（構文規則）にあらわれる再帰的な規則（定義）の特殊な場合で、ある非終端記号を展開した結果、その先頭（最も左）にその非終端記号自身があらわれるような再帰のことである。

関数

かんすう

〔数〕

再帰データ型

を先頭に持つリストの場合があることを示している。 data List a = Nil | Cons a (List a) 型エイリアスや型シノニムで再帰が使えるかどうかはプログラミング言語次第である。 TypeScript などでは型エイリアスの中でも再帰が利用可能である。下記は TypeScript の例だが、型エイリアスだけで木構造の型を表現できる。

再帰理論

それらは帰納的可算集合である。多対一還元によって互いに変換可能である。すなわち、集合 A と B について、A = {x : f(x) ∈ B} となる計算可能関数 f が存在する。これらの集合を多対一同値（またはm-同値）であるという。多対一還元はチューリング還元より強い。計算不能集合の自然な例は全て多対一同値だが、A