saptanır biçimsel dizge
saptanır biçimsel dizge İng. decidable formal system
Kanıtsavları saptanır bir küme oluşturan biçimsel dizge.
saptanır biçimsel dizge, 23 karakter ile yazılır. Ayrıca,
s harfi ile başlar, e harfi ile biter. Tüm karakter dağılımı ise,
's', 'a', 'p', 't', 'a', 'n', 'ı', 'r', ' ', 'b', 'i', 'ç', 'i', 'm', 's', 'e', 'l', ' ', 'd', 'i', 'z', 'g', 'e', şeklindedir.
saptanır biçimsel dizge kelimesinin tersten yazılışı egzid lesmiçib rınatpas diziliminde gösterilir.