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ü.
biçimsel dil İng. formal language, formalized language
(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.