eng

biçimsel dil ne demek?

biçimsel dil

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

TDK Mantık Terimleri Sözlüğü

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