Можно сказать, что каждый язык (машинный или естественный, неважно) состоит из следующих элементов:

• алфавит: набор символов, используемых для построения слов определенного языка (например, латинский алфавит для английского, кириллица для русского, кандзи для японского и т. д.)
• лексика: (он же словарь) набор слов, которые язык предлагает своим пользователям (например, слово «компьютер» происходит из словаря английского языка, а слово «cmoptrue» - нет; слово «чат» присутствует в обоих языках и французские словари, но их значения различаются)
• синтаксис: набор правил (формальных или неформальных, письменных или интуитивно понятных), используемых для определения того, образует ли определенная строка слов правильное предложение (например, «I am a python» - синтаксически правильная фраза, а «I a python am» нет)
• семантика: набор правил, определяющих, имеет ли определенная фраза смысл (например, «Я съел пончик» имеет смысл, а «Пончик съел меня» - нет).
  
  

К сожалению, этот язык очень далек от человеческого родного языка. Нам всем (как компьютерам, так и людям) нужно что-то еще, общий язык для компьютеров и людей или мост между двумя разными мирами.

Нам нужен язык, на котором люди могут писать свои программы, и язык, который компьютеры могут использовать для выполнения программ, который намного сложнее, чем машинный язык, но намного проще, чем естественный язык.

Такие языки часто называют языками программирования высокого уровня. Они, по крайней мере, чем-то похожи на естественные в том, что в них используются символы, слова и условные обозначения, понятные человеку. Эти языки позволяют людям выражать команды компьютерам, которые намного сложнее, чем те, которые предлагают IL.

Программа, написанная на языке программирования высокого уровня, называется исходным кодом (source code) (в отличие от машинного кода, выполняемого компьютерами). Точно так же файл, содержащий исходный код, называется исходным файлом (source file).