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 için benzer kelimeler
genleşmiş biçimsel dizge, 24 karakter ile yazılır. Ayrıca,
g harfi ile başlar, e harfi ile biter. Tüm karakter dağılımı ise,
'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.