В последнее время все большую популярность завоевывают алгоритмические языки, появившиеся в 80-х годах ХХ в., такие как Паскаль, Си, Ада и др. Успех в распространении этих языков связан не только с включением в языки новых средств описания и обработки сложных структур данных, но и с разработкой надежных и эффективных трансляторов с этих языков. Последнее обязано, в первую очередь, практическим и научным результатам, полученным в теории синтаксически-управляемого перевода и методах трансляции.