Формируется и исследуется проблематика автоматического синтеза программ для параллельных компьютеров с различными архитектурами. Вводятся и анализируются определения основных понятий параметризованного синтеза программ, в том числе такие как "вычислительная задача", "машинная вычислительная среда". Обсуждаются свойства "естественного" параллелизма задач и "искусственного" параллелизма машинных вычислительных сред, а также общие закономерности отображения задач на вычислительные ресурсы. Выделяются и обосновываются основные звенья компьютерной технологии автоматического (без программистов) производства качественных программ машинного уровня для параллельных компьютеров с различными архитектурами. Как раскрытие звеньев технологии излагается концепция искусственного математического языка формульно-аналитического типа, предназначенного для машинонезависимого конструирования вычислительных функций, при котором в полной мере сохраняется естественный параллелизм задач. Рассмотрены подходы к параметризации архитектур параллельных компьютеров. Определены и обсуждаются базовые задачи параметризованного синтеза.