dizimsel tür indirgeme kuralı

dizimsel tür indirgeme kuralı İng. reduction rule for syntactic-categories

dizimsel tür indirgeme kuralı 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 analysis

Verilen bir deyimin dizimsel tür dizisini ortaya koyma işlemi. || Krş.. dizimsel tür dizisi.

dizimsel tür değişkeni

İng. syntactic category variable

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 dizisi

İng. syntactic-category sequence

Dü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 indirgemesi

İng. syntactic-category reduction

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 simgesi

İng. syntactic category symbol

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. ()

temel dizimsel tür

İng. fundamental syntactic category

Bir 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 category

Temel 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 indirgeme kuralı" karakter analizi

dizimsel tür indirgeme kuralı, 29 karakter ile yazılır.
d harfi ile başlar, ı 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', ' ', 'k', 'u', 'r', 'a', 'l', 'ı', şeklindedir.
dizimsel tür indirgeme kuralı kelimesinin tersten yazılışı ' ılaruk emegridni rüt lesmizid' diziliminde gösterilir.