Soyut yapı
Soyut yapı, fiziksel nesnelerden bağımsız olarak tanımlanan kurallar, özellikler ve ilişkiler kümesidir. Soyut yapılar felsefe, bilişim bilimi ve matematikte incelenir. Hatta modern matematik çok genel anlamıyla soyut yapıları inceleyen bilim olarak tanımlanmıştır.
Soyut bir yapı (belirli bir yaklaşıklık derecesinde) bir ya da birden çok fiziksel nesneyle temsil edilebilir ve buna soyut yapının uygulaması denir. Bununla birlikte soyut yapının kendisi herhangi özel bir uygulamaya bağlı olmayacak şekilde tanımlıdır.
Örnek olarak satranç kuralları
Satranç kuralları, kuralların tanımı herhangi bir satranç takımı, tahtası ya da notasyonundan bağımsız olduğu için, soyut bir yapıdır. Bu soyut yapı içerisinde örneğin şah, Rakip taşların tehditi altında bulunmayan bitişik bir kareye ilerleyebilen bir taştır şeklinde tanımlanır. Şah burada "tepesinde kavuk bulanan uzun bir taş" olarak tanımlanmamıştır; çünkü Ş harfiyle, bir bilgisayar simgesiyle ya da Büyük İskender şeklinde bir heykelcikle temsil edilebilir. Satranç soyut bir yapı olduğundan bir satranç oyununu tamamıyla akılda oynamak olanaklıdır.
Dama ve go gibi oyunlar da soyut yapılar arasında sayılır. Diğer yandan çoğu spor dalı soyut yapı değildir çünkü kuralları sahanın, topun ya da spor aletlerinin fiziksel özelliğine bağlıdır.
Soyut bir yapı bir kavram ya da fikirden daha zengin bir yapıya sahiptir. Soyut bir yapı belirli bir uygulama adayının söz konusu soyut yapıya tam olarak uyup uymadığını belirlemek için kullanılabilen kesin kurallar içermelidir. Örneğin belirli bir hükümet şeklinin demokrasi kavramına uyup uymadığı tartışılabilir ancak belirli bir hamleler dizisinin geçerli bir satranç oyununu temsil edip etmediği tartışmaya açık olamaz.
Başka örnekler
Bir sıralama algoritması soyut bir yapıdır fakat bir yemek tarifi soyut bir yapı değildir, çünkü malzemelerin özelliklerine ve niceliklerine bağlıdır.
Basit bir melodi soyut bir yapıdır, fakat bir orkestrasyon soyut bir yapı değildir, çünkü tekil çalgıların özelliklerine bağlıdır.
Öklid geometrisi soyut bir yapıdır, fakat kıtasal hareket kuramı soyut bir yapı değildir, çünkü dünyanın fiziksel özelliklerini esas alır.
Bir formel dil soyut bir yapıdır, fakat bir doğal dil soyut bir yapı değildir, çünkü dilbilgisi kuralları ve sözdizimi tartışmaya ve yoruma açıktır.