dizimsel tür simgesi
Bir dizimsel türün dizimsel sözeden dildeki adı. || a ad türünün simgesi, p önerme türünün simgesidir. Örn. ( )
dizimsel tür simgesi 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 değişkeniİng. syntactic category variableDeğ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 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. |
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 simgesi" karakter analizi
- dizimsel tür simgesi, 20 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', ' ', 's', 'i', 'm', 'g', 'e', 's', 'i', şeklindedir.
- dizimsel tür simgesi kelimesinin tersten yazılışı ' isegmis rüt lesmizid' diziliminde gösterilir.