Citat:
Ursprungligen postat av BengtZz
Går det att göra på något liknande sätt för en rekursiv talföljd?
Mvh BengtZz
Nja, rekursiviteten är ju inte en egenskap hos talföljden. Betrakta
A: a_n = 2a_{n-1}, a_0 = 1, definierat för heltal n ≥ 0.
B: b_n = 2^n, definierat för heltal n ≥ 0.
Rimligtvis så borde talföljden i A vara rekursiv och den i B inte vara det. Men faktum är att A och B definierar samma talföljd, så då måste ju den talföljden vara både rekursiv och icke rekursiv på samma gång, vilket är väldigt konstigt.
Bättre är att säga att en viss definition av en talföljd är rekursiv, eller att talföljden definieras rekursivt. Då kan vi säga att A är en rekursiv definition och B inte är det.
Men när man har fått klar för sig att det bara är intressant att veta huruvida definitionen är rekursiv, så är det som du säger ja, att en definition av en talföljd är rekursiv om "ett element i följden beskrivs av ett eller flera föregående element" (i den definitionen).