Języki formalne

Języki definiowane przez reguły matematyczne, stanowiące teoretyczne podstawy języków programowania.