biçimsel dil anlamı İng. formal language Fr.langage formel
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 anlamı İng. formal language, formalized language Alm.formale Sprache Fr. langue formelle
(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,