(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üğü