Berim

Berim en az üç bağımsız kritere göre sınıflandırılabilir: sayısal veya analog, dizisel veya paralel veya eşzamanlı ve yığın işlemli ('batch') veya etkileşimli (interaktif).

Pratikte, sayısal berim çoğu zaman doğal süreçleri (örneğin evrimsel berim) simüle etmek için kullanılır ki bunların bazılarının analog berim modelleri ile betimlenmesi daha doğaldır. Bu tür durumlarda berimsel mekanizma ile simülasyon modelinin ayrımının yapılması önemlidir.

Bir berim, bilgisayar gibi kapalı bir fiziksel sistem içinde gerçekleşen tamamen fiziksel bir olgu olarak görülebilir. Bu tür fiziksel sistemlere örnek olarak, sayısal bilgisayarlar, kuantum bilgisayarları, DNA bilgisayarları, moleküler bilgisayarlar, analog bilgisayarlar verilebilir. Bu bakış açısı, kuramsal fizikte berim fiziği adı verilen sahaya aittir.

Berim kuramı içinde bilgisayarlarla ilgili çeşitli matematiksel modeller geliştirilmiştir. Bazı tipik bilgisayar modelleri şunlardır:

• Turing makinesi, sonlu durum makinesi gibi durumsal model
• Fonksiyon modelleri (lambda kalkulusu gibi)
• Mantık modelleri (Mantık programlaması gibi)
• Eşzamanlı modeller (aktör modeli ve işlem kalkulusu gib)

Berim kavramı bilgisayar bilimi ile ortaya çıkmıştır. İngilizce yayınlarda calculation ve computation terimlerinin farklı kavramlar içermesi ama Türkçede bunların genelde hesaplama terimi ile karşılanmaya çalışılması, computation için ayrı bir sözcük gereğini doğurmuştur.^[1] (Örneğin, Beyond Calculation: The Next Fifty Years of Computing adlı kitabın başlığı "Hesaplamanın Ötesinde: Berimin Gelecek Elli Yılı" olarak çevrilebilir.) Tamamen uydurulmuş olan "ber" kökü ile berim, bermek, berimsel, bergi gibi terimler üretilmiştir, bunlar bilgisayar bilimi ve ilişkili sahalardaki yayınlarda kullanılmaktadır.^[2]

• İşlemsel zihin teorisi