Алгоритмические языки — формальные языки для записи алгоритмов, обычно носят универс. характер, используются в теорет. исследованиях. На их основе строятся языки программирования, к-рыми записываются программы для ЭВМ. В ряде работ А.я. — синоним термина "языки программирования", иногда А.я. относят к машиннонезависимым или проблемно-ориентированным языкам, иногда объединяют оба термина, говоря "А.я. программирования".