biçimsel dizge
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. Krş.. mantıksal dizge, kuram, ilksavlı kuram.
biçimsel dizge için benzer kelimeler
biçimsel dizge, 14 karakter ile yazılır. Ayrıca,
b harfi ile başlar, e harfi ile biter. Tüm karakter dağılımı ise,
'b', 'i', 'ç', 'i', 'm', 's', 'e', 'l', ' ', 'd', 'i', 'z', 'g', 'e', şeklindedir.
biçimsel dizge kelimesinin tersten yazılışı egzid lesmiçib diziliminde gösterilir.