语言
没有数据
通知
无通知
(1)再び帰ること。
左再帰（英: Left recursion）とは、言語（普通、形式言語について言うが、自然言語に対しても考えられ得る）の文法（構文規則）にあらわれる再帰的な規則（定義）の特殊な場合で、ある非終端記号を展開した結果、その先頭（最も左）にその非終端記号自身があらわれるような再帰のことである。
やコンピュータ・プログラムに基づいていてもよい。再現性の研究は、メタサイエンス（英語版）において、重要なテーマである。対立概念は、事象が再現しないことであり「一回性」「再現不可能性」などと呼ばれる[要出典]。 異なる実験から得られた値が、同様の再現性のある実験の説明と手順にしたがって得られたとき、
を先頭に持つリストの場合があることを示している。 data List a = Nil | Cons a (List a) 型エイリアスや型シノニムで再帰が使えるかどうかはプログラミング言語次第である。 TypeScript などでは型エイリアスの中でも再帰が利用可能である。下記は TypeScript の例だが、型エイリアスだけで木構造の型を表現できる。
それらは帰納的可算集合である。 多対一還元によって互いに変換可能である。すなわち、集合 A と B について、A = {x : f(x) ∈ B} となる計算可能関数 f が存在する。これらの集合を多対一同値（またはm-同値）であるという。 多対一還元はチューリング還元より強い。計算不能集合の自然な例は全て多対一同値だが、A
代名詞を付けて表す。フランス語文法では代名動詞（だいめいどうし）と呼ぶ。 多くの言語では、他動詞の目的語を再帰代名詞（英語では oneself 、 myself 、 themselves など -self の形をしている）に変えることで再帰動詞が作られる。再帰動詞としてしか用いない"本質的再帰動詞"もあり、英語では
れ以外の部分は過程の分岐または副作用をもつ場合のみ意味を持つ。従って上記関数的な観点では手続きの末尾だけを考慮すればよく、ここで再帰が行われる場合を末尾再帰という。 Common Lisp での末尾再帰の例： (defun fact (n) (labels ((ifact (n r) (if (=
再帰的定義（Recursive Definition）は、再帰的な定義、すなわち、あるものを定義するにあたってそれ自身を定義に含むものを言う。無限後退を避けるため、定義に含まれる「それ自身」はよく定義されていなければならない。同義語として帰納的定義（Inductive Definition）がある。
搜索 
搜索 搜索 
