dizimsel tür

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 dizimsel türleri: önerme (tamdeyim), ad (terim), n-li yüklem, n-li işlev, n-li eklem ile niceleyici türleridir. Krş.. dizimsel tür simgesi, temel dizimsel tür, yöneten deyim dizimsel türü, dizimsel tür çözümlemesi.

---

dizimsel tür ile benzer kelimeler

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 indirgeme kuralı İng. reduction rule for syntactic-categories ( )

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.

---