kaplamsal yorumlanmış dil
Tüm düzgün deyimleri kaplamsal olan yorumlanmış dil. || Böyle bir dilde (...) deyimi, anayöneteni B kapalı deyimi olan kapalı bir deyim ise, ( ) Örn. Temel mantıklı dil kaplamsal olup, kipler mantığına dayanan bir dil ise kaplamsal değildir.
kaplamsal yorumlanmış dil ile benzer kelimeler
yorumlanmış biçimsel dilİng. interpreted formal language, semantical systemBir biçimsel dil ile bu dilin bir yorumundan oluşan dizge. || Anl. yorumsal dizge. |
kaplamsalsf. Kavramla ilgili bütün özellikleri bir arada bulunduran. |
kaplamsal anlambk. kaplam. |
kaplamsal bağıntıİng. relation in extensionSıralanmış n-li dizgelerden ( ) oluşan küme ya da bu kümenin ayırt edici izergesi. ||'n-li bağıntı'terimi başka biçimde belirtilmediğinde "n-li " anlamında kullanılır. Örn. ( ) yükleminin kaplamı, ( ) n-li sıdır. |
kaplamsal deyimİng. extensional expression1. A deyiminin B gibi bir altdeyiminin belli bir geçişine göre olması, B ile kaplamdaş olan her C deyimi için, A ile A içinde B yerine C koymakla elde edilen deyimin kaplamdaş olması demektir. 2. A deyiminin kaplamsal olması A n... |
kaplamsal izergeİng. function in extensionEvren öğelerinden oluşan sıralanmış n-li dizgeler kümesinden evrene kurulan izerge. ||'n-li izerge' terimi başka biçimde belirtilmediğinde "n-li " anlamında kullanılır. Örn. ( ) |
kaplamsal izerge soyutlayıcısıİng. functional abstractor( ) Krş.. birey soyutlayıcısı. |
kaplamsal nesneİng. extensional entitya (ad kaplamı) türünden bir , evren öğesi bir birey; p (önerme kaplamı) türünden bir , bir doğruluk değeri; ( ) türünden bir de ( ) türünden nesnelerden oluşan sıralanmış n-li dizgeler kümesinden ( ) türünden nesneler kümesine kurul... |
"kaplamsal yorumlanmış dil" karakter analizi
- kaplamsal yorumlanmış dil, 25 karakter ile yazılır.
- k harfi ile başlar, l harfi ile biter.
Karakter dağılımı
- 'k', 'a', 'p', 'l', 'a', 'm', 's', 'a', 'l', ' ', 'y', 'o', 'r', 'u', 'm', 'l', 'a', 'n', 'm', 'ı', 'ş', ' ', 'd', 'i', 'l', şeklindedir.
- kaplamsal yorumlanmış dil kelimesinin tersten yazılışı ' lid şımnalmuroy lasmalpak' diziliminde gösterilir.