dizimsel tür değişkeni
Değer alanı dizimsel türlerden oluşan bir sözeden dil değişkeni: a,... || Örn. a, p, p/ p, p/ a, a/ a gibi dizimsel tür simgeleri a,... dizimsel değişkenlerinin değer adlarıdır.
dizimsel tür değişkeni ile benzer kelimeler
dizimsel türİng. syntactic category, grammatical categoryİçinde geçtikleri deyimlerin düzgünlüğünü bozmaksızın birbirinin yerine konulabilen bütün düzgün deyimlerin öbeği. || Temel mantık dilinin başlıca leri: önerme (tamdeyim), ad (terim), n-li yüklem, n-li işlev, n-... |
dizimsel tür çözümlemesiİng. categorial analysisVerilen bir deyimin dizimsel tür dizisini ortaya koyma işlemi. || Krş.. dizimsel tür dizisi. |
dizimsel tür dizisiİng. syntactic-category sequenceDüzgün ya da düzgün olmayan bir deyimin ayraçsız yazılış biçiminde her imine karşılık dizimsel türünü belirtmekle elde edilen dizi. || Örn. ( ) Krş.. dizimsel tür indirgemesi, dizimsel tür İndirgeme kuralı. |
dizimsel tür indirgeme kuralıİng. reduction rule for syntactic-categories( ) |
dizimsel tür indirgemesiİng. syntactic-category reductionBir dizimsel tür dizisine dizimsel tür indirgeme kuralını art arda uygulayarak en kısa dizimsel tür dizisine ya da tek bir dizimsel türe sonlu sayıda adımla varmayı sağlayan işlem. Krş.. dizimsel bağlaşıklık denetlemesi. |
dizimsel tür simgesiİng. syntactic category symbolBir dizimsel türün dizimsel sözeden dildeki adı. || a ad türünün simgesi, p önerme türünün simgesidir. Örn. ( ) |
temel dizimsel türİng. fundamental syntactic categoryBir dilin bütün dizimsel türlerini kurmaya yarayan salt yönetilen deyim türleri. || Temel mantık dilinin leri, ad (a) ile önerme (p) türlerinden oluşur. Krş.. tekbaşına anlamlı deyim. |
türetilmiş dizimsel türİng. derived categoryTemel dizimsel türler yardımıyla belirlenen yöneten deyim dizimsel türü. || Örn. 2-li yüklemin dizimsel türü a ile p türleri yardımıyla belirlenmiş p/a a dır. |
"dizimsel tür değişkeni" karakter analizi
- dizimsel tür değişkeni, 22 karakter ile yazılır.
- d harfi ile başlar, i harfi ile biter.
Karakter dağılımı
- 'd', 'i', 'z', 'i', 'm', 's', 'e', 'l', ' ', 't', 'ü', 'r', ' ', 'd', 'e', 'ğ', 'i', 'ş', 'k', 'e', 'n', 'i', şeklindedir.
- dizimsel tür değişkeni kelimesinin tersten yazılışı ' inekşiğed rüt lesmizid' diziliminde gösterilir.