biçimsel dil

Sözdizim kuralları hiçbir belirsizlik içermeksizin tanımlanmış, bilgisayar izlencelemede de kullanılabilecek nitelikte kesin dil. Bu kurallarla üretilebilecek örülerin (sözcük ya da tümcelerin) tümü.

(i) bir abece, (ii) belli birtakım kurma kuralları, (iii) aralarında önermeler de bulunan çeşitli (dizimsel) türden düzgün deyimlerden oluşan dizge, ||Genellikle abece sonlu bir küme, aynı dizimsel türden olan düzgün deyim kümelerinden her biri de yinelgen bir kümedir. Krş. yorumlanmış biçimsel dil, biçimsel dizge,

biçimsel dil için benzer kelimeler

biçimsel dil, 12 karakter ile yazılır. Ayrıca, b harfi ile başlar, l harfi ile biter. Tüm karakter dağılımı ise, 'b', 'i', 'ç', 'i', 'm', 's', 'e', 'l', ' ', 'd', 'i', 'l', şeklindedir.
biçimsel dil kelimesinin tersten yazılışı lid lesmiçib diziliminde gösterilir.