Programovací jazyk navrhnutý pre riešenie danej triedy problémov. Príklady sú spracovanie jazykov, vyhľadávanie informácií jazykov, simulácia jazykov.