dizimsel tür indirgemesi
Bir 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 indirgemesi 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 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 indirgemesi" karakter analizi
- dizimsel tür indirgemesi, 24 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', ' ', 'i', 'n', 'd', 'i', 'r', 'g', 'e', 'm', 'e', 's', 'i', şeklindedir.
- dizimsel tür indirgemesi kelimesinin tersten yazılışı ' isemegridni rüt lesmizid' diziliminde gösterilir.