раздел программирования, посвящённый автоматическому составлению программ и решению задач на электронно-вычислительных машинах. Основу автоматизации программирования составляет использование алгоритмических языков и автоматическая трансляция написанных на них программ на машинные языки, при этом обеспечивается проверка правильности структуры программ, их оптимизация и отладка.