Bilgisayar biliminde özyineleme, ilk bakışta programcının aynaya bakıp aynanın içinde yine kendisini görmesi gibidir. Bir fonksiyon, problemi çözmek için kendi kendini çağırır; yani sorunu küçültür, aynı biçimde yeniden sorar ve sonunda en basit noktaya ulaşınca geri dönmeye başlar. Bu teknik yalnızca kod yazmanın pratik bir yolu değildir; düşünmenin biçimine dair küçük ama güçlü bir felsefi makinedir. Çünkü özyineleme bize şunu fısıldar: Bazı şeyleri anlamak için bütüne değil, kendini tekrar eden yapıya bakmak gerekir.
En klasik örnek faktöriyeldir. 5! dediğimizde aslında 5 x 4! deriz. 4! ise 4 x 3! olur. Bu iniş 1! değerine kadar sürer. Burada iki temel kural vardır: kendini çağıran adım ve durma koşulu. Durma koşulu yoksa özyineleme bir çözüm değil, dijital bir uçurumdur. Program sonsuza dek kendi içine düşer, bellek dolar, yığın taşar ve bilgisayar nazikçe değilse bile kesin biçimde itiraz eder. Demek ki özyinelemenin bilgeliği tekrar etmekte değil, ne zaman duracağını bilmektedir.
Küçük Problemlerden Büyük Yapılara
Özyineleme özellikle doğası gereği parçalanabilen problemlerde parıldar. Bir ağacın dallarını gezmek, klasörlerin içindeki klasörleri taramak, labirentte yol aramak, hızlı sıralama yapmak ya da bir fraktalı çizmek bu mantığa çok uygundur. Çünkü bu yapılarda büyük problem, kendisine benzeyen küçük problemlerin toplamıdır. Bir dizini açarsınız; içinde dosyalar ve başka dizinler vardır. O dizinleri açarsınız; yine aynı durumla karşılaşırsınız. Bilgisayar açısından bu, şiirsel değil, son derece mantıklıdır: Aynı işlemi aynı biçimde, daha küçük bir alanda uygula.
Bu noktada özyineleme, döngülerle akraba ama onlardan daha soyut bir araçtır. Bir for döngüsü adım adım yürüyen disiplinli bir memur gibiyse, özyineleme haritanın yapısını anlayan bir gezgindir. Döngü genellikle kaç kere döneceğini bilir ya da bir sayaçla ilerler. Özyineleme ise problemin şekline göre derinleşir. Bu yüzden ağaçlar, grafikler ve böl ve fethet algoritmaları onun doğal yaşam alanıdır. Ancak her güzel araç gibi, yanlış kullanıldığında ağırlaşır. Her çağrı bellekte yeni bir çerçeve açar; bu çerçeveler çağrı yığınında üst üste birikir.
Çağrı yığını, özyinelemenin sahne arkasındaki tiyatrosudur. Fonksiyon kendini çağırdıkça perde arkasında bekleyen görevler çoğalır. En dipteki temel durum bulunduğunda geri dönüş başlar; her fonksiyon kendi sonucunu alır, bir üsttekine verir ve sahneden çekilir. Bu yüzden özyinelemeyi anlamak, yalnızca aşağı inmeyi değil, yukarı çıkışı da görmeyi gerektirir. Yeni başlayanların sıkça zorlanmasının nedeni budur: Zihin tek bir fonksiyona bakar, fakat bilgisayar aynı fonksiyonun birçok bekleyen kopyasını taşır.
Kodun İçindeki Ayna
Özyinelemenin felsefi çekiciliği burada başlar. Kendini tanımlayan yapılar, yalnızca programlamada değil, mantıkta, sanatta ve bilinç tartışmalarında da karşımıza çıkar. Bir cümlenin kendi doğruluğundan söz etmesi, bir resmin resim yapan ressamı göstermesi, bir zihnin kendi düşüncesini düşünmesi hep aynı garip döngünün akrabalarıdır. Douglas Hofstadter buna tuhaf döngü derdi: Sistem yukarı çıkar, aşağı iner, sonra fark eder ki başladığı yere başka bir düzeyden dönmüştür.
Bilgisayar biliminde bu tuhaflık disipline edilir. Özyineleme rastgele bir sonsuzluk arzusu değildir; kontrollü bir geri dönüş mimarisidir. Temel durum, varoluşsal frendir. Her çağrı, problemi biraz daha sadeleştirmelidir. Eğer sadeleşme yoksa algoritma düşünmüyor, sadece yankılanıyordur. Bu ayrım önemlidir: Akıllı tekrar ile kör tekrar arasındaki fark, ilerleme ölçütüdür. İyi yazılmış bir özyinelemeli fonksiyon, her adımda soruyu daha yalın hale getirir.
Özyinelemeyi öğrenmek, programcıya garip bir zihinsel kas kazandırır. Bir problemi tek hamlede çözmeye çalışmak yerine, onun en küçük anlamlı biçimini ararsınız. Sonra kendinize sorarsınız: Bu küçük çözüm, büyük çözümü nasıl kurar? Bu bakış açısı yalnızca kodda değil, düşünmede de işe yarar. Karmaşık bir karar, yinelenen alt kararlara; büyük bir kriz, tekrar eden desenlere; anlaşılmaz görünen bir sistem, kendi kendini üreten kurallara ayrılabilir.
Sonuçta özyineleme, bilgisayar biliminin en zarif paradokslarından biridir: Bir şey, kendisine başvurarak kendisini aşabilir. Fakat bunu yapabilmesi için sınırını bilmesi gerekir. Sonsuzluğa açılan kapı, temel durum adlı küçük bir kilitle güvenceye alınır. Belki de bu yüzden özyineleme yalnızca bir programlama tekniği değil, düşünce terbiyesidir: Derine in, yapıyı gör, kendini tekrar et; ama ne zaman geri döneceğini asla unutma.