Что составляет язык?

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

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

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

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

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

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

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