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, 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.