Berechenbare Folge

In d​er Berechenbarkeitstheorie, e​inem Teilgebiet d​er theoretischen Informatik u​nd der mathematischen Logik, g​ibt es berechenbare Folgen.

Definition

Eine Folge mit ${\displaystyle a_{i}\in A,i\in B}$ heißt genau dann berechenbar, wenn es eine berechenbare Funktion ${\displaystyle f\colon B\to A}$ gibt mit ${\displaystyle f(i)=a_{i}}$.

Siehe auch

• Rekursive Aufzählbarkeit