Domēnspecifiskas valodas
Domēnspecifiskas valodas (DSL) ir formālas valodas, līdzīgi, kā programmēšanas valodas, bet izmantojams šaurākā problēmu apgabalā. Līdz ar to tās operē ar šim konkrētajam apgabalam, domēnam, specifiskiem jēdzieniem. Parasti tās nav Turing complete, bet toties piedāva plašas automatizācijas iespējas - koda ģenerēšana, interpretēšana, atkļūdošana. Ieguvums ir tāds, ka ar šādu valodu var strādāt nozares eksperti, kas nav IT-speciālisti.
Piemēri (tikai uzskaitījums).