Günümüzde sistemi yürüttüğü faaliyetler türünden değerlendirip abstract makine ve abstract dil bazında tasarımlayabilme teknikleri hesap edilebilirliğin sınırlarını zorlamaktadır. Ünlü [1-5]. Bu yeni boyutların iyi ...