Sebuah bahasa pemrograman yang dirancang untuk solusi kelas tertentu dari masalah. Contoh adalah daftar pengolahan bahasa, bahasa information retrieval, simulasi bahasa.