高级语言的源程序是通过以下步骤形成的：
编写源程序：
程序员使用高级语言的语法和结构来表达程序的逻辑，编写出一系列的源代码。
编译：
源程序需要经过编译才能成为可执行的机器语言程序（即目标程序）。编译过程包括词法分析、语法分析、语义检查、中间代码生成、代码优化和目标代码生成等步骤。
词法分析：对源程序进行扫描，产生单词符号串。
语法分析：检查单词符号串是否符合语法规则，构成符合要求的程序结构。
语义检查：确保程序语句没有二义性，并生成中间代码。
中间代码生成：生成一种内部表示，帮助编译程序优化代码。
代码优化：对生成的中间代码进行优化，以提高执行效率。
目标代码生成：将中间代码转换为机器语言的目标代码。
链接：
编译后生成目标代码后，还需要通过链接程序将程序中所用的函数调用、系统功能调用等嵌入到目标程序中，构成一个可以连续执行的二进制执行文件（如.exe文件）。
执行：
最后，通过操作系统或解释器运行这个可执行文件，计算机就能够执行源程序所表达的程序逻辑。
总结起来，高级语言的源程序通过编写、编译、链接和执行等步骤，最终转化为计算机能够执行的机器语言程序。