Bir biçimsel dilin abecesine yeni imler katmakla oluşturulup, ilk dilin düzgün deyimlerinin tümünü kapsayan yeni biçimsel dil. || (?)