Değişmez listeleri ağaçlara ikili olarak düşünebilir miyiz?

Question

Ben gibi kelimelerin bir listesini çizmek olabilir:

this -> is -> a -> test 

ve ardından paylaşımı yoluyla, ben olarak iki liste çizmek olabilir: Ben okları ters eğer

this -> is -> a -> test 
        ^
        | 
that -> was -> a -> hard 

Şimdi, bir ağaç olsun, Kök olarak test edilir. Bu, grafik/kategori teorisindeki dualite ile aynı kavramdır. Bu nedenle, ağaçları ve listeleri ikili kavram olarak düşünebilirim.

Bu doğru/kullanışlı mı?

Answer 1

Paylaşım ve tembellik keyfi döngüsel yapılara sahip olmanıza izin verir. Örneğin, Haskell tanımı

ones = 1 : ones 

tek tepe (1'e karşılık gelir) ve (grafik teorisi değil, programlama anlamda) bir döngü oluşturduğu bir grafik üretir. Okları ters çevirerek, aynı yapıyı elde edersiniz ve bu bir ağaç değildir (döngüleri olduğu gibi).

Bu nedenle, tembel bir dilde doğru değil.