genleşmiş biçimsel dizge

genleşmiş biçimsel dizge İng. extension of a formal system

Bir biçimsel dizgenin abecesine yeni imler, ilksavlar kümesine de yeni önermeler katmakla elde edilen (ilkini, kapsayan) biçimsel dizge.

genleşmiş biçimsel dizge ile benzer kelimeler

biçimsel dizge

İng. formal system, syntactical system, calculus, logistic system, deductive system, axiomatic system

(i) bir mantıksal dizge, (ii) özel ilksavlar kümesi, (iii) kanıtsavlar kümesi'nden oluşan dizge. ||Anl. dizimsel dizge, tümdengelimli dizge, ilksavlı dizge...

geçerli biçimsel dizge

İng. sound formal system

Mantıksal dizgesi geçerli olan biçimsel dizge.

saptanır biçimsel dizge

İng. decidable formal system

Kanıtsavları saptanır bir küme oluşturan biçimsel dizge.

genleşmiş dil

İng. extension of a language

Bir biçimsel dilin abecesine yeni imler katmakla oluşturulup, ilk dilin düzgün deyimlerinin tümünü kapsayan yeni biçimsel dil. || ()

genleşmiş kuram

İng. extension of a theory

()

genleşmiş mantık dizgesi

İng. extended system of logic

Bir mantıksal dizgeye yeni mantıksal değişmezler katmakla elde edilen (ilkini de kapsayan) mantık dizgesi. || Örn. Temel mantık eklemler mantığının,kipler mantığı da temel mantığın genleşmesidir.

biçimsel

sf. Biçime dayanan, biçimle ilgili, şekle ait, şeklî, formel.

Fr. Morphologique
İng. formal

Biçime ilişkin.

, prismatik Osm. menşurî

biçimsel bozulma

bk. bozulma III.

"genleşmiş biçimsel dizge" karakter analizi

genleşmiş biçimsel dizge, 24 karakter ile yazılır.
g harfi ile başlar, e harfi ile biter.

Karakter dağılımı

'g', 'e', 'n', 'l', 'e', 'ş', 'm', 'i', 'ş', ' ', 'b', 'i', 'ç', 'i', 'm', 's', 'e', 'l', ' ', 'd', 'i', 'z', 'g', 'e', şeklindedir.
genleşmiş biçimsel dizge kelimesinin tersten yazılışı ' egzid lesmiçib şimşelneg' diziliminde gösterilir.